Title: Leaf Cell and Hierarchical Compaction Techniques, Author: Cyrus Bamji
Title: Symbolic Analysis of Analog Circuits: Techniques and Applications: A Special Issue of Analog Integrated Circuits and Signal Processing, Author: Lawrence P. Huelsman
Title: Symbolic Model Checking, Author: Kenneth L McMillan
Title: Symbolic Analysis in Analog Integrated Circuit Design, Author: Henrik Floberg
Title: Symbolic Analysis for Automated Design of Analog Integrated Circuits, Author: Georges Gielen
Title: Distortion Analysis of Analog Integrated Circuits, Author: Piet Wambacq
Title: Symbolic Analysis and Reduction of VLSI Circuits / Edition 1, Author: Zhanhai Qin