PSL in SystemC

[Shashank V M]

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?

[maehne]

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 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.