[发明专利]一种提高嵌入式处理器功能验证效率的方法

权利要求书

1.一种提高嵌入式处理器功能验证效率的方法，其特征在于该方法通过仿真流程控制台和验证平台来完成，所述验证平台分为自测平台、模块级验证平台及系统级验证平台；所述仿真流程控制台负责建立自测平台、模块级验证平台和系统级验证平台，进行工作目录转换，启动仿真；验证平台负责生成随机激励，调用指令编译器对随机生成的指令进行编译，运行参考模型，比较仿真结果，具体步骤包括：

101、仿真流程控制台首先分析确定所需完成验证级别，并产生该验证级别所需要文件列表的位置；

102、仿真流程控制台产生进行验证所需参数，切换工作目录；

103、启动验证平台仿真，验证平台判断该验证级别，确认所需产生激励的类型，产生激励后进行仿真。

2.如权利要求1所述的提高嵌入式处理器功能验证效率的方法，其特征在于自测平台包括一个测试台、非指令激励发生器、单个模块的信号采集器、具有部分功能的参考模型及比对板；非指令激励发生器能对外设模块寄存器进行读写以及基本功能验证；该测试台实例化了非指令激励发生器、信号采集器、待测模块、参考模型及比对板；其中，非指令激励发生器在自测平台中产生的时序信号激励，直接从待测模块的接口输入；每个待测模块都有自身的信号采集器，信号采集器主要完成对待测模块接口信号的采集，判断是否为待测模块需要完成的操作，判断得到信息若为数据流操作或者波特率配置，给参考模型发出指示；参考模型模拟待测模块行为，对数据流、波特率进行运算，最终将结果传递给比对板内保存；比对板完成参考模型传递过来的理论值与待测模块实际输出值之间的比对，并给出相应比对结果。

3.如权利要求1所述的提高嵌入式处理器功能验证效率的方法，其特征在于自测平台向上集成到模块级验证平台时，首先，编写一个带约束的随机指令集生成器，该随机指令集生成器支持参数传递功能，可识别是否需要产生与待测模块相关的指令，便于模块级验证平台向上集成到系统级验证平台时，系统级验证平台对指令产生更容易控制；其次，编写待测模块的断言机制，对待测模块的控制信号时序的正确性进行监控；第三，编写一个测试台，该测试台实例化验证功能顶层、待测系统顶层和C++通讯协议，将待测模块实例化在待测系统顶层下，信号采集器、非指令激励发生器、比对板、参考模型实例化在验证功能顶层下为待测模块预留的类中，C++通讯协议基于SystemVerilog提供的DPI接口完成，便于随机指令生成完毕后，通过C++通讯协议调用指令编译器将随机指令编译成二进制文件，初始化到ROM；最后，通过仿真流程控制台产生文件列表和仿真所需参数，启动仿真，文件列表包含所有涉及到的文件。

4.如权利要求1所述的提高嵌入式处理器功能验证效率的方法，其特征在于模块级验证平台向上集成到系统级验证平台时，首先，根据实际场景，编写IO模型及其时序响应机制，用于对待测系统输出的响应；其次，在待测系统顶层中，实例化所有待测模块；第三，在测试台中实例化IO模型及其时序响应机制；最后，通过仿真流程控制台产生文件列表和仿真所需参数，启动仿真，文件列表包含所有涉及到的文件。

5.如权利要求4所述的提高嵌入式处理器功能验证效率的方法，其特征在于所述步骤103中，如产生为指令集激励，则需通过DPI接口将指令编译器调用命令传递给C++通讯协议，由C++通讯协议调用指令编译器将所产生指令集编译成二进制文件，随后将编译后的二进制文件初始化到ROM中，再开始仿真。

6.如权利要求4所述的提高嵌入式处理器功能验证效率的方法，其特征在于对于系统级验证平台，待所有模块级验证完成后进入系统级验证；重复步骤101，编写IO模型和IO输入时序激励发生器，实例化IO模型、IO输入时序激励发生器到测试台；将模块级验证文件列表所在路径添加系统级验证文件列表中，并且将经过模块级验证已实例化了内核、ROM、RAM、所有参考模型、待测模块、比对板、断言机制的测试台所在路径添加到系统级验证文件列表中；然后重复步骤102、103；最后，通过比对板及断言机制判断验证结果正确。