Deepak_K Posted January 28 Report Share Posted January 28 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 Report Share Posted January 31 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 Author Report Share Posted February 6 >>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 Report Share Posted February 7 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 Author Report Share Posted February 10 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.