Latch mapping algorithm for equivalence checking

Fei-jun ZHENG,Jun YANG,Hai-tong GE,Xiao-lang YAN
DOI: https://doi.org/10.3785/j.issn.1008-973X.2006.08.002
2006-01-01
Abstract:A novel latch mapping technique for equivalence checking was proposed to overcome the limit of low accuracy of previous mapping methods. The algorithm combined random simulation, local ordered binary decision diagrams (BDD) and target simulation to do latch mapping. It was a filter-like method, where random simulation was used to do quick mapping, and local BDD and target simulation were alternatively used to do further mapping. The efficiency of the proposed approach was shown through its application to the ISCAS89 benchmark circuits.
What problem does this paper attempt to address?