PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor

@inproceedings{pub14512,
    author = {

Weingarten, Lennart
 and 

Datta, Kamalika
 and 

Drechsler, Rolf
},
    title = {PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor},
    booktitle = {18th ACM International Symposium on Nanoscale Architectures (NANOARCH). IEEE / ACM International Symposium on Nanoscale Architectures (NanoArch-2023), December 18-20, Dresden, Germany},
    year = {2023}
}