Deepak_K Posted January 28, 2022 Report Share Posted January 28, 2022 If I have fairly accurate cmodels, can I use them formal verification ? Please provide relevant pointers. If not then what are the blockers here ? Quote Link to comment Share on other sites More sharing options...
Bas Arts Posted January 31, 2022 Report Share Posted January 31, 2022 Hi Deepak, Could you be more specific on "formal verification"? Do you want to execute property checking / assertions / .... on the SystemC model itself? Do you want to use the SystemC model in an equivalence checking setup with RTL or gate level? Do you have another use case? As far as I'm aware, commercially available formal verification tooling does not work (directly) with SystemC so, depending on your use case, you might need to synthesize the model. Perhaps the Verification Academy is a good starting point for you? Bas Quote Link to comment Share on other sites More sharing options...
Deepak_K Posted February 6, 2022 Author Report Share Posted February 6, 2022 >>Do you want to execute property checking / assertions / .... on the SystemC model itself? Yes, this is what I am looking for. Do you mean we don't have any tool or it is not used widely in industry. Quote Link to comment Share on other sites More sharing options...
Bas Arts Posted February 7, 2022 Report Share Posted February 7, 2022 Perhaps this presentation helps a bit; it addresses a commercially available solution (contrary to my previous statement). Quote Link to comment Share on other sites More sharing options...
Deepak_K Posted February 10, 2022 Author Report Share Posted February 10, 2022 Thanks Bas, this definitely looks relevant. Quote Link to comment Share on other sites More sharing options...
Recommended Posts
Join the conversation
You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.