looking for the formal verification tool - verplex

[bhneclzh]

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]

I was searching it for a long time.

But I didn't get it.

 

[aramis]

Re: 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 think the only way to get it is ask their sale for product information,
as i know, they don't offer evaluation verision

 

[corgan]

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

 

[armer]

verplex

Does it have windows version?

 

[mami_hacky]

Is it possible to use synopsys formality instead?

 

[lipton]

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

 

[papertiger]

LEC

 

[jy]

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

 

[joe2moon]

$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]

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]

Re: about the verplex

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