电路的划分方法、等价性验证方法、存储介质技术

本发明专利技术公开了一种电路的划分方法、等价性验证方法、存储介质。其中电路的划分方法，包括：先对参考电路与实现电路的组合逻辑进行等价性验证，得到匹配失败的寄存器和/或组合逻辑等价性验证不通过的寄存器；将得到的匹配失败的寄存器和/或组合逻辑等价性验证不通过的寄存器作为分割可能节点，查找各分割可能节点的所有锥顶；当任意两个分割可能节点具有相同的锥顶，则划分为一组；以组为单位对所述参考电路及其对应的实现电路进行划分，将一组内的寄存器以及对应的组合电路划分为局部电路。本发明专利技术可以简化大规模网表电路等价性验证的复杂度，使得大规模网表电路等价性验证的效率提升。升。升。

【技术实现步骤摘要】
电路的划分方法、等价性验证方法、存储介质


[0001]本专利技术涉及时序电路的等价性验证的
，尤其涉及一种电路的划分方法，即识别并分割局部时序等价电路的方法。

技术介绍

[0002]等价性验证是形式化验证的一种，是指从数学上完备地证明或验证电路的实现方案是否实现了电路设计所描述的功能。等价性验证多用于底层电路之间的功能一致性验证，例如综合前后RTL级与门级网表之间的验证等。随着集成电路规模的快速增长使得验证的难度越来越大，传统的模拟和仿真的方法暴露出耗时长，验证覆盖率低等缺点。相比于传统方法，等价性验证采用的数学上的方法，将实现电路和参考电路直接进行比较，不需要开发测试向量，可以大量缩短验证时间，且验证覆盖率可达到100％。
[0003]传统的组合电路功能等价性验证是通过构造两个电路的规范表示形式，如真值表或二叉判定图bdds，当且仅当它们的规范形式同构时，这两个电路功能等价。为了验证两个时序电路的等价性，通常需要把它们当成有限状态机，并构造这两者的积自动机。brand将这种计算模型称为miter。它是通过把两个状态机相应的每—对本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种电路的划分方法，其特征在于，包括：先对参考电路与实现电路的组合逻辑进行等价性验证，得到匹配失败的寄存器和/或组合逻辑等价性验证不通过的寄存器；将得到的匹配失败的寄存器和/或组合逻辑等价性验证不通过的寄存器作为分割可能节点，查找各分割可能节点的所有锥顶；当任意两个分割可能节点具有相同的锥顶，则划分为一组；以组为单位对所述参考电路及其对应的实现电路进行划分，将一组内的寄存器以及对应的组合电路划分为局部电路。2.如权利要求1所述的电路的划分方法，其特征在于，所述实现电路是时序优化后的电路。3.如权利要求1所述的电路的划分方法，其特征在于，所述锥顶为负载方向下寄存器的D端，和/或顶层模块的主输出。4.如权利要求1所述的电路的划分方法，其特征在于，任意一组的锥顶为该组内所有分割可能节点的锥顶的并集。5.如权利要求1所述的电路的划分方法，其特征在于，所述查找各分割可能节点...

【专利技术属性】
技术研发人员：梁豪杰，苏宇，白耿，
申请(专利权)人：深圳国微芯科技有限公司，
类型：发明
国别省市：