Advanced Symbolic Analysis for VLSI Systems: Methods and Applications
โ Scribed by Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle (auth.)
- Publisher
- Springer-Verlag New York
- Year
- 2014
- Tongue
- English
- Leaves
- 308
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
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.
โฆ Table of Contents
Front Matter....Pages i-xviii
Front Matter....Pages 1-1
Introduction....Pages 3-6
Symbolic Analysis Techniques in a Nutshell....Pages 7-20
Binary Decision Diagram for Symbolic Analysis....Pages 21-42
Front Matter....Pages 43-43
Determinant Decision Diagrams....Pages 45-70
DDD Implementation....Pages 71-94
Generalized Two-Graph Theory....Pages 95-124
Graph-Pair Decision Diagram....Pages 125-150
Hierarchical Analysis Methods....Pages 151-177
Symbolic Nodal Analysis of Analog Circuits Using Nullors....Pages 179-209
Front Matter....Pages 211-211
Symbolic Moment Computation....Pages 213-237
Performance Bound Analysis of Analog Circuits Considering Process Variations....Pages 239-270
Statistical Parallel Monte-Carlo Analysis on GPUs....Pages 271-282
Back Matter....Pages 283-300
โฆ Subjects
Circuits and Systems; Electronics and Microelectronics, Instrumentation; Logic Design
๐ SIMILAR VOLUMES
<P>Symbolic analysis is an intriguing topic in VLSI designs.</P> <P>The analysis methods are crucial for the applications to the parasitic reduction and analog circuit evaluation. However, analyzing circuits symbolically remains a challenging research issue. Therefore, in this book, we survey the r
<p><P>The IC industry, including digital and analog circuit design houses, electrical design automation software vendors, library and IP providers, and foundries all face grand challenges in designing nanometer VLSI systems. </P><P></P><P>The design productivity gap between nanometer VLSI technologi
<p><span>Symbolic analysis is an intriguing topic in VLSI designs.</span></p><p><span>The analysis methods are crucial for the applications to the parasitic reduction and analog circuit evaluation. However, analyzing circuits symbolically remains a challenging research issue. Therefore, in this book
Fifteen contributions provide an up-to-date treatment of issues in system modeling, system analysis, design and synthesis methods, and nonlinear systems. Coverage includes the application of multidimensional Laplace transforms to the modeling of nonlinear elements, a survey of customized computer al