A novel latch mapping technique for equivalence checking was proposed to overcome the limit of low accuracy of previous mapping methods.
为了克服现有等价性验证技术中难以精确匹配锁存器的局限性，提出了一种结合多种方法的新型锁存器匹配算法。
A novel latch mapping technique for equivalence checking was proposed to overcome the limit of low accuracy of previous mapping methods.
为了克服现有等价性验证技术中难以精确匹配锁存器的局限性，提出了一种结合多种方法的新型锁存器匹配算法。
应用推荐