Formal verification of hardware design /

Bibliographic Details
Main Author:	Yoeli, Michael, 1917-
Format:	Book
Language:	English
Published:	Los Alamos, Calif. : IEEE Computer Society Press, [1990]
Subjects:	Integrated circuits > Very large scale integration > Design and construction > Data processing. Computer-aided design. Computer software > Verification.

Remote Storage