A Flip-Flop Matching Engine to Verify Sequential Optimizations

Authors

  • Solaiman Rahim
  • Bruno Rouzeyre
  • Lionel Torres

Keywords:

Equivalence checking, synthesis, matching, combinational equivalence checking, sequential optimizations, redundancy removal, don´t care conditions

Abstract

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