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...

Full description

Bibliographic Details

Published in:	1993 International Symposium on VLSI Technology, Systems, and Applications Proceedings of Technical Papers pp. 44 - 48
Main Authors:	Chen, K.-C., Yang, J.C.-Y.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 1993
Subjects:	Algorithm design and analysis Boolean functions Libraries Logic design Smoothing methods Terminology Testing
ISBN:	0780309782, 9780780309784
ISSN:	1524-766X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!