CPU formal verification receives a boost

Guardado en:

Bibliografiske detaljer
Udgivet i:	Electronic Engineering Times no. 927 (Nov 11, 1996), p. 56-58
Hovedforfatter:	Rathje, Thomas
Andre forfattere:	Sandler, Scott
Udgivet:	AspenCore
Fag:	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
Online adgang:	Citation/Abstract Full Text + Graphics Full Text - PDF
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Vær først til at give en kommentarø!