Evaluating High-Level SystemC Formal Verification Compared to RTL Verification - de Jesus, Renato Pedrosa (PQDT - Global, 2024)