Gp
|
Hi,
I have implemented the spectre assertion with the following example:
INV_CHECK assert sub=INV expr="V(vdd)" min=1.5 max=2.0 message="ERROR: vdd is out of range" level=error
My question is when I am run this assertion it is working fine. But, When I am run with different test, it is overwritten. I want to make a different assertion results file with a different test. so, Is it possible?
|