Formal hardware verification : methods and systems in comparison /

Bibliographic Details
Other Authors:	Kropf, Thomas, 1961-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, [1997]
Series:	Lecture notes in computer science. 1287.
Subjects:	Integrated circuits > Very large scale integration > Design and construction > Data processing. Integrated circuits > Verification. Computer-aided design.

Remote Storage