Assertions are written inside a class sequence or written separatly?

UVM
1

can somebody post assertion with a testbench

2

In reply to agoel:
Concurrent assertions can be implemented only in static constructs like modules or interfaces but not in classes.

3

In reply to chr_sue:

in our top module we can write the assertions right.

4

In reply to agoel:
They can be implemented there, but it is not the best place.
Best is to create a specfic assertion module which is connected to your design using the bind construct.

5

In reply to chr_sue:

can you please explain with any example?i am not getting what you are saying?

6

In reply to agoel:
Please find ore details here.