A Flip-Flop Matching Engine to Verify Sequential Optimizations
Keywords:
Equivalence checking, synthesis, matching, combinational equivalence checking, sequential optimizations, redundancy removal, don´t care conditionsAbstract
Equivalence checking tools often use a flip-flop matching step to avoid the state space traversal. Due to sequential optimizations performed during synthesis (merge, replication, redundancy removal, ...) and don't care conditions, the matching step can be very complex as well as incomplete. If the matching is incomplete, even the use of a fast and efficient SAT solver during the combinational equivalence-checking step may not prevent the failure of this approach. In this paper, we present a flip-flop matching engine, which is able to verify optimized circuits and handle don't care conditions.Downloads
Download data is not yet available.
Downloads
Published
2012-02-20
How to Cite
Rahim, S., Rouzeyre, B., & Torres, L. (2012). A Flip-Flop Matching Engine to Verify Sequential Optimizations. Computing and Informatics, 23(5-6), 437–460. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/439
Issue
Section
Articles