@BOOK{ Book!D - 99670679,
AUTHOR = "/ edited by Graham Birtwistle and P.A. Subrahmanyam",
TITLE = "VLSI specification, verification, and synthesis",
LIBRARY= "کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران",
SUBJECT = "Integrated circuits - Very large scale integration - Design and construction,Integrated circuits - Verification",
URL = "/book/99670679/VLSI-specification-verification-and-synthesis/"}