中文摘要：

为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方法相结合,提高了存储元素匹配的准确性和完备性.针对一款RSICCPU设计完成了两组等价性验证实验,结果表明此方法具有很强的实用性.

英文摘要：

As the integrated circuit size continues to increase,the traditional sequential equivalence checking based on state traversal potentially meets with the state explosion.In order to improve the efficiency and the scalability of equivalence checking technology,a sequential equivalence checking methodology based on storage element mapping is presented.The proposed method combines the functional and non-functional algorithms to produce the final storage element mapping,which improves the correctness and completeness of mapping and the efficiency of equivalence checking.The experimental results on a RISC CPU design show the feasibility of the proposed method.