Authors:
- 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
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 chapters)
-
Front Matter
-
Fundamentals
-
Front Matter
-
-
Back Matter
About this book
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