Shashank V M Posted July 27, 2020 Report Share Posted July 27, 2020 I'd like to know if PSL is implemented in SystemC as a library. Is it available freely? How can I use PSL in SystemC? Quote Link to comment Share on other sites More sharing options...
maehne Posted July 27, 2020 Report Share Posted July 27, 2020 I am not aware of a widely used free PSL implementation for SystemC. However, you can find some research papers discussing using PSL together with SystemC, e.g.: Ali Habibi, et al.: Assertion Based Verification of PSL for SystemC Designs, IEEE, 2004. Wolfgang Ecker, et al.: Implementation of a SystemC Assertion Library, Design & Reuse. Shashank V M 1 Quote Link to comment Share on other sites More sharing options...
Shashank V M Posted July 27, 2020 Author Report Share Posted July 27, 2020 1 minute ago, maehne said: I am not aware of a widely used free PSL implementation for SystemC. However, you can find some research papers discussing using PSL together with SystemC, e.g.: Ali Habibi, et al.: Assertion Based Verification of PSL for SystemC Designs, IEEE, 2004. Wolfgang Ecker, et al.: Implementation of a SystemC Assertion Library, Design & Reuse. Thank you. 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.