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

说明书

提供在SV语言环境中调用C语言环境的集成电路验证/代码生成方法、系统、设备和介质。代码生成方法包括：在C语言中的生成存储被存储在哈希数组中的通用数据包的通用类；在C语言中生成对哈希数组的控制函数；在C语言中生成定义C语言仿真验证模型计算的回调队列，以便调用控制函数，通用类中还包括回调队列接口，被生成为自动运行用于集成电路验证的回调队列；在C语言中生成C语言DPI和在SV语言中生成SV语言DPI，使得两个DPI交换数据。验证包括：监听RTL的接口所对应的待验证数据；SV语言DPI将所监听的数据传送给C语言DPI，存入通用数据包；回调队列接口运行回调队列，以调用控制函数，并得到C语言计算的结果；SV语言DPI从C语言DPI接收结果。

技术领域

本申请涉及集成电路设计领域，且更具体地，涉及在用于集成电路验证的硬件描述语言的仿真验证环境中调用用于集成电路验证的行为建模语言的仿真验证环境的集成电路验证方法、系统、设备和可读介质、以及在用于集成电路验证的硬件描述语言的仿真验证环境中调用用于集成电路验证的行为建模语言的仿真验证环境的代码生成方法、系统、设备和可读介质。

背景技术

验证(verification)是现代数字集成电路设计流程中不可或缺且至关重要的一环，其目的是为了保证设计功能按照既定的设计而正确的实现。在设计阶段，设计工程师根据需求说明书细化为各个元件的特性列表，将其转化为设计规格说明书。验证工程师则根据特性列表，写出验证规格说明书。当设计说明书完成后，设计人员开始使用用于硬件设计的硬件描述语言、例如Verilog(或者VHDL，这里以Verilog为例)将特性列表转换成寄存器传输级(RTL)代码。验证人员则使用用于集成电路验证的硬件描述语言、例如SystemVerilog(简称SV)或用于集成电路验证的行为建模语言、例如C或C++语言搭建验证模型。

需要更快捷方便地完成集成电路验证的技术方案。

发明内容

根据本发明的一个方面，提供一种在用于集成电路验证的硬件描述语言的仿真验证环境中调用用于集成电路验证的行为建模语言的仿真验证环境的集成电路验证方法，其中，获得了在行为建模语言的仿真验证环境中的存储用于集成电路验证的通用数据包的通用类，其中该通用数据包被存储在哈希数组中；获得了在行为建模语言的仿真验证环境中的对所述哈希数组的多个控制函数；获得了在行为建模语言的仿真验证环境中的定义用于集成电路验证的行为建模语言仿真验证模型计算的回调队列，以便对所述哈希数组的多个控制函数中的至少一个控制函数进行调用，其中所述通用类中还包括回调队列接口，所述回调队列接口被生成为自动运行所述用于集成电路验证的回调队列；获得了在行为建模语言的仿真验证环境中的行为建模语言域公共直接编程接口DPI和在硬件描述语言的仿真验证环境中的硬件描述语言域公共DPI，其中硬件描述语言域公共DPI与所述行为建模语言域公共DPI相互交换数据；其中，所述集成电路验证方法包括：在集成电路验证过程中，监听寄存器传输级RTL的各个接口所对应的待验证数据；所述硬件描述语言域公共DPI将所监听的数据传送给所述行为建模语言域公共DPI，存入哈希数组中存储的所述通用数据包中；所述回调队列接口自动运行所述用于集成电路验证的回调队列，以调用对所述哈希数组的多个控制函数中的至少一个控制函数，并得到用于所述集成电路验证的行为建模语言仿真验证模型计算的结果；所述硬件描述语言域公共DPI从所述行为建模语言域公共DPI接收用于所述集成电路验证的行为建模语言仿真验证模型计算的结果。