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.
Do you have any e-book for "formal verification"?. I just want to understand this method more. What's exactly meaning? What's a big advantage over traditional method?
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.