TY - BOOK AU - Qin,Zhanhai AU - Cheng,Chung-Kuan AU - Tan,Sheldon X.D. TI - Symbolic analysis and reduction of VLSI circuits SN - 0387239049 PY - 2005/// CY - New York, NY PB - Springer KW - Integrated circuits KW - Very large scale integration KW - Symbolic circuit analysis N1 - Includes bibliographical references (p. [273]-280) and index UR - http://www.loc.gov/catdir/enhancements/fy0663/2005284555-d.html ER -