用于存储器抽象以及用于使用该存储器抽象进行字级网表简化及其验证的方法和设备

摘要

一种包括存储器的电路设计的计算机实现的表示通过以下步骤被抽象成较小的网表：使用表示存储器中的所选槽的替代节点取代存储器，将网表中包括一个或多个替代节点的字级节点分割成分段节点，为分段节点寻找减小的安全尺寸，使用分段节点的减小的安全尺寸生成表示电路设计的更新数据结构。这种系统的正确性可能需要对比电路设计中存在的更少数量的存储器条目进行推理并且使用具有更小位宽的节点。作为结果，大大降低了验证问题的计算复杂性。