Title: Symbolic Analysis and Reduction of VLSI Circuits, Author: Zhanhai Qin
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: Leaf Cell and Hierarchical Compaction Techniques, Author: Cyrus Bamji