[发明专利]一种存储器的仿真验证方法和装置

说明书

本发明公开了一种存储器的仿真验证方法和装置，仿真验证方法包括：获取存储器关键路径的仿真存储点，其中，所述关键路径为所述存储器与存取端口之间的最远路径；验证所述存储器的读写功能是否正确；若是，则提取所述仿真存储点的时序参数进行仿真验证，其中，所述时序参数由所述仿真存储点验证读写功能的过程中生成。本发明通过验证仿真存储点的读写功能正确后，再提取仿真存储点的时序参数进行仿真验证，保证了读写功能验证正确和时序参数的准确性，可以在特征化参数仿真的同时验证读写功能，应用于存储编译器设计中，可以大大减少仿真验证的工作量，有效提高了存储编译器的设计效率。

技术领域

本申请涉及存储器仿真验证的技术领域，尤其涉及一种存储器的仿真验证方法和装置。

背景技术

由于存储编译器(Memory compiler)所包含存储器的数量非常庞大，对于所有存储器均进行功能仿真，工作量巨大而不易实现，传统的方法设计初期只选取部分存储点进行功能仿真，造成验证不完备。而特征化时序仿真并没有对功能仿真等进行判定，这就导致部分存储点的功能失效或特征化结果未经充分验证，进而造成存储编译器特征化提取数据错误。

因此，如何保证存储器进行仿真验证时特征化数据提取正确，是现阶段亟待解决的技术问题。

发明内容

鉴于上述技术问题，本发明的一种存储器的仿真验证方法和装置，以保证存储器进行仿真验证时特征化数据提取正确。

本发明实施例提供了以下方案：

第一方面，本发明实施例提供了一种存储器的仿真验证方法，包括：

获取存储器关键路径的仿真存储点，其中，所述关键路径为所述存储器与存取端口之间的最远路径；

验证所述存储器的读写功能是否正确；

若是，则提取所述仿真存储点的时序参数进行仿真验证，其中，所述时序参数由所述仿真存储点验证读写功能的过程中生成。

在一种可选的实施例中，所述获取存储器关键路径的仿真存储点，包括：

获取所述存储器的容量信息；

根据所述容量信息，获得地址信息；

根据所述地址信息，获得所述仿真存储点。

在一种可选的实施例中，所述根据所述容量信息，获得地址信息，包括：

获取所述容量信息的字和数据复用值；

判断所述字是否为2的整次幂；

若是，则根据第一地址值和所述数据复用值，获得所述地址信息，其中，所述第一地址值为所述字的幂值；

若否，则根据第二地址值和所述数据复用值，获得所述地址信息，其中，所述第二地址值为所述字的幂值加1。

在一种可选的实施例中，所述验证所述存储器的读写功能是否正确，包括：

初始化所述仿真存储点和所述存取端口，获得初始化结果；

根据初始化结果，验证所述仿真存储点的读写功能。

在一种可选的实施例中，所述初始化所述仿真存储点和所述存取端口，包括：

获取验证向量，其中，所述验证向量包括0和1；

若所述验证向量为0，初始化所述存取端口输出为1，初始化所述仿真存储点的初始值为1；

若所述验证向量为1，初始化所述仿真存储点的初始值为0，初始化所述存取端口输出为0。

在一种可选的实施例中，所述储存器为单端口储存器，所述初始化所述存取端口输出为1，初始化所述仿真存储点的初始值为1，包括：