Formal methods in circuit design
By: V. Stavridou.
Series: Cambridge tracts in theoretical computer science ;; 37
Publisher: Cambridge University Press
Published: 1993
Place of publication: Cambridge; New York
Language: eng
Number of pages: 193
Subjects: Integrated circuits -- Very large scale integration -- Computer-aided design.; Integrated circuits -- Very large scale integration -- Testing -- Data processing.
Notes: Includes bibliographical references (p. 171-190) and index.