Overview
- 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
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (12 chapters)
-
Fundamentals
Authors and Affiliations
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