Design Partitioning for Large Scale Equivalence Checking and Functional Correction
Journal
Design Automation Conference (DAC)
Pages
23:1-23:6
Date Issued
2016-06
Author(s)
Abstract
Equivalence checking and functional correction are important steps ensuring design correctness. Direct verification of large industrial designs is challenging and often requires a divide-and-conquer approach. The 2015 CAD Contest at ICCAD poses the challenge of large-scale equivalence checking and functional correction. This paper reports our work in the competition. An algorithm to identify cut-points in both equivalent and inequivalent circuit pairs is proposed for design partitioning. To obtain high quality cuts, we take into consideration their proximity information in cone sizes and circuit depths. Experiments on the contest benchmarks show our method achieves top quality results among all contestants.
SDGs
Type
conference paper