[发明专利]一种逻辑存储单元自动验证的方法及装置

权利要求书

1.一种逻辑存储单元自动验证的方法，其特征在于，包括：

将一个逻辑芯片中所有逻辑存储单元的相关信息填入通用格式的逻辑存储单元模型文档；

根据所述逻辑存储单元模型文档生成逻辑存储单元对应的RTL级代码；

基于所述逻辑存储单元模型文档验证逻辑存储单元对应的RTL级代码；

所述基于所述逻辑存储单元模型文档验证逻辑存储单元对应的RTL级代码，具体包括：

从所述逻辑存储单元模型文档中读取所有逻辑存储单元的相关信息，为每个逻辑存储单元建立参考模型；

通过将所述参考模型的预期结果与所述RTL级代码仿真的结果进行比较，对逻辑存储单元读写操作进行验证。

2.根据权利要求1所述的方法，其特征在于，

对于逻辑芯片中的寄存器，所述逻辑存储单元相关信息包括：寄存器的属性；

对于逻辑芯片中的存储器，所述逻辑存储单元相关信息包括：存储器的属性；

所述通用格式的模型文档为通用表格文件或者通用文本文件。

3.根据权利要求2所述的方法，其特征在于，所述根据所述逻辑存储单元模型文档生成逻辑存储单元对应的RTL级代码，具体包括：

对于逻辑芯片中的寄存器，生成寄存器的RTL级代码的过程如下：

将所述逻辑存储单元模型文档转换成逻辑仿真工具可识别的格式；

从转换后的模型文档中读取寄存器的属性，通过逻辑仿真工具生成寄存器的RTL级代码；

对于逻辑芯片中的存储器，生成存储器的RTL级代码的过程如下：

从所述逻辑存储单元模型文档中直接读取存储器的属性，输入到逻辑芯片自带的IP核生成工具中，生成存储器的RTL级代码。

4.根据权利要求1所述的方法，其特征在于，对于逻辑芯片中的寄存器，所述基于所述逻辑存储单元模型文档验证逻辑存储单元对应的RTL级代码，还包括：

通过将所述逻辑存储单元模型文档中逻辑存储单元的属性与逻辑存储单元的RTL级代码仿真的结果进行比较，对逻辑存储单元的复位初值进行验证。

5.一种逻辑存储单元自动验证的装置，其特征在于，包括：

模型文档建立模块，用于将一个逻辑芯片中所有逻辑存储单元的相关信息填入通用格式的逻辑存储单元模型文档；

RTL代码生成模块，用于根据所述逻辑存储单元模型文档生成逻辑存储单元对应的RTL级代码；

逻辑存储单元验证模块，用于基于所述逻辑存储单元模型文档验证逻辑存储单元对应的RTL级代码；

所述逻辑存储单元验证模块，具体包括：

参考模型生成子模块，用于从所述逻辑存储单元模型文档中读取所有逻辑存储单元的相关信息，为每个逻辑存储单元建立参考模型；

读写操作验证子模块，用于通过将所述参考模型的预期结果与逻辑存储单元的RTL级代码仿真的结果进行比较，对逻辑存储单元的读写操作进行验证。

6.根据权利要求5所述的装置，其特征在于，对于逻辑芯片中的寄存器，所述逻辑存储单元相关信息包括：寄存器的属性；

对于逻辑芯片中的存储器，所述逻辑存储单元相关信息包括：存储器的属性；

所述通用格式的模型文档为通用表格文件或者通用文本文件。

7.根据权利要求6所述的装置，其特征在于，所述RTL代码生成模块，具体包括：

针对逻辑芯片中寄存器的，

格式转换子模块，用于将所述逻辑存储单元模型文档转换成逻辑仿真工具可识别的格式；

逻辑仿真工具子模块，从转换后的模型文档中读取寄存器的属性，通过逻辑仿真工具生成寄存器的RTL级代码；以及，

针对逻辑芯片中存储器的，

读取模块，用于从所述逻辑存储单元模型文档中直接读取存储器的属性，输入到逻辑芯片自带的IP核生成工具中；

IP核生成工具，用于根据存储器的属性生成存储器的RTL级代码。

8.根据权利要求5所述的装置，其特征在于，对于逻辑芯片中的寄存器，所述逻辑存储单元验证模块还包括：

初值验证子模块，用于通过将所述逻辑存储单元模型文档中逻辑存储单元的属性与逻辑存储单元的RTL级代码仿真的结果进行比较，对逻辑存储单元的复位初值进行验证。