Polynomial Formal Verification of a Processor: A RISC-V Case Study

@inproceedings{pub13059,
    author = {

Weingarten, Lennart
 and 

Mahzoon, Alireza
 and 

Goli, Mehran
 and 

Drechsler, Rolf
},
    title = {Polynomial Formal Verification of a Processor: A RISC-V Case Study},
    booktitle = {International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, United States},
    year = {2023}
}