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.
Generated by IFV :
Assertion_0 : assert property (
(A && B) |-> (C === D);
Written by me:
property assert_0; @(`A) (A && B) |-> (C===D); endpropertyAssertion_0: assert property (assert_0);
Why is this so? Can I improve the run time for automatically generated assertions?