Qin, Zhanhai. Symbolic Analysis and Reduction of VLSI Circuits [electronic resource] / by Zhanhai Qin, Sheldon X. D. Tan, Chung-Kuan Cheng. - Boston, MA : Springer Science + Business Media, Inc., 2005. - xxii, 283 p. : ill., digital ; 25 cm. ISBN: 9780387239057 (electronic bk.) 9780387239040 (paper) Subjects--Topical Terms: Integrated circuits--Very large scale integration.Symbolic circuit analysis.Engineering.Electronic and Computer Engineering. LC Class. No.: TK7874.75 / .Q26 2005 Dewey Class. No.: 621.395