R. Bryant et al., "CAD Applications of Binary Decision Diagrams", 1993, OBDD Tutorial. |
Randal E. Bryant, "Final Thoughts", 1993, OBDD Tutorial. |
Randal E. Bryant, "Symbolic Boolean Manipulation With Ordered Binary-Decision Diagrams", Sep. 1992, ACM Computing Surveys, vol. 24, No. 3. |
A. Ghosh et al., "Estimation of Average Switching Activity in Combinational and Sequential Circuits", 1992, IEEE, 29th ACM/IEEE Design Automation Conference. |
A. Shen et al., "On Average Power Dissipation and Random Pattern Testability of CMOS Combinational Logic Networks". |
B. Krishnamurthy et al., "Improved Techniques for Estimating Signal Probabilities", 1986, IEEE, 1986 International Test Conference. |
Mehmet A. Cirit, "Estimating Dynamic Power Consumption of CMOS Circuits" 1987, IEEE. |
K. Roy et al., "Circuit Activity Based Logic Synthesis for Low Power Reliable Operations", Dec. 1993, IEEE, vol. 1, Issue 4. |
A. Yang et al., "Estimating Power Dissipation in VLSI Circuits" Jul. 1993, IEEE. |
M. Xakellis et al., "Statistical Estimation of the Switching Activity in Digital Circuits" 1994, 31st ACM/IEEE Design Automation Conference. |
F. Najm et al., "Power Estimation in Sequential Circuits", Jun. 1995, 32nd Design Automation Conference. |
Farid N. Najm, "A Survey of Power Estimation Techniques in VLSI Circuits" 1994, IEEE. |
Shin-ichi Minato, "Implicit Manipulation of Polynomials Using Zero-Suppressed BDDs", 1995, IEEE. |
D. Singh et al., "Power Conscious CAD Tools and Methodologies: A Perspective", May 14, 1994. |
Synopsys, Inc. "Design Compiler Family Reference Manual" Mar. 1994, Version 3.1a. |
G. Hachtel et al., "Probabilistic Analysis of Large Finite State Machines", 1994, 31st ACM/IEEE Design Automation Conference. |
C. Tsui et al., "Exact and Approximate Methods for Calculating Signal and Transition Probabilities in FSMs" 1994, 31st ACM/IEEE Design Automation Conference. |
J. Monteiro et al., "A Methodology for Efficient Estimation of Switching Activity in Sequential Logic", 1994, 31st ACM/IEEE Design Automation Conference. |
F. Najm et al., "Probabilistic Simulation for Reliability Analysis of CMOS VLSI Circuits", Apr. 1990, IEEE vol. 9, No. 4. |
Farid N. Najm, "Transition Density: A New Measure of Activity in Digital Circuits", Feb. 1993, IEEE vol. 12, No. 2. |
R. Burch et al., "Pattern-Independent Current Estimation for Reliability Analysis of CMOS Circuits", 1988, 25th ACM/IEEE Design Automation Conference. |
Farid N. Najm, "Transition Density, A Stochastic Measure of Activity in Digital Circuits", 1991, 28th ACM/IEEE Design Automation Conference. |
S. Devadas et al., "Estimation of Power Dissipation in CMOS Combinational Circuits Using Boolean Function Manipulation", Mar. 1992, IEEE vol. 11, No. 3. |