temporal assertions

[FSAz]

What libraries do I need to add to be able to use temporal assertions?

[mikhailmoiseev]

You need to include sct_common.h (https://github.com/intel/systemc-compiler/blob/main/components/common/sctcommon/sct_common.h) -- that is headers only library.

[mikhailmoiseev]

There is an example: https://github.com/intel/systemc-compiler/blob/main/designs/examples/asserts/temp_assert.cpp

[FSAz]

I used this example, but I encountered a series of errors.

[FSAz]

in this example I just included sct_assert.h

[FSAz]

Could the issue be caused by my SystemC version?

[mikhailmoiseev]

Yes, if you use any other version of SystemC that could lead to errors. The simplest way to get SystemC 3.0.0 is to install ICSC as it described at https://github.com/intel/systemc-compiler/wiki/Getting-started

[mikhailmoiseev]

What is your SystemC version?

[FSAz]

my systemC version is 2.3.1

[mikhailmoiseev]

The current verion is 3.0.0. The assertion likely works with 2.3.3 and 2.3.4. You need to update SystemC,