Technical Report No. 106,July - Abstract

Keim Martin, Becker Bernd
Nearly Exact Signal Probabilities for Synchronous Sequential Circuits -- an Experimental Analysis

In this article we present a strategy how to estimate the signal probabilities for synchronous sequential circuits. For each line in the circuit an OBDDs is constructed only once. Using this OBDD the signal probabilities in every succeeding time frame is computed. We investigated a large set of the ISCAS'89 benchmark circuits, showing that the proposed strategy estimates 75 percent of all signals considered with a relative error of only 10 percent or less.