TY - BOOK A1 - / edited by Graham Birtwistle and P.A. Subrahmanyam TI - VLSI specification, verification, and synthesis PB - کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران SN - 99670679 UR /book/99670679/VLSI-specification-verification-and-synthesis/ ER -