Assertions and SystemC

[shaddad]

I would like to investigate the integration of Assertions in SystemC. My question is this:

What are the Assertions methodologies currently available and can be integrated in a SystemC code? Where can I find resources wrt these methodologies? I did get an answer to this question yet from anyone including those who worked on SystemC now for years. Are Assertions in SystemC still a black-hole area not covered enough? Pls provide an opinion on this matter at least. 

Pls help! 

 

[David Black]

Possibly we are all busy... have you looked in https://systemc.org/resources/projects/ ? There are some assertion resources there.

 

[Joshua26]

On 8/14/2024 at 11:09 PM, shaddad said:

What are the Assertions methodologies currently available and can be integrated in a SystemC code? Where can I find resources wrt these methodologies? I did get an answer to this question yet from anyone including those who worked on SystemC now for years. Are Assertions in SystemC still a black-hole area not covered enough? Pls provide an opinion on this matter at least. 

Assertions in SystemC are important yet often missed. Typical methods include the use of SystemC's native 'assert' macros, as well as blending with broader assertion libraries such as SVA (SystemVerilog Assertions) or other programs such as Property Modeling Language. SystemC manual and community forums are ideal places to start when looking for answers. Engaging with SystemC-specific user groups or professional training can be useful with receiving detailed support and knowledge.