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

looking for the formal verification tool - verplex

Status
Not open for further replies.

bhneclzh

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!
 

wicho

Member level 3
Joined
Feb 20, 2002
Messages
63
Helped
1
Reputation
2
Reaction score
0
Trophy points
1,286
Activity points
262
I was searching it for a long time.

But I didn't get it.

:(
 

aramis

Member level 3
Joined
Apr 7, 2002
Messages
64
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,286
Activity points
418
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
 

corgan

Member level 3
Joined
Jan 15, 2002
Messages
55
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,286
Activity points
319
The don't provide evaluation for individuals, but they provide evaluation for
corporation. You have to contact their sales for detail information.
 

armer

Member level 5
Joined
Mar 29, 2002
Messages
84
Helped
2
Reputation
4
Reaction score
0
Trophy points
1,286
Activity points
576
verplex

Does it have windows version?
 

lipton

Member level 2
Joined
Jul 14, 2002
Messages
46
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,286
Activity points
244
Verplex is the name of the company, what tool exactly are you talking about ?
 

jy

Junior Member level 3
Joined
Sep 4, 2001
Messages
27
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
131
What platform has Verplex?
Which easy to use Verplex or Formality?
 

joe2moon

Full Member level 5
Joined
Apr 19, 2002
Messages
280
Helped
19
Reputation
38
Reaction score
7
Trophy points
1,298
Location
MOON
Activity points
3,749
$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
 

chinkooi

Newbie level 6
Joined
Jun 8, 2005
Messages
12
Helped
3
Reputation
6
Reaction score
3
Trophy points
1,283
Activity points
1,382
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.
 

spauls

Advanced Member level 2
Joined
Dec 17, 2002
Messages
524
Helped
26
Reputation
52
Reaction score
9
Trophy points
1,298
Activity points
3,354
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

Top