Qin, Zhanhai,  1976- <br/><br/>
Symbolic analysis and reduction of VLSI circuits / 
Zhanhai Qin, Sheldon X.D. Tan, Chung-Kuan Cheng 
 - New York, NY :  Springer,  c2005 
 - xxii, 283 p. :  ill. ;  25 cm. 
<br/><br/>Includes bibliographical references (p. [273]-280) and index 
<br/><br/><label>ISBN: </label>0387239049 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Very large scale integration<br/>Symbolic circuit analysis