Formal hardware verification
Subtitle: methods and systems in comparison
By: Thomas Kropf, ed.
Contributors: Kropf, Thomas, 1961-
Series: Lecture notes in computer science,; 1287
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 367
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design; Integrated circuits -- Verification; Formal methods (Computer science)
Notes: Includes bibliographical references (p. [349]-367).