Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronic Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

I need Formal Professional from Mentor

Status
Not open for further replies.

ljkong

Full Member level 2
Joined
Jul 18, 2002
Messages
123
Helped
1
Reputation
2
Reaction score
0
Trophy points
1,296
Location
P.R.C
Activity points
763
formal pro. from mentor

share
 

designanalyzer

Newbie level 3
Joined
Feb 5, 2003
Messages
4
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
35
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

Full Member level 2
Joined
Jul 2, 2001
Messages
127
Helped
3
Reputation
6
Reaction score
1
Trophy points
1,298
Activity points
965
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!
 

W

wang1

Guest
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.
Is LEC have better debug ability then fotmality? :roll:
 

Status
Not open for further replies.
Toggle Sidebar

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Top