Skip to main content
SpringerLink
Log in

Advanced Symbolic Analysis for VLSI Systems

Methods and Applications

  • Book
  • © 2014

Overview

Authors:
  1. Guoyong Shi

    1. School of Microelectronics, Shanghai Jiao Tong University, Shanghai, China

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Sheldon X.-D. Tan

    1. Dept. of Electrical Engineering, University of California, Riverside, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Esteban Tlelo Cuautle

    1. INAOE, Tonantzintla, Mexico

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Fundamentals

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Introduction

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 3-6

    3. Symbolic Analysis Techniques in a Nutshell

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 7-20

    4. Binary Decision Diagram for Symbolic Analysis

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 21-42

  3. Methods

    1. Front Matter

      Pages 43-43
      Download chapter PDF

    2. Determinant Decision Diagrams

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 45-70

    3. DDD Implementation

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 71-94

    4. Generalized Two-Graph Theory

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 95-124

    5. Graph-Pair Decision Diagram

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 125-150

    6. Hierarchical Analysis Methods

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 151-177

    7. Symbolic Nodal Analysis of Analog Circuits Using Nullors

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 179-209

  4. Applications

    1. Front Matter

      Pages 211-211
      Download chapter PDF

    2. Symbolic Moment Computation

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 213-237

    3. Performance Bound Analysis of Analog Circuits Considering Process Variations

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 239-270

    4. Statistical Parallel Monte-Carlo Analysis on GPUs

      • Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle
      Pages 271-282

  5. Back Matter

    Pages 283-300
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • School of Microelectronics, Shanghai Jiao Tong University, Shanghai, China

    Guoyong Shi

  • Dept. of Electrical Engineering, University of California, Riverside, USA

    Sheldon X.-D. Tan

  • INAOE, Tonantzintla, Mexico

    Esteban Tlelo Cuautle

Bibliographic Information

  • Book Title: Advanced Symbolic Analysis for VLSI Systems

  • Book Subtitle: Methods and Applications

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

  • DOI: https://doi.org/10.1007/978-1-4939-1103-5

  • Publisher: Springer New York, NY

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer Science+Business Media New York 2014

  • Hardcover ISBN: 978-1-4939-1102-8

  • Softcover ISBN: 978-1-4939-4795-9

  • eBook ISBN: 978-1-4939-1103-5

  • Edition Number: 1

  • Number of Pages: XVIII, 300

  • Number of Illustrations: 126 b/w illustrations, 35 illustrations in colour

  • Topics: Circuits and Systems, Electronics and Microelectronics, Instrumentation, Logic Design

Publish with us

Policies and ethics

Back to top

Search

Navigation