Boolean matching algorithms

The authors consider the problem of detecting the equivalence of two single-output Boolean functions, considering the permutation and complementation of their inputs, complementation of outputs, and associated don't-care sets, which is often referred to as the Boolean matching problem. Boolean...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	1993 International Symposium on VLSI Technology, Systems, and Applications Proceedings of Technical Papers S. 44 - 48
Hauptverfasser:	Chen, K.-C., Yang, J.C.-Y.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 1993
Schlagworte:	Algorithm design and analysis Boolean functions Libraries Logic design Smoothing methods Terminology Testing
ISBN:	0780309782, 9780780309784
ISSN:	1524-766X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!