Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
https://www.powershow.com/view1/df02f-ZDc1Z/Behavioral_Consistency_of_C_and_Verilog_Programs_Using_Bounded_Model_Checking_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/