TY  - BOOK
AU  - Davie,Bruce S.
TI  - Formal specification and verification in VLSI design
SN  - 0748601597
PY  - 1990///
CY  - Edinburgh
PB  - Edinburgh University Press
KW  - Integrated circuits
KW  - Very large scale integration
KW  - Computer-aided design
KW  - Verification
N1  - Includes bibliographical references (pages 184-193) and index
ER  -