Formal verification of hardware design
By: edited by Michael Yoeli.
Contributors: Yoeli, Michael.
Series: IEEE Computer Society Press tutorial
Publisher: IEEE Computer Society Press
Published: 1990
Place of publication: Los Alamos, Calif
Language: eng
Number of pages: 326
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design.
Notes: Includes bibliographical references and index.