Formal specification and verification in VLSI design /

Bibliographic Details
Main Author:	Davie, Bruce S.
Format:	Book
Language:	English
Published:	Edinburgh : Edinburgh University Press, ©1990.
Series:	Edinburgh information technology series ; 8.
Subjects:	Integrated circuits > Very large scale integration > Computer-aided design. Integrated circuits > Verification. Circuits intégrés à très grande échelle > Conception assistée par ordinateur. Circuits intégrés > Vérification. Entwurf VLSI Computers. Design. Applications of computer systems. Description languages. Computers > Design

Description
Physical Description:	ix, 195 pages : illustrations ; 23 cm.
Bibliography:	Includes bibliographical references (pages 184-193) and index.
ISBN:	0748601597 9780748601592