用于存储器抽象和使用该存储器抽象来验证的方法和装置

摘要

本发明公开了一种将包括存储器的电路设计的计算机实现的表示抽象为更小的网表，其可用标准验证工具和操作网表的其它工具进行分析。这些系统的正确性需要推理比电路设计中存在的存储器条目的数量少得多的数量，并且通过将这些存储器抽象为小得多的数量的条目，大大减小了验证问题的计算复杂度。

主权项

一种用于对电路设计的计算机实现的表示进行处理的方法，包括：将机器可读介质中的所述电路设计表示为数据结构，所述数据结构将网表定义为多个节点；标识在所述数据结构中表示存储器的节点，并处理所述网表来产生已更新的网表，包括标识所述存储器中的一个槽或多个槽以便表示在所述已更新的网表中；用实现所标识的一个槽或多个槽的替代节点替换所述网表中表示所述存储器的节点；以及实现所述电路设计的验证条件，所述验证条件支持使用所述替代节点对所述电路设计的预先指定属性的检查。