TY  - BOOK
AU  - Birtmstle, Graham, ed.
TI  - VLSI specification, verification and synthesis
U1  - 621.381952 B539V 
PY  - 1988///
CY  - Bostan
PB  - Kluwer Academic
ER  -