一种可重用的参考模型结构及其建模方法与函数库

摘要

本发明提出了一种可重用的参考模型结构及其建模方法与函数库。该参考模型结构中，包含一种特殊的状态机核，可以从被验证设计的不同功能角度描述其内部状态，具有容错性和容非完整性，由抽象事件驱动，可以重用早期检验设计功能理解正确性时的分析数据。将参考模型分为不同且固定的耗时过程和非耗时过程，形式了统一的架构，提前将内部的协调工作写成函数库，使用时只需要通过用户自定义部分具体设计特有的属性，完成替换、回调、配置工作，就可以产生对应功能的参考模型，并且重用早期对状态和场景的分析。

主权项

一种可重用的参考模型结构，其特征在于，所述参考模型包括：1)时钟虚接口，复位虚接口。2)输入输出时，用于连接事务级数据包通道(或者验证环境中其他验证组件中的其他具有相同事务级数据包类型的端口)的事务级数据包端口，与所述事务级数据包端口匹配的缓冲区，以及从输入端口到缓冲区的写入函数和从缓冲区到输出端口的读出函数。端口属性可以分为阻塞和非阻塞，相同属性才可以连接。3)参考模型引擎。主要包括功能核和状态机核两部分，以及进出两个核的调度任务。4)预判模块。根据各端口发来的事务级数据包信息，结合参考模型引擎中内部变量类中变量的情况，对现场工作场景进行分析，得到综合的输入事务信息标签，将该标签和各事务级数据包打包成综合的输入事务级数据包，并调用参考模型引擎的输入综合事务级数据包的任务将该数据包输入参考模型引擎。5)直接时钟控制模块。在参考模型中不放入事务级数据包进行统一处理的，而直接由输入时钟信号(或/和参考模型内部条件)控制的参考模型内部逻辑行为构成的模块。6)分配模块。将参考模型引擎产生的综合的输出事务级数据包中的各事务级数据包，按照各输出端口的类型需要，分别分发给各端口的缓冲区。7)替换模块：将参考模型引擎中定义的统一的数据结构进行注册，在实际具体实例的应用中替换成具体实例特有的数据结构类型。8)回调模块：在参考模型引擎中需要插入具体实例特有功能的位置设置站位函数、任务或进程。在实际具体实例的应用中回调具体实例特有的功能函数、任务或进程。9)配置模块：对参考模型引擎内的延时单位、各延时操作过程的具体延时数值、接口、端口、启动模式、阻塞和非阻塞性、缓冲区大小等内容的配置。