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

Gaetano Raia, Gianluca Rigano, David Vincenzoni, Maurizio Martina

Browse the full FM paper archive.