1992 · 431 citations · 8 references
EngineeringComputer EngineeringElectrical EngineeringCircuit TheoryComputer ArchitectureMicroelectronicsCircuit SwitchingCombinational Logic DescriptionDelay ModelingPower EstimationPower ManagementTiming AnalysisCombinational Logic DesignCorrelationDynamic Power EstimationFlip-flop DesignPropagation Delay ModelingSwitching Activity AnalysisSwitching Activity EstimationVlsi Implementation
power dissipated in VLSI combinational and sequential circuits, under random input sequences. Switching activity is strongly affected by gate delays and for this reason we use a general delay model in estimating switching activity. Our method takes into account correlation caused at internal gates in the circuit due to reconvergence of input signals. In sequential circuits, the input sequence applied to the combinational portion of the circuit is highly correlated because some of the inputs to the combinational logic are flip-flop outputs representing the state of the circuit. We present methods to probabilistically estimate switching activity in sequential circuits. These methods automatically compute the switching rates and correlations between flip-flop outputs.
8
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
Built-in test for VLSI: Pseudorandom techniques
Integration · 1989 · 866 citations
Engineering, Computer Engineering, Electrical Engineering +12
Sequential circuit verification using symbolic model checking
Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · 1990 · 413 citations · Full text