TY  - BOOK
AU  - Chang,Jui-ming
AU  - Pedram,Massoud
TI  - Power optimization and synthesis at behavioral and system levels using formal methods
SN  - 0792385608 (papel alcalino)
AV  - TK7874.66 C43
U1  - 621.3815 21
PY  - 1999///
CY  - Boston
PB  - Kluwer
KW  - Circuitos integrados de bajo voltaje
KW  - Diseño asistido por computadoras
KW  - Circuitos integrados en muy gran escala
KW  - Diseño asistido por computadora
ER  -