PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor
Saved in:
| Published in | Proceedings of the 18th ACM International Symposium on Nanoscale Architectures |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/3611315.3633262 |
Cover
| BookMark | eNotzz1PwzAUhWEPMEBh7uo_kOJ7b5wPNqgoILWiqmhXyzG-wlISV04Ryr-HqpneMx3puRVXfey9EHNQC4BcP1ABQKAXVBBhgTfieRvbcRN2j_I8-tgF28pVTN1_Dj4FDs6eQuxlZHn69nITXIq7A6Hcpuj8MMR0J67ZtoO_nzoT-9XL5_ItW3-8vi-f1pmFijBzWFJJ2iuusWLf1EB1U7B1OeqmcjU1Kq8K4FJzgwqZSo_AymMJXOmvnGZCXX5_-qMdf23bmmMKnU2jAWXOPDPxzMSjP2bJSIE |
|---|---|
| ContentType | Conference Proceeding |
| DBID | ADTOC UNPAY |
| DOI | 10.1145/3611315.3633262 |
| DatabaseName | Unpaywall for CDI: Periodical Content Unpaywall |
| Database_xml | – sequence: 1 dbid: UNPAY name: Unpaywall url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/ sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | 10.1145/3611315.3633262 |
| GroupedDBID | ADTOC UNPAY |
| ID | FETCH-LOGICAL-a1832-c273735e0f928feb9139b6fac425b8c93b04861f75fb202f37e21f0e271f85d43 |
| IEDL.DBID | UNPAY |
| IngestDate | Thu Aug 28 11:12:43 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a1832-c273735e0f928feb9139b6fac425b8c93b04861f75fb202f37e21f0e271f85d43 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://dl.acm.org/doi/pdf/10.1145/3611315.3633262 |
| ParticipantIDs | unpaywall_primary_10_1145_3611315_3633262 |
| PublicationTitle | Proceedings of the 18th ACM International Symposium on Nanoscale Architectures |
| Score | 1.8722266 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor |
| URI | https://dl.acm.org/doi/pdf/10.1145/3611315.3633262 |
| UnpaywallVersion | publishedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1BS8MwGA1jO4gXFScqKjl48dC5JE3TelNxDKFjDDfmqSRpAmJtx9yQ-ev9ssYp4mW3HD5C-JIv75HkvSB0GUtg3YlSgcolDULAiEASKQJLNZca8CSRTu-cDqL-OHyc8mkD0W8tTF5AP2_rK3xX07PcekNbfs0iQhjhHRYx4Byw7bYiDvy7iVrjwfD22fv2_BO5i3aW5UyuPmRR_AKP3l4t6Htfew66NyOvneVCdfTnH0fG7ca1j9o_Yj083MDQAWqY8hDdDatilb6MbrBrOOmxLHDP8dMCT2DRWX9UhyuLgQLi1L3LG00YxV45UM3baNx7eLrvB_67BMgu1GWggYkIxk3XJjS2RjnDTxVZqaEsVawTppy9HrGCW0W71DJhKLFdQwWxMc9DdoSaZVWaY4RZLozSLDdMQFHrMKGEaaKFFoIpRfkJutpkNJvVthhZLXHmmc9H5vNxukXsGWou5ktzDji_UBd-Yr8A62mjrQ |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1BS8MwGA1jO4gXFScqKjl48dC5JE3TelNxDKFjDDfmqSRpAmJtx9yQ-ev9ssYp4mW3HD5C-JIv75HkvSB0GUtg3YlSgcolDULAiEASKQJLNZca8CSRTu-cDqL-OHyc8mkD0W8tTF5AP2_rK3xX07PcekNbfs0iQhjhHRYx4Byw7bYiDvy7iVrjwfD22fv2_BO5i3aW5UyuPmRR_AKP3l4t6Htfew66NyOvneVCdfTnH0fG7ca1j9o_Yj083MDQAWqY8hDdDatilb6MbrBrOOmxLHDP8dMCT2DRWX9UhyuLgQLi1L3LG00YxV45UM3baNx7eLrvB_67BMgu1GWggYkIxk3XJjS2RjnDTxVZqaEsVawTppy9HrGCW0W71DJhKLFdQwWxMc9DdoSaZVWaY4RZLozSLDdMQFHrMKGEaaKFFoIpRfkJutpkNJvVthhZLXHmmc9H5vNxukXsGWou5ktzDji_UBd-Yr8A62mjrQ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+18th+ACM+International+Symposium+on+Nanoscale+Architectures&rft.atitle=PolyMiR%3A+Polynomial+Formal+Verification+of+the+MicroRV32+Processor&rft_id=info:doi/10.1145%2F3611315.3633262&rft.externalDocID=10.1145%2F3611315.3633262 |