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.