DocumentCode
3142732
Title
On Logic Comparison
Author
Berman, Leonard
Author_Institution
IBM Thomas J. Watson Research Center, Yorktown Heights, NY
fYear
1981
fDate
29-1 June 1981
Firstpage
854
Lastpage
861
Abstract
This report deals with the problem of discovering the differences between two implementations of the same partially specified function. It describes a heuristic approach to the boolean equivalence problem which yields information important for understanding structural differences. It also contains a formalization for the notion of "structural difference" and presents an algorithm for approximating this difference.
Keywords
Boolean functions; Circuits; Design automation; Design optimization; Input variables; Logic design;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation, 1981. 18th Conference on
Type
conf
DOI
10.1109/DAC.1981.1585455
Filename
1585455
Link To Document