CN105354121A - 一种用于验证多种读写方式存储模块的验证平台的搭建方法 - Google Patents

Abstract

本发明涉及IC设计验证领域，具体涉及一种用于验证多种读写方式存储模块的验证平台的搭建方法。本发明首先建立存储模块参数文档，然后使用verilog语言编写存储模块基本读写函数，比较函数，使用参数及IO口对各基本函数进行配置，形成适用于不同存储模块的通用测试函数库；之后，编写验证平台生成脚本，使用该脚本通过读取存储模块参数文档，调用通用测试函数库，可以生成适用于不同读写模式存储模块的测试向量；最后，使用测试向量对被测存储模块进行读写功能测试。本发明适用于验证各种存取周期、数据宽度、大小的存储模块，可以迅速完成对当前设计中各存储模块的精确且完备的功能测试，验证平台通用性、自动化程度很高，在提高验证效率的同时减少人为错误，大大缩短芯片开发周期。

Description

一种用于验证多种读写方式存储模块的验证平台的搭建方法

技术领域

本发明专利涉及IC设计验证领域，具体涉及一种用于验证多种读写方式存储模块的验证平台的搭建方法。

背景技术

目前，电子信息技术产业发展迅速，对于专用芯片的性能要求越来越高，为了满足不同的设计需求，芯片中有许多不同读写模式的存储模块，一方面，这些模块具有不同的数据宽度，大小，读写周期，读写方式等；另一方面，在存储模块外围，有许多复杂的控制逻辑和数据处理逻辑。

为了测试这些不同的存储模块，传统方法是通过统一的验证平台，设计特别的测试向量进行测试。这种方法的缺点是，需要手动设计数量巨大的测试向量，大大提高了验证工作的工作量，同时很容易引入人工错误；另外，通过统一的验证平台运行测试向量进行测试实际上是同时测试该存储模块及其外围复杂的控制逻辑和数据处理逻辑，不容易定位错误源头，测试周期长等。

因此，在功能验证中存储模块的验证工作占据了相当大的工作量。

发明内容

为了解决现有技术的问题，本发明提供了一种用于验证多种读写方式存储模块的验证平台的搭建方法，其通过使用脚本语言，基于存储模块参数文档，完成对不同设计中不同读写模式的存储模块的独立测试向量生成、独立测试环境搭建等的高度自动化的通用存储模块测试平台的设计和搭建。

本发明所采用的技术方案如下：

一种用于验证多种读写方式存储模块的验证平台的搭建方法，包括以下步骤：

A、根据存储模块参数文档模板，建立当前存储模块的参数文档；

B、编写存储模块基本读写函数、比较函数、结果统计打印函数，使用参数及IO口对各基本函数进行配置，形成适用于不同存储模块的通用测试函数库；

C、编写验证平台生成脚本，使用该脚本通过读取存储模块参数文档，调用通用测试函数库，可以生成适用于不同读写模式存储模块的测试向量；

D、使用测试向量对被测存储模块进行读写功能测试，至此，完成存储模块测试向量的生成，开始使用该测试向量对对应存储模块进行测试。

步骤A中的参数文件包括数据宽度、深度、读写模式。

步骤B中，使用verilog语言编写函数库，函数库的基本读写函数和比较函数的地址总线宽度、数据总线宽度、读写延时等配置信息可以通过硬件描述语言的模块参数特性在测试向量中进行配置，读写数据、地址等可通过函数库的IO口进行传递，测试结果通过比较函数完成自动化比对，并将比较结果以文本形式打印输出成log文档，在测试向量运行最后调用结果统计打印函数，完成测试结果总结，并讲结果打印输出到log文档。

步骤C中，生成脚本的基本工作流程包括：

C1、读取前面编写的当前需要的存储模块的存储模块参数文档，将读入存储模块参数按所使用脚本语言分别存入相应的数据结构；

C2、根据数据结构中保存的存储模块的模块参数，在测试向量中打印功能代码，实现通过实例化的函数库的参数将以上参数配置给基本读写函数、比较函数、结果统计打印函数；

C3、根据数据结构中保存的存储模块的读写方式等存取模式信息，调用相应的基本读写函数，生成符合读写方式的测试函数序列，将函数命令打印输出到测试向量文件中，完成测试向量的测试功能代码，最后打印输出结果统计打印函数到测试向量文件中，完成测试向量生成；

C4、重复以上步骤，将当前需要测试的存储模块分别生成对应的测试向量。

本发明通过使用自动化脚本，根据被测设计中存储模块参数文档，自动化生成对应不同数据宽度，深度，读写模式的存储模块的测试向量，设计需要修改存储模块时或多个不同设计需要搭建功能验证平台时，只需要完成它们的存储模块参数文档，即可使用本方法实现的通用平台完成对应的存储模块测试向量的生成，而无需像传统方法，在统一的验证平台中人工设计多个不同的测试向量，大幅提高了功能验证的效率，降低人为错误，缩短项目周期。

本发明的有益效果是：

本发明提出了一种新颖而实用的用于验证多种读写方式存储模块的验证平台的设计及搭建方法，通过使用脚本语言，实现了通过文本文档完成用于多种读写模式存取模块测试向量的生成，快速而高效的完成对设计中各个存储模块的功能验证。该方法实施方便，流程简单，高效稳定，可以大幅缩短功能验证过程中对各存储模块的验证时间。搭建的存储模块验证平台具有高度的自动化、通用和可重用特点，可以大幅提高功能验证效率。

