通用CPU设计验证中的等价性检验方法

作者：李光辉; 邵明; 李晓维形式验证模拟等价性检验比较点匹配

摘要：针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性,提出了目前应用最广泛的一种形式验证方法--等价性检验在一款通用CPU设计验证中的应用方案,包括寄存器传输级(RTL)设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功能等价性验证.此外,给出了验证过程中一些常见问题的解决办法.验证结果表明了该方法的可行性,显著地减少了门级模拟的时间.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社