Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics 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.

Help, formal verification tools

Status
Not open for further replies.

luoliuzhu

Junior Member level 1
Junior Member level 1
Joined
Oct 30, 2003
Messages
16
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
113
Hi guys,
Who can tell me which formal verification tools is used widely currently? 0in or Magellan ?

thanks
 

luoliuzhu said:
Hi guys,
Who can tell me which formal verification tools is used widely currently? 0in or Magellan ?

thanks

I believe (no real proofs as I'm not in EDA maerketing/data collection) Cadence's IFV is quite popular as well. Few companies in Bangalore use it. ALso Jasper's tools are popular in the US (not in India).

Ajeetha, CVC
www.noveldv.com
 
LEC was popular for RTL-to-gate-level verification.
LEC is CADENCE tool now.
 

Hi all,

The formal verification tool is depends on the which tool u r using for the synthesis.if ur using synopsys tools for synthesis then u have to use "formality" tool.if ur using RTL-compiler u have to use LEC from candence. so if ur using some companie synthesis tool u recomended to use same companie synthesis tool .

regards,
ramesh.s
 

In fact , The formal verification tool i mentioned is based on assertion, not formality or LEC.

I know, some company use 0in and Magellan. I want to know which tool is more better. or which tool be used widely?

Thanks in advance

Added after 3 minutes:

I want to evaluate these two formal verification tools. We want to purchase one formal verification tool.

So, it is very important to me and our group.

thanks
 

luoliuzhu said:
I want to evaluate these two formal verification tools. We want to purchase one formal verification tool.

So, it is very important to me and our group.

thanks

If so you should clearly spec out what are the eval criteria and proceed - statistics are great, but not so much useful when it comes to tool purchase - as they say "Your mileage may vary", so I would draft a clean eval criteria and proceed. If I were you I would include:

1. Jasper
2. Cadence IFV
3. 0-In
4. Magellan

as a minimum list to get best for my bucks.

BTW - I've used 4 formal tools - IFV, @HDL @Verifier, Safelogic/Jasper Verifier, Solidify (Averant) and can help you with your eval, if interested let me know!

Ajeetha, CVC
www.noveldv.com
 
Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top