Formal specification and verification in VLSI design
By: Bruce S. Davie.
Series: Edinburgh information technology series ;; 8
Publisher: Edinburgh University Press
Published: 1990
Place of publication: Edinburgh
Language: eng
Number of pages: 195
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design.; Integrated circuits -- Verification.
Notes: Includes bibliographical references (p. 184-193) and index.