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?