This book provides comprehensive coverage of the recent advances in
symbolic analysis techniques for design automation of nanometer VLSI
systems. The presentation is organized in parts of fundamentals, basic
implementation methods and applications for VLSI design. Topics
emphasized include statistical timing and crosstalk analysis,
statistical and parallel analysis, performance bound analysis and
behavioral modeling for analog integrated circuits. Among the recent
advances, the Binary Decision Diagram (BDD) based approaches are studied
in depth. The BDD-based hierarchical symbolic analysis approaches, have
essentially broken the analog circuit size barrier.