A Case Study on Formal Equivalence Verification Between a C/C++ Model and Its RTL Design. - Gaetano Raia; Gianluca Rigano; David Vincenzoni; Maurizio Martina (FM (2), 2024)