Book 2014

Advanced Symbolic Analysis for VLSI Systems

Methods and Applications

Authors:

ISBN: 978-1-4939-1102-8 (Print) 978-1-4939-1103-5 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xviii

  2. Fundamentals

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-6

      Introduction

    3. No Access

      Chapter

      Pages 7-20

      Symbolic Analysis Techniques in a Nutshell

    4. No Access

      Chapter

      Pages 21-42

      Binary Decision Diagram for Symbolic Analysis

  3. Methods

    1. Front Matter

      Pages 43-43

    2. No Access

      Chapter

      Pages 45-70

      Determinant Decision Diagrams

    3. No Access

      Chapter

      Pages 71-94

      DDD Implementation

    4. No Access

      Chapter

      Pages 95-124

      Generalized Two-Graph Theory

    5. No Access

      Chapter

      Pages 125-150

      Graph-Pair Decision Diagram

    6. No Access

      Chapter

      Pages 151-177

      Hierarchical Analysis Methods

    7. No Access

      Chapter

      Pages 179-209

      Symbolic Nodal Analysis of Analog Circuits Using Nullors

  4. Applications

    1. Front Matter

      Pages 211-211

    2. No Access

      Chapter

      Pages 213-237

      Symbolic Moment Computation

    3. No Access

      Chapter

      Pages 239-270

      Performance Bound Analysis of Analog Circuits Considering Process Variations

    4. No Access

      Chapter

      Pages 271-282

      Statistical Parallel Monte-Carlo Analysis on GPUs

  5. Back Matter

    Pages 283-300