In reply to leapoo:
What is it you want to check? The SVA checker is already doing the checking for you. The UVM report summary will report which assertions failed. You can use all the UVM report mechanisms to filter and catch these messages.
In reply to leapoo:
What is it you want to check? The SVA checker is already doing the checking for you. The UVM report summary will report which assertions failed. You can use all the UVM report mechanisms to filter and catch these messages.