C (at) dence IC 5,0 lnx

G

Gianni

Guest
Cadence Design Formální zpráva pro pro Linux!

Mocný

Zajímavosti věci přízrak pro linux

 
Je Verplex LEC stále existují a jsou k dispozici po Cadence spojit Verplex?Ví někdo?

 
Gianni napsal:

Cadence Design Formální zpráva pro pro Linux!MocnýZajímavosti věci přízrak pro linux
 
V jakém stadiu návrhu je formální verifikace se provádí?

 
Je to hlavně pro post-syntéza a post-par ověření, ale můžete ji použít pro RTL i kódy.

 
Nemyslím si, že formální verifikace produktový balíček s IC5.0 Linux

 

Welcome to EDABoard.com

Sponsor

Back
Top