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.

Cadence IC 5.0 Design Formal Pro for Linux

Status
Not open for further replies.

gianni

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
 

Dongbei

Junior Member level 1
Joined
Mar 10, 2004
Messages
18
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
141
Is it verplex LEC??
 

Memphis

Member level 3
Joined
Apr 13, 2002
Messages
58
Helped
1
Reputation
2
Reaction score
0
Trophy points
1,286
Activity points
479
C@dence IC 5.0 lnx

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

okguy

Full Member level 6
Joined
Mar 1, 2002
Messages
360
Helped
15
Reputation
30
Reaction score
9
Trophy points
1,298
Location
China
Activity points
2,650
Re: C@dence IC 5.0 lnx

gianni said:
Cadence release Design Formal pro for linux !

Powerful

Interestings things spectre for linux

What is that for :?:
 

z81203

Full Member level 5
Joined
Aug 1, 2001
Messages
308
Helped
5
Reputation
10
Reaction score
1
Trophy points
1,298
Activity points
2,356
C@dence IC 5.0 lnx

formal verification tool.
 

au_sun

Full Member level 2
Joined
Aug 5, 2004
Messages
147
Helped
15
Reputation
30
Reaction score
4
Trophy points
1,298
Activity points
1,184
Re: C@dence IC 5.0 lnx

In which stage of design is formal verification is done ?
 

Johnson

Advanced Member level 2
Joined
Oct 4, 2004
Messages
520
Helped
28
Reputation
56
Reaction score
7
Trophy points
1,298
Activity points
3,613
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

Full Member level 1
Joined
Sep 29, 2004
Messages
95
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,286
Activity points
874
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

Top