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

摘要

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