Chang, Jui-ming,  1967-, <br/><br/>
Power optimization and synthesis at behavioral and system levels using formal methods / 
by Jui-ming Chang, Massoud Pedram 
 - xxiii, 167 páginas :  ilustraciones 
<br/><br/><label>ISBN: </label>0792385608 (papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Circuitos integrados de bajo voltaje--Diseño asistido por computadoras<br/>Circuitos integrados en muy gran escala--Diseño asistido por computadora
<br/><br/><label>LC Class. No.: </label>TK7874.66  / C43 
<br/><br/><label>Dewey Class. No.: </label>621.3815