The String-to-String Correction Problem
Journal of the ACM (JACM)
Computer Logic, Testing and Verification
Computer Logic, Testing and Verification
Universal classes of hash functions (Extended Abstract)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
A logic design structure for LSI testability
DAC '77 Proceedings of the 14th Design Automation Conference
Combinational and sequential equivalence checking
Logic Synthesis and Verification
Formal design verification of digital systems
DAC '83 Proceedings of the 20th Design Automation Conference
Logic synthesis through local transformations
IBM Journal of Research and Development
A BDD-based verification method for large synthesized circuits
Integration, the VLSI Journal
| Hi-index | 0.00 |
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.