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.

Register Log in

Cadence IC 5.0 Design Formal Pro for Linux

Status
Not open for further replies.
G

gianni

Junior Member level 1
Junior Member level 1
Joined
Jun 4, 2001
Messages
19
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Location
Germany
Activity points
61
C@dence IC 5.0 lnx

Cadence release Design Formal pro for linux !

Powerful

Interestings things spectre for linux
 

Is it verplex LEC??
 

C@dence IC 5.0 lnx

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

Re: C@dence IC 5.0 lnx

gianni said:
Cadence release Design Formal pro for linux !

Powerful

Interestings things spectre for linux
Click to expand...

What is that for :?:
 

C@dence IC 5.0 lnx

formal verification tool.
 

Re: C@dence IC 5.0 lnx

In which stage of design is formal verification is done ?
 

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.
 

Re: C@dence IC 5.0 lnx

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

Status
Not open for further replies.

Similar threads

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top