๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

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

โฌ‡  Acquire This Volume

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


Symbolic Analysis and Reduction of VLSI
โœ Zhanhai Qin, Chung-Kuan Cheng ๐Ÿ“‚ Library ๐Ÿ“… 2004 ๐Ÿ› Springer ๐ŸŒ English

<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

Symbolic Analysis and Reduction of VLSI
โœ Zhanhai Qin, Sheldon X. D. Tan, Chung-Kuan Cheng (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 2005 ๐Ÿ› Springer US ๐ŸŒ English

<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

Symbolic Analysis and Reduction of VLSI
โœ Zhanhai Qin, Chung-Kuan Cheng ๐Ÿ“‚ Library ๐Ÿ“… 2004 ๐Ÿ› Springer ๐ŸŒ English

<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

Symbolic Methods in Control System Analy
โœ Neil Munro ๐Ÿ“‚ Library ๐Ÿ“… 1998 ๐Ÿ› The Institution of Engineering and Technology ๐ŸŒ English

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