Identifying signal correlations using discrete event simulation

Many applications, in digital circuit verification, require a functional exploration of the circuit. In such a type of analysis, recognizing the correlation between signals is a key issue. The identification of correlations allows the boolean function of gates be expressed in terms of independent signals. This concept is known as SuperGate. This paper presents an original algorithm based on discrete event simulation, to identify all the SuperGates of a circuit. The algorithm resides exclusively on set operations, including union, intersection and subtract.