Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Bounding Signal Probabilities in Combinational Circuits
IEEE Transactions on Computers
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Transition density, a stochastic measure of activity in digital circuits
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Symbolic simulation—techniques and applications
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Estimation of average switching activity in combinational and sequential circuits
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Improved techniques for probabilistic simulation including signal correlation effects
DAC '93 Proceedings of the 30th international Design Automation Conference
Exact and approximate methods for calculating signal and transition probabilities in FSMs
DAC '94 Proceedings of the 31st annual Design Automation Conference
Statistical estimation of the switching activity in digital circuits
DAC '94 Proceedings of the 31st annual Design Automation Conference
Improving the accuracy of circuit activity measurement
DAC '94 Proceedings of the 31st annual Design Automation Conference
EURO-DAC '94 Proceedings of the conference on European design automation
SYCLOP: Synthesis of CMOS Logic for Low Power Applications
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Probabilistic Treatment of General Combinational Networks
IEEE Transactions on Computers
Leak-Gauge: A late-mode variability-aware leakage power estimation framework
Microprocessors & Microsystems
| Hi-index | 0.00 |
The probabilistic approach is widely used to analyze the power dissipation of digital circuits. The goal of the work is twofold. First, to present a method for providing an evaluation package of signal probabilities and transition densities that can be applied at different specification levels with more or less accuracy. A first order clue at the specification level may help synthesis tools in lowering power dissipation early in the design process. Second, to show how to deal with the well-known correlation problem using a symbolic simulation technique. Only one pass is required to compute a set of independent inputs for each signal in the circuit. At different stages, the algorithms take advantage of the binary decision diagram (BDD) concept.