3 books
Advanced Symbolic Analysis for VLSI Systems
Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs
Symbolic Analysis and Reduction of VLSI Circuits