Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working confe - detaljert visning

Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings

CHARME 2003
Bok Engelsk 2003


Utgitt	Berlin : Springer , c2003
Omfang	XII, 426 s. : ill.
Emner	Integrated circuits - Verification Integrated circuits - Very large scale integration Computer-aided design Datamaskiner - Verifisering Maskinspesifikasjon Maskinverifikasjon
ISBN	354020363X