Symbolic Analysis and Reduction of VLSI Circuits - Qin, Zhanhai; Tan, Sheldon X. D.; Cheng, Chung-Kuan.; SpringerLink (Online service) (Boston, MA : Springer Science + Business Media, Inc., 2005)
Keywords: Integrated circuits -- Very large scale integration; Symbolic circuit analysis; Engineering; Electronic and Computer Engineering