Ensuring Correctness Efficiently for RISC-V Processors with Customised Multiplier Designs

@article{pub15833,
    author = {

Weingarten, Lennart
 and 

Datta, Kamalika
 and 

Ahmadi-Pour, Sallar
 and 

Kole, Abhoy
 and 

Drechsler, Rolf
},
    title = {Ensuring Correctness Efficiently for RISC-V Processors with Customised Multiplier Designs},
    year = {2025},
    journal = {Design and Verification of Cyber-Physical Systems: From Theory to Applications},
    publisher = {Science Direct}
}