A practical and efficient method for compare-point matching
D. F. Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion · Proceedings - ACM IEEE Design Automation Conference · 2002
An important step in using combinational equivalence checkers to verify sequential designs is identifying and matching corresponding compare-points in the two sequential designs to be verified. Both non-function and function-based matching methods are usually employed in commercial verification tools. In this paper, we describe a heuristic algorithm using ATPG for matching comparepoints based on the functionality of the combinational blocks in the sequential designs. Results on industrial-sized circuits show our methods are both practical and efficient.