I am running a long list of PSL properties through IFV 5.8-s1. A few among them are showing the status as 'Aborted'. When I check the aborted properties with,Originally posted in cdnusers.org by bijitm
"assertion -show -verbose -list", it shows,
"Exception : ***unknown***".
I have tried to modify the properties to the simplest form but still they abort. The user manual says that an 'abort' can happen if there is something wrong with the tool or there is any memory or disk space issue. I have enough disk space and memory to run the properties. How can I gather more information before calling Cadence support?