Polynomial Formal Verification of a RISC-V Processor

@article{pub15764,
    author = {

Weingarten, Lennart
 and 

Datta, Kamalika
 and 

Drechsler, Rolf
},
    title = {Polynomial Formal Verification of a RISC-V Processor},
    year = {2025},
    journal = {IEEE Transactions on Nanotechnology},
    publisher = {IEEE}
}