TY  - BOOK
AU  - Chang, Jui-ming
AU  - Pedram, Massoud
TI  - Power optimization and synthesis at behavioral and system levels using formal methods
SN  - 9780792385608
SN  - 99031819
U1  - 621.3815 CHA 
PY  - 1999///
CY  - Boston
PB  - Kluwer
KW  - Integrated circuits - Very large scale integration - Computer-aided design
KW  - Low voltage integrated circuits - Computer-aided design
N1  - Includes bibliographical references (p. [157]-163) and index
ER  -