论文部分内容阅读
为了提高等价性验证在数字电路中的验证效率，提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成若干个逻辑锥，利用匹配技术对两者的逻辑锥进行匹配，将已匹配的两个逻辑锥的输出用一个异或门连接，从而得到Miter电路，将该结构转换成相应的合取范式，用可满足性引擎来验证Miter电路是否功能等价。在ISCAS’85基准电路的实验结果表明该方法的可行性。