Identifying Signal Correlations Using Discrete Event Simulation

Pirouz Bazargan Sabet (1) , Dominique Le Dû (1)

1 CIAN - Circuits Intégrés Numériques et Analogiques

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.

Domaines: Informatique [cs]

Pirouz Bazargan Sabet, Dominique Le Dû. Identifying Signal Correlations Using Discrete Event Simulation. IEEE International New Circuits and Systems Conference, Jun 2013, Paris, France. pp.349-352, ⟨10.1109/NEWCAS.2013.6573646⟩. ⟨hal-01202845⟩