designanalyzer said:I've never used formalpro, but i think the LEC from verplex is much better than Synopsys Formality.
LEC shows much better perfromance than formality in my project.
In my case, i got these data:
RUN TIME Memory Consumption
LEC 6'34'' 5xxM
Formality 20'30'' 945M
and the results is exactly the same.
LEC am using is Dec,2000 version,
While Formality is 2002.09 version.
And, i dont know how about the Conformal from verplex. i've not tried it yet.