Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Zero-suppressed BDDs for set manipulation in combinatorial problems
DAC '93 Proceedings of the 30th international Design Automation Conference
Binary decision diagrams and applications for VLSI CAD
Binary decision diagrams and applications for VLSI CAD
Symbolic Analysis for Automated Design of Analog Integrated Circuits
Symbolic Analysis for Automated Design of Analog Integrated Circuits
Computer Methods for Circuit Analysis and Design
Computer Methods for Circuit Analysis and Design
A Symbolic Pole/Zero Extraction Methodology Based on Analysis of Circuit Time-Constants
Analog Integrated Circuits and Signal Processing
Approximate Symbolic Analysis of Hierarchically Decomposed Analog Circuits
Analog Integrated Circuits and Signal Processing
Hierarchical approach to exact symbolic analysis of large analog circuits
Proceedings of the 41st annual Design Automation Conference
ISVLSI '05 Proceedings of the IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design
Efficient symbolic sensitivity analysis of analog circuits using element-coefficient diagrams
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
A Graph Reduction Approach to Symbolic Circuit Analysis
ASP-DAC '07 Proceedings of the 2007 Asia and South Pacific Design Automation Conference
Computational complexity analysis of determinant decision diagram
IEEE Transactions on Circuits and Systems II: Express Briefs
Hierarchical exact symbolic analysis of large analog integrated circuits by symbolic stamps
Proceedings of the 16th Asia and South Pacific Design Automation Conference
Performance bound analysis of analog circuits considering process variations
Proceedings of the 48th Design Automation Conference
A simple implementation of determinant decision diagram
Proceedings of the International Conference on Computer-Aided Design
Canonical symbolic analysis of large analog circuits with determinant decision diagrams
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hierarchical symbolic analysis of analog integrated circuits via determinant decision diagrams
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Efficient approximation of symbolic expressions for analog behavioral modeling and analysis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A general hierarchical circuit modeling and simulation algorithm
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Pole and zero sensitivity calculation in asymptotic waveform evaluation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A size sensitivity method for interactive CMOS circuit sizing
Analog Integrated Circuits and Signal Processing
Hi-index | 0.00 |
Applying symbolic techniques for analog circuit analysis is a traditional research subject, which has lasted for over half a century. The past decade has witnessed a significant advancement of the symbolic techniques developed specifically for large analog integrated circuits. The key methodology introduced is a data structure called binary decision diagram (BDD) which was established originally for logic design and verification. The application of the BDD technique for analog circuit analysis has the following features: (1) It is a compact data structure so that data redundancy in symbolic analysis can be eliminated. (2) It provides a mechanism for implicit enumeration method so that exhaustive enumeration commonly performed in symbolic analysis can be avoided. (3) Numerical evaluation on a BDD can be made extremely efficient, making it an excellent means for repetitive analysis. More advanced features are yet to be explored. This survey brings together the significant research results published in the past decade and provides a tutorial overview on the basic principles of applying BDD to analog circuit analysis. Some new directions that are potentially valuable for developing future analog design automation tools are discussed and a design example is given to illustrate the application of symbolic techniques.