Symmetry detection for incompletely specified functions

In this paper, we formulate symmetry detection for incompletely specified functions as an equation without using cofactor computation and equivalence checking. Based on this equation, a symmetry detection algorithm is proposed. This algorithm can simultaneously find non-equivalence and equivalence s...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wang, Kuo-Hua, Chen, Jia-Hung
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Benchmark testing Boolean functions Councils Data structures Design. Technologies. Operation analysis. Testing Detection algorithms Electronics Equations Exact sciences and technology Hardware > Electronic design automation > High-level and register-transfer level synthesis Hardware > Integrated circuits > Digital switches > Logic families Integrated circuits Logic design Logic testing Permission Semiconductor electronics. Microelectronics. Optoelectronics. Solid state devices
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	In this paper, we formulate symmetry detection for incompletely specified functions as an equation without using cofactor computation and equivalence checking. Based on this equation, a symmetry detection algorithm is proposed. This algorithm can simultaneously find non-equivalence and equivalence symmetries. Experimental results on a set of benchmarks show that our algorithm is indeed very effective in solving symmetry detection problem for incompletely specified functions.
ISSN:	0738-100X
DOI:	10.1145/996566.996690