Advanced Symbolic Analysis for VLSI Systems

Methods and Applications

  • Guoyong Shi
  • Sheldon X.-D. Tan
  • Esteban Tlelo Cuautle

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Fundamentals

    1. Front Matter
      Pages 1-1
    2. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 3-6
    3. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 7-20
    4. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 21-42
  3. Methods

    1. Front Matter
      Pages 43-43
    2. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 45-70
    3. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 71-94
    4. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 95-124
    5. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 125-150
    6. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 151-177
    7. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 179-209
  4. Applications

    1. Front Matter
      Pages 211-211
    2. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 213-237
    3. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 239-270
    4. Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 271-282
  5. Back Matter
    Pages 283-300

About this book

Introduction

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. In particular, this book
 
• Provides an overview of classical symbolic analysis methods and a comprehensive presentation on the modern  BDD-based symbolic analysis techniques;
• Describes detailed implementation strategies for BDD-based algorithms, including the principles of zero-suppression, variable ordering and canonical reduction;
• Introduces the two  successful BDD-based symbolic analysis algorithms, Determinant Decision Diagrams (DDD) and Graph-Pair Decision Diagrams (GPDD);
• Discusses statistical timing and crosstalk analysis methods based on symbolic moment computation;
• Includes an application of the DDD algorithm to symbolic performance bound estimations of analog circuits subject to process variations;
• Presents an application of the DDD algorithm to fast parallel Monte Carlo statistical analysis with an implementation on a popular GPU platform.

Keywords

Analog Circuits Binary Decision Diagram Based Symbolic analysis Hierarchical Symbolic Analysis Logic synthesis Statistical Timing and Crosstalk Analysis Symbolic Analog Integrated Circuit Analysis Symbolic Analysis for VLSI Design Verification

Authors and affiliations

  • Guoyong Shi
    • 1
  • Sheldon X.-D. Tan
    • 2
  • Esteban Tlelo Cuautle
    • 3
  1. 1.School of MicroelectronicsShanghai Jiao Tong UniversityShanghaiChina
  2. 2.Dept. of Electrical EngineeringUniversity of CaliforniaRiversideUSA
  3. 3.INAOETonantzintlaMexico

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4939-1103-5
  • Copyright Information Springer Science+Business Media New York 2014
  • Publisher Name Springer, New York, NY
  • eBook Packages Engineering
  • Print ISBN 978-1-4939-1102-8
  • Online ISBN 978-1-4939-1103-5
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace