I need Formal Professional from Mentor

[ljkong]

formal pro. from mentor

share

 

[designanalyzer]

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.

 

[elektrom]

formal pro. from mentor

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?

Please kindly advise me!

 

[bravobravo]

formal pro. from mentor

Good Link for your Ref ..
**broken link removed**

Hope this will be helpful ...

it has pdf for download ...
I learn some usful info from it ..

 

[wang1]

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.

Is LEC have better debug ability then fotmality? :roll: