A Case Study on Formal Equivalence Verification Between a C/C++ Model and Its RTL Design.

Gaetano Raia Gianluca Rigano David Vincenzoni Maurizio Martina A Case Study on Formal Equivalence Verification Between a C/C++ Model and Its RTL Design. 373-389 2024 FM (2) https://doi.org/10.1007/978-3-031-71177-0_23 conf/fm/2024-2 db/conf/fm/fm2024-2.html#RaiaRVM24 streams/conf/fm