Chang, Jui-ming <br/><br/>
Power optimization and synthesis at behavioral and system levels using formal methods 
by Jui-ming Chang, Massoud Pedram 
 - Boston  Kluwer  1999 
 - xxiii, 167 p. : ill. ; 25 cm 
<br/><br/> Includes bibliographical references (p. [157]-163) and index 
<br/><br/><label>ISBN: </label>9780792385608 
<br/><br/><label>ISSN: </label>99031819 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits - Very large scale integration - Computer-aided design<br/>Low voltage integrated circuits - Computer-aided design
<br/><br/><label>Dewey Class. No.: </label>621.3815 CHA