Complete and Efficient Verification for a RISC-V Processor using Formal Verification

@inproceedings{pub14519,
    author = {

Weingarten, Lennart
 and 

Datta, Kamalika
 and 

Kole, Abhoy
 and 

Drechsler, Rolf
},
    title = {Complete and Efficient Verification for a RISC-V Processor using Formal Verification},
    booktitle = {Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain},
    year = {2024}
}