Hey,
I entered connectivity information onto an xls and generated assertions on IFV. These take a very long time to run. If I write similar assertions myself, it runs faster. The only difference between them is mine have @ and is checked only during transitions.
Example:
Generated by IFV :
Assertion_0 : assert property (
(A && B) |-> (C === D);
Written by me:
property assert_0;
@(`A)
(A && B) |-> (C===D);
endproperty
Assertion_0: assert property (assert_0);
Why is this so? Can I improve the run time for automatically generated assertions?