具体实施方式

为使本发明的目的、技术方案和优点更加清楚，下面将结合实施方式作进一步地详细描述。

实施例一

本实施例的一种用于验证多种读写方式存储模块的验证平台的搭建方法，包括以下步骤：

A、根据存储模块参数文档模板，建立当前存储模块的参数文档；存储模块参数文档的主要内容包括：根据芯片内部所有存储模块的数据位宽、名字、操作（可读、可写、只读、读后清零等）、地址、数据含义、初始值等参数，将各存储模块分别编写各自的存储模块参数文档。

B、编写存储模块基本读写函数、比较函数、结果统计打印函数，使用参数及IO口对各基本函数进行配置，形成适用于不同存储模块的通用测试函数库；使用verilog语言编写函数库，函数库的基本读写函数和比较函数的地址总线宽度、数据总线宽度、读写延时等配置信息可以通过硬件描述语言的模块参数特性在测试向量中进行配置，读写数据、地址等可通过函数库的IO口进行传递，测试结果通过比较函数完成自动化比对，并将比较结果以文本形式打印输出成log文档，在测试向量运行最后调用结果统计打印函数，完成测试结果总结，并讲结果打印输出到log文档。

本步骤中，编写基本读写函数、比较函数和结果统计打印函数，形成函数库，为不同存储模块封装测试函数。

C、编写验证平台生成脚本，使用该脚本通过读取存储模块参数文档，调用通用测试函数库，可以生成适用于不同读写模式存储模块的测试向量；

编写存储模块测试向量生成脚本，该脚本可以使用Perl等多种脚本语言实现。脚本通过读取存储模块参数文档配置函数库，根据参数文档中读写模式信息调用函数库中的测试函数完成测试命令代码，将代码打印输出给测试向量testcase.v。至此，用于验证多种读写方式存储模块的验证平台完成搭建。

生成脚本的基本工作流程具体包括：

C1、读取前面编写的当前需要的存储模块的存储模块参数文档，将读入存储模块参数按所使用脚本语言分别存入相应的数据结构；

C2、根据数据结构中保存的存储模块的模块参数，在测试向量中打印功能代码，实现通过实例化的函数库的参数将以上参数配置给基本读写函数、比较函数、结果统计打印函数；

C3、根据数据结构中保存的存储模块的读写方式等存取模式信息，调用相应的基本读写函数，生成符合读写方式的测试函数序列，将函数命令打印输出到测试向量文件中，完成测试向量的测试功能代码，最后打印输出结果统计打印函数到测试向量文件中，完成测试向量生成；

C4、重复以上步骤，将当前需要测试的存储模块分别生成对应的测试向量。

D、使用测试向量对存储模块进行功能验证。保证存储模块的数据宽度，大小，读写模式等和设计规范要求一致。

E、统计验证log文档，完成存储模块功能验证。

以上所述仅为本发明的较佳实施例，并不用以限制本发明，凡在本发明的精神和原则之内，所作的任何修改、等同替换、改进等，均应包含在本发明的保护范围之内。

Claims (4)

1.一种用于验证多种读写方式存储模块的验证平台的搭建方法，包括以下步骤：

A、根据存储模块参数文档模板，建立当前存储模块的参数文档；

B、编写存储模块基本读写函数、比较函数、结果统计打印函数，使用参数及IO口对各基本函数进行配置，形成适用于不同存储模块的通用测试函数库；

C、编写验证平台生成脚本，使用该脚本通过读取存储模块参数文档，调用通用测试函数库，可以生成适用于不同读写模式存储模块的测试向量；

D、使用测试向量对被测存储模块进行读写功能测试，至此，完成存储模块测试向量的生成，开始使用该测试向量对对应存储模块进行测试。

2.根据权利要求1所述的一种用于验证多种读写方式存储模块的验证平台的搭建方法，其特征在于，所述步骤A中的参数文件包括数据宽度、深度、读写模式。

3.根据权利要求1所述的一种用于验证多种读写方式存储模块的验证平台的搭建方法，其特征在于，所述步骤B中，使用verilog语言编写函数库，函数库的基本读写函数和比较函数的地址总线宽度、数据总线宽度、读写延时等配置信息可以通过硬件描述语言的模块参数特性在测试向量中进行配置，读写数据、地址等可通过函数库的IO口进行传递，测试结果通过比较函数完成自动化比对，并将比较结果以文本形式打印输出成log文档，在测试向量运行最后调用结果统计打印函数，完成测试结果总结，并讲结果打印输出到log文档。

4.根据权利要求1所述的一种用于验证多种读写方式存储模块的验证平台的搭建方法，其特征在于，所述步骤C中，生成脚本的基本工作流程包括：

C1、读取前面编写的当前需要的存储模块的存储模块参数文档，将读入存储模块参数按所使用脚本语言分别存入相应的数据结构；

C2、根据数据结构中保存的存储模块的模块参数，在测试向量中打印功能代码，实现通过实例化的函数库的参数将以上参数配置给基本读写函数、比较函数、结果统计打印函数；

C3、根据数据结构中保存的存储模块的读写方式等存取模式信息，调用相应的基本读写函数，生成符合读写方式的测试函数序列，将函数命令打印输出到测试向量文件中，完成测试向量的测试功能代码，最后打印输出结果统计打印函数到测试向量文件中，完成测试向量生成；

C4、重复以上步骤，将当前需要测试的存储模块分别生成对应的测试向量。