On Logic Comparison

1 January 1981

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 854-861
https://doi.org/10.1109/dac.1981.1585455

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
LOGIC DESIGN
INPUT VARIABLES
CIRCUITS
DESIGN AUTOMATION
DESIGN OPTIMIZATION

This publication has 3 references indexed in Scilit:

Universal classes of hash functions
Journal of Computer and System Sciences, 1979
The String-to-String Correction Problem
Journal of the ACM, 1974
The complexity of theorem-proving procedures
Published by Association for Computing Machinery (ACM) ,1971