Identifying Signal Correlations Using Discrete Event Simulation

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01202845
Contributor : Lip6 Publications <>
Submitted on : Monday, September 21, 2015 - 5:54:32 PM
Last modification on : Thursday, March 21, 2019 - 1:10:09 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

65