I am not sure if this is the right forum to post this query because I see that almost all of the posts are related to Conformal. However, since I am trying to prove formal properties, I am posting this here. 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,"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?