Cadence IC 5.0 Design Formal Pro for Linux

[gianni]

C@dence IC 5.0 lnx

Cadence release Design Formal pro for linux !

Powerful

Interestings things spectre for linux

 

[Dongbei]

Is it verplex LEC??

 

[Memphis]

C@dence IC 5.0 lnx

Is Verplex LEC still exist and available after Cadence merge the Verplex ?? Anybody know?

 

[okguy]

Re: C@dence IC 5.0 lnx

Cadence release Design Formal pro for linux !

Powerful

Interestings things spectre for linux

What is that for :?:

 

[z81203]

C@dence IC 5.0 lnx

formal verification tool.

 

[au_sun]

Re: C@dence IC 5.0 lnx

In which stage of design is formal verification is done ?

 

[Johnson]

Re: C@dence IC 5.0 lnx

It is mainly for post-synthesis and post-par verification, but you can use it for RTL codes too.

 

[tochaHCM]

Re: C@dence IC 5.0 lnx

I don't think the formal Verification product package with IC5.0 Linux