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.

looking for the formal verification tool - verplex

Status
Not open for further replies.

bhneclzh

Newbie level 6
Newbie level 6
Joined
Dec 31, 2002
Messages
13
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
28
about the verplex

Hi, everyone,
I am looking for the formal verification tool, it's said that the verplex is a good tool for the formal verification, who can tell me where I can downloaded the evaluation version software.
Thanks!
 

I was searching it for a long time.

But I didn't get it.

:(
 

Re: about the verplex

bhneclzh said:
Hi, everyone,
I am looking for the formal verification tool, it's said that the verplex is a good tool for the formal verification, who can tell me where I can downloaded the evaluation version software.
Thanks!

I think the only way to get it is ask their sale for product information,
as i know, they don't offer evaluation verision
 

The don't provide evaluation for individuals, but they provide evaluation for
corporation. You have to contact their sales for detail information.
 

verplex

Does it have windows version?
 

Verplex is the name of the company, what tool exactly are you talking about ?
 

What platform has Verplex?
Which easy to use Verplex or Formality?
 

$ynopsys' F0rmality vs. Verple*'s LEC (user interface)

For the latest release, both GUI (LEC & Formality) are very similar.
(user-friendly)

ps:
Platform Support of Conformal LEC:
Solaris, Linux
For more information: h**p://www.verplex.c0m/products/lec_brochure_2.html

BTW, Synopsys Supported Operating Systems
h**p://www.synopsys.c0m/products/platforms/opsys.html
 

jy said:
What platform has Verplex?
Which easy to use Verplex or Formality?

I think verplex conformal has better reporting format if you intend to check the results and troubleshooting in non-GUI mode.

If comparing both GUI, they looked quite similar.
 

Re: about the verplex

you can use verplex in Linux, Unix.
Verplex is much better than formality.
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top