Improving the Accuracy of Rule-based Equivalence Checking of System-level Design Descriptions by Identifying

Abstract Rule-based equivalence checking of high-level design descriptions proves the equivalence of two high-level design descriptions by applying the equivalence rules in a bottomup manner. Since the previous work derives the equivalence of the internal variables based on their names, the method often fails to prove the equivalence when variable names are changed. This paper proposes a method for improving the accuracy of the rule-based equivalence checking by identifying potential internal equivalences using random simulation. Experimental results using an example design shows that the proposed method can prove the equivalence of the designs before and after a practical design optimization