Hello all,
I am quite new to SVA and I wanted to know whether is it possible to get the same counterexample for multiple properties.
In other words, assume property P1 and property P2. If property P1 fails, the formal tool would generate a counterexample, i.e. a combination of inputs that would fail the property. If property P2 fails, similarly a new inputs pattern will be given by the formal tool. Is there any way to restrict the SVA properties to generate same input pattern as counterexample for P1 and P2?