1991 · 272 citations · 10 references
EngineeringComputer EngineeringElectrical EngineeringMicroelectronicsProcess DynamicsSemiconductor DevicesActivity MeasurementSemiconductor ReliabilitySwitching Activity AnalysisSwitching BehaviorTransition Density EstimationTransition Probability Analysis
Reliability assessment is an important part of the design process of digital integrated circuits. We observe that a common thread that runs through most causes of run-time failure is the extent of circuit activity, i.e., the rate at which its nodes are switching. We propose a new measure of activity, called the transition density, which may be de ned as the \\average switching rate " at a circuit node. Based on a stochastic model of logic signals, we rigorously de ne the transition density and present an algorithm to propagate it from the primary inputs to internal and output nodes. This algorithm may be thought ofasasimulation of the circuit, and has been implemented in a prototype density simulator. We present some results of this implementation to verify the theoretical results and assess the feasibility of the approach. In order to obtain the same density information by traditional means, the circuit would need to be simulated for thousands of input transitions. Thus this approach is very e cient and makes possible the analysis of VLSI circuits, which are traditionally too big to simulate for long input sequences. ACM/IEEE Design-Automation Conference, 1991. 1.
10
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
<i>The Theory of Stochastic Processes</i>
D. R. Cox, H. D. Miller, George H. Weiss et al. · Physics Today · 1966 · 3.4K citations
Efficient implementation of a BDD package
Karl S. Brace, Richard Rudell, Randal E. Bryant · 1990 · 1.1K citations · Full text