[发明专利]集成电路验证方法、代码生成方法、系统、设备和介质

权利要求书

1.一种在用于集成电路验证的硬件描述语言的仿真验证环境中调用用于集成电路验证的行为建模语言的仿真验证环境的集成电路验证方法，其中，

获得了在行为建模语言的仿真验证环境中的存储用于集成电路验证的通用数据包的通用类，其中该通用数据包被存储在哈希数组中；

获得了在行为建模语言的仿真验证环境中的对所述哈希数组的多个控制函数；

获得了在行为建模语言的仿真验证环境中的定义用于集成电路验证的行为建模语言仿真验证模型计算的回调队列，以便对所述哈希数组的多个控制函数中的至少一个控制函数进行调用，其中所述通用类中还包括回调队列接口，所述回调队列接口被生成为自动运行所述用于集成电路验证的回调队列；

获得了在行为建模语言的仿真验证环境中的行为建模语言域公共直接编程接口DPI和在硬件描述语言的仿真验证环境中的硬件描述语言域公共DPI，其中硬件描述语言域公共DPI与所述行为建模语言域公共DPI相互交换数据；

其中，所述集成电路验证方法包括：

在集成电路验证过程中，监听寄存器传输级RTL的各个接口所对应的待验证数据；

所述硬件描述语言域公共DPI将所监听的数据传送给所述行为建模语言域公共DPI，存入哈希数组中存储的所述通用数据包中；

所述回调队列接口自动运行所述用于集成电路验证的回调队列，以调用对所述哈希数组的多个控制函数中的至少一个控制函数，并得到用于所述集成电路验证的行为建模语言仿真验证模型计算的结果；

所述硬件描述语言域公共DPI从所述行为建模语言域公共DPI接收用于所述集成电路验证的行为建模语言仿真验证模型计算的结果。

2.根据权利要求1所述的方法，其中，

所述行为建模语言域公共DPI包括推入函数、推出函数，所述硬件描述语言域公共DPI包括设置函数和获得函数，

其中，所述硬件描述语言域公共DPI将所监听的数据传送给所述行为建模语言域公共DPI，存入哈希数组中存储的所述通用数据包中的步骤包括：所述行为建模语言域公共DPI的推入函数基于从所述硬件描述语言域公共DPI的设置函数的调用，将所述推入函数中接收的所监听的数据推入到哈希数组中存储的所述通用数据包中，

其中，所述回调队列接口自动运行所述用于集成电路验证的回调队列，以调用对所述哈希数组的多个控制函数中的至少一个控制函数，并得到用于所述集成电路验证的行为建模语言仿真验证模型计算的结果的步骤包括：所述回调队列接口自动运行所述用于集成电路验证的回调队列，以调用多个控制函数中的至少一个控制函数来对所推入的通用数据包进行控制，并得到用于所述集成电路验证的行为建模语言仿真验证模型计算的结果，

其中，所述行为建模语言域公共DPI的推出函数被生成为基于所述硬件描述语言域公共DPI的获得函数的调用，来推出所述用于所述集成电路验证的行为建模语言仿真验证模型计算的结果。

3.根据权利要求2所述的方法，其中所述通用数据包包括待验证数据，

所述哈希数组包括定义数据的键和值，所述定义数据的键表示数据的名称，而所述定义数据的值表示该数据的值，

所述通用类还包括定义通用数据包的键和值，所述定义通用数据包的键表示数据包的名称，所述定义通用数据包的值表示所述数据包的所述哈希数组，

所述行为建模语言域公共DPI的推入函数包括三个输入参数：输入数据包的名称、输入数据的名称和输入数据的值，所述推入函数将接收的所监听的输入数据的名称和输入数据的值推入到由输入数据包的名称作为键所指定的通用数据包中，并返回指向所述哈希数组中存储的所述通用数据包的指针，

其中，所述回调队列接口自动运行所述用于集成电路验证的回调队列，以调用对所述哈希数组的多个控制函数中的至少一个控制函数，并得到用于所述集成电路验证的行为建模语言仿真验证模型计算的结果的步骤包括：所述通用类中的回调队列接口接收所述指针，并调用多个控制函数中的至少一个控制函数来对所述指针所指向的通用数据包进行控制，并得到用于所述集成电路验证的行为建模语言仿真验证模型计算的结果，

所述行为建模语言域公共DPI的推出函数包括两个输入参数：输入数据包的名称、输入数据的名称，且返回针对所述输入数据包的名称、输入数据的名称的所述用于所述集成电路验证的行为建模语言仿真验证模型计算的结果。