Identifying signal correlations using discrete event simulation

Author

Sabet, Pirouz Bazargan ; Ledu, D.

Author_Institution

Univ. Pierre et Marie Curie (UPMC) - LIP6, Paris, France

fYear

2013

fDate

16-19 June 2013

Firstpage

1

Lastpage

4

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.

Keywords

Boolean functions; correlation methods; digital circuits; discrete event simulation; formal verification; graph theory; SuperGate; boolean function; digital circuit verification; discrete event simulation; functional exploration; independent signals; set operations; signal correlations; Boolean functions; Color; Correlation; Discrete event simulation; Image color analysis; Integrated circuit modeling; Logic gates;

fLanguage

English

Publisher

ieee

Conference_Titel

New Circuits and Systems Conference (NEWCAS), 2013 IEEE 11th International

Conference_Location

Paris

Print_ISBN

978-1-4799-0618-5

Type

conf

DOI

10.1109/NEWCAS.2013.6573646

Filename

6573646