CPU formal verification receives a boost

Tallennettuna:

Bibliografiset tiedot
Julkaisussa:	Electronic Engineering Times no. 927 (Nov 11, 1996), p. 56-58
Päätekijä:	Rathje, Thomas
Muut tekijät:	Sandler, Scott
Julkaistu:	AspenCore
Aiheet:	Chrysalis Symbolic Design Inc Rise Technology Inc United States > US Integrated circuits Software packages Case studies Startups Electronics industry Automation Computer based modeling Product design Operating systems Simulation Software Logic Transistors Product testing Custom design Designers
Linkit:	Citation/Abstract Full Text + Graphics Full Text - PDF
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Lisää ensimmäinen kommentti!