A symbolic simulation approach in resolving signals´ correlation

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