CN115345102A - 一种用于硬件加速的通用芯片验证装置 - Google Patents
一种用于硬件加速的通用芯片验证装置 Download PDFInfo
- Publication number
- CN115345102A CN115345102A CN202211056952.6A CN202211056952A CN115345102A CN 115345102 A CN115345102 A CN 115345102A CN 202211056952 A CN202211056952 A CN 202211056952A CN 115345102 A CN115345102 A CN 115345102A
- Authority
- CN
- China
- Prior art keywords
- bus protocol
- data vector
- standard bus
- component
- module
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
- G06F30/331—Design verification, e.g. functional simulation or model checking using simulation with hardware acceleration, e.g. by using field programmable gate array [FPGA] or emulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/39—Circuit design at the physical level
- G06F30/398—Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
- Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Tests Of Electronic Circuits (AREA)
Abstract
本发明涉及一种用于硬件加速的通用芯片验证装置,应用于芯片验证的硬件加速过程,包括第一验证IP和第二验证IP,第一验证IP包括系统序列发生器、配置模块、第一序列发生器、第二序列发生器、第一序列驱动模块、第二序列驱动模块、M个第一标准总线协议模块{IF1,IF2,…IFM}和第一非标准总线协议模块;第二验证IP包括M个第二标准协议模块{IE1,IE2,…IFM}和第二非标准协议模块,第一验证IP不可综合;第二验证IP可综合。本发明提高了芯片验证的效率和准确性。
Description
技术领域
本发明涉及芯片验证技术领域,尤其涉及一种用于硬件加速的通用芯片验证装置。
背景技术
在芯片验证过程中,通常需要设置验证IP(Verification IntellectualProperty,简称VIP)来代替与待测设计(Design Under Test,简称DUT)相连的模块,通过验证IP与DUT进行交互,来对DUT进行验证。待测设计可以通过多种不同的协议与模块互联,每一种协议均对应一种类型的验证IP。待测设计与模块互联可以通过标准总线协议互联,标准总线协议包括AMBA(Arm Microcontroller Bus Architecure)、PCI-Express(peripheral component interconnect express)等总线协议。还可以通过多种自定义的非标准总线协议互联。现有技术中存在标准总线协议对应的验证IP,但非标准总线协议对应的验证IP需要针对每一种非标准总线协议逐一设计,随着芯片设计规模越来越大,涉及到的非标准总线协议总线也越来越多,如果为每一非标准总线协议逐个设置一种验证IP,验证工作量巨大,验证效率低。此外,每一标准总线协议和非标准总线协议的总线均分别设置对应的验证IP,设计复杂,且一旦出现设计更改,也需要逐一更改对应的验证IP,工作量大,且易出错,导致验证效率低,准确性也无法保证。
发明内容
本发明目的在于,提供一种用于硬件加速的通用芯片验证装置,提高了芯片验证的效率和准确性。
本发明提供一种用于硬件加速的通用芯片验证装置,应用于芯片验证的硬件加速过程,包括第一验证IP和第二验证IP,所述第一验证IP包括系统序列发生器、配置模块、第一序列发生器、第二序列发生器、第一序列驱动模块、第二序列驱动模块、M个第一标准总线协议模块{IF1,IF2,…IFM}和第一非标准总线协议模块;所述第二验证IP包括M个第二标准总线协议模块{IE1,IE2,…IFM}和第二非标准总线协议模块,其中,所述第一验证IP不可综合;所述第二验证IP可综合;IFm为第m个第一标准总线协议模块、IEm为第m个第二标准总线协议模块;IFm和IEm之间、第一非标准总线协议模块和第二标准总线协议模块之间均通过转换接口连接,所述装置通过M个第二标准总线协议模块和非标准总线协议模块中的其中一个接口与待测设计连接。
所述配置模块用于配置激励序列项和协议的映射关系。
所述系统序列发生器用于获取激励序列项并通过所述配置模块确定所述激励序列项所对应的协议,若为标准总线协议,则将所述激励序列项发送给所述第一序列发生器,若为非标准总线协议,则将所述激励序列项发送给所述第二序列发生器。
所述第一序列发生器用于将标准总线协议激励序列项发送给第一序列驱动模块。
所述第二序列发生器用于将非标准总线协议激励序列项发送给第二序列驱动模块。
所述第一序列驱动模块用于缓存标准总线协议激励序列项,并按照标准总线协议激励序列项所对应的协议,将标准总线协议激励序列项分发给对应的第一标准总线协议模块。
所述第二序列驱动模块用于缓存非标准总线协议激励序列项,并将非标准总线协议激励序列项拼接成向量,发送给第一非标准总线协议模块,所述向量为变长向量,向量长度与对应的非标准总线协议相关。
所述第一标准总线协议模块用于通过对应的转换接口将标准总线协议激励序列项转换为标准总线协议结构体,发送给第二标准总线协议模块。
所述第二标准总线协议模块用于将标准总线协议结构体发送给所述待测设计。
所述第一非标准总线协议模块用于通过对应的转换接口将非标准总线协议的激励序列项转换为非标准总线协议结构体,发送给第二非标准总线协议模块。
所述第二非标准总线协议模块用于将非标准总线协议结构体发送给所述待测设计。
本发明与现有技术相比具有明显的优点和有益效果。借由上述技术方案,本发明提供的一种用于硬件加速的通用芯片验证装置可达到相当的技术进步性及实用性,并具有产业上的广泛利用价值,其至少具有下列优点:
本发明通过设置通用的芯片验证装置,支持所有标准总线协议和非标准总线协议,在芯片验证过程中直接基于总线接口对应的协议实例化验证IP,且能对验证过程进行仿真加速,提高了芯片验证的效率和准确性。
上述说明仅是本发明技术方案的概述,为了能够更清楚了解本发明的技术手段,而可依照说明书的内容予以实施,并且为了让本发明的上述和其他目的、特征和优点能够更明显易懂,以下特举较佳实施例,并配合附图,详细说明如下。
附图说明
图1为本发明一实施例提供的用于硬件加速的通用芯片验证装置的第一验证IP和第二验证IP示意图;
图2为本发明另一实施例提供的用于硬件加速的通用芯片验证装置的第一验证IP和第二验证IP示意图。
具体实施方式
为更进一步阐述本发明为达成预定发明目的所采取的技术手段及功效,以下结合附图及较佳实施例,对依据本发明提出的一种用于硬件加速的通用芯片验证装置的具体实施方式及其功效,详细说明如后。
本发明实施例提供了一种用于硬件加速的通用芯片验证装置,应用于芯片验证的硬件加速(Hardware Emulation)过程,如图1所示,包括第一验证IP(Verification IP)和第二验证IP,所述第一验证IP包括系统序列发生器、配置模块、第一序列发生器、第二序列发生器、第一序列驱动模块、第二序列驱动模块、M个第一标准总线协议模块{IF1,IF2,…IFM}和第一非标准总线协议模块;所述第二验证IP包括M个第二标准总线协议模块{IE1,IE2,…IFM}和第二非标准总线协议模块。其中,所述第一验证IP不可综合;所述第二验证IP可综合(Synthesis);IFm为第m个第一标准总线协议模块、IEm为第m个第二标准总线协议模块,m的取值范围为1到M;IFm和IEm之间、第一非标准总线协议模块和第二标准总线协议模块之间均通过转换接口连接。需要说明的是,第一验证IP中的数据为事务数据(Transaction),是不可以综合的,通过转换接口,可以将第一验证IP的事务数据转换为结构体(Struct),再传输给第二验证IP,结构体是可以综合的。转换接口也可以将第二验证IP的结构体数据转换为事务数据,再传输给第一验证IP,实现第一验证IP和第二验证IP之间的高效通信,实现对第一验证IP的仿真加速。
所述装置通过M个第二标准总线协议模块和非标准总线协议模块中的其中一个接口与待测设计连接。需要说明的是,所述装置支持标准总线协议和非标准总线协议,实际实例化验证IP时仅针对实例对应的一种协议进行实例化。所述标准总线协议包括AXI总线协议、AHB总线协议、APB总线协议,PCIE总线协议、HBM总线协议、SATA总线协议和USB总线协议。非标准总线协议根据具体应用需求设置,在此不再赘述。
所述配置模块用于配置激励序列项和协议的映射关系;配置模块基于激励序列项能够确定对应的协议。还用于支持所述装置所有功能的灵活配置。
所述系统序列发生器用于获取激励序列项(Sequence Item)并通过所述配置模块确定所述激励序列项所对应的协议,若为标准总线协议,则将所述激励序列项发送给所述第一序列发生器,若为非标准总线协议,则将所述激励序列项发送给所述第二序列发生器。需要说明的是,本发明实施例所述协议均为总线协议,基于第二验证IP与待测设计之间的总线协议和互联关系,生成对应的激励序列(Sequence),所述系统序列发生器从所述对应的激励序列中获取对应的激励序列项。激励序列项为事务数据(Transaction),每一激励序列项对应一组事务数据的域(Transaction Field),对应一组总线接口信号。
所述第一序列发生器用于将标准总线协议激励序列项发送给第一序列驱动模块;所述第二序列发生器用于将非标准总线协议激励序列项发送给第二序列驱动模块。所述第一序列驱动模块用于缓存标准总线协议激励序列项,并按照标准总线协议激励序列项所对应的协议,将标准总线协议激励序列项分发给对应的第一标准总线协议模块;所述第二序列驱动模块用于缓存非标准总线协议激励序列项,并将非标准总线协议激励序列项拼接成向量,发送给第一非标准总线协议模块,所述向量为变长向量,向量长度与对应的非标准总线协议相关;具体可以在第一序列驱动模块和第二序列驱动模块设置先进先出队列(FirstInput First Output,简称FIFO),从而可以实现处理连续的时序。
所述第一标准总线协议模块用于通过对应的转换接口将标准总线协议激励序列项转换为标准总线协议结构体,发送给第二标准总线协议模块;所述第二标准总线协议模块用于将标准总线协议结构体发送给所述待测设计。
所述第一非标准总线协议模块用于通过对应的转换接口将非标准总线协议的激励序列项转换为非标准总线协议结构体,发送给第二非标准总线协议模块;所述第二非标准总线协议模块用于将非标准总线协议结构体发送给所述待测设计。
如图2所示示例,IFm包括第m个第一标准总线协议组件Um,Um用于包括驱动器UDm和监视器UMm,UDm用于通过对应的转换接口将标准总线协议激励序列项转换为标准总线协议结构体;UMm用于获取UDm实际通过对应的转换接口发送信号的记录。IEm包括第m个第二标准总线协议组件Vm和第m个标准总线协议接口单元Ifm,Vm用于包括驱动器VDm和监视器VMm,VDm用于根据标准总线协议激励序列项对应的总线接口信号将标准总线协议结构体转换为对应的总线接口信号,并通过Ifm发送给所述待测设计;VMm用于从Ifm获取Vm实际发送信号记录。
如图2所示示例,所述第一非标准总线协议模块包括第一控制向量组件和第一数据向量组件;所述第二非标准总线协议模块包括第二控制向量组件、第二数据向量组件、控制向量接口单元、输入数据向量接口单元和输出数据向量接口单元。
所述第二序列驱动模块还用于按照非标准总线协议激励序列项所对应的总线接口信号将所述非标准总线协议激励序列项分发给第一控制向量组件或第一数据向量组件。控制信号具体包括有效信号或握手信号(例如vaild、ack、ready等信号)和/或时钟使能信号(例如ck_gate信号)等,与数据配合,实现控制。但是,不同的总线协议的控制信号、数据的宽度通常是不相同的,为了让所述装置的验证IP适用于所有的总线协议,所述第一控制向量组件用于将接收到的激励序列项拼接为控制向量,并通过对应的转换接口转换控制结构体,发送给第二控制向量组件;所述第二控制向量组件用于将所述控制结构体通过控制向量接口单元发送给待测设计。所述第一数据向量组件用于将接收到的激励序列项拼接为输入数据向量,并通过对应的转换接口转换为输入结构体,发送给第二数据向量组件;所述第二数据向量组件用于通过所述输入数据向量接口单元发送给待测设计;还用于通过所述输出数据向量接口单元,接收所述待测设计发送的响应数据,拼接生成输出数据向量结构体,并通过对应的转换接口转换为输出数据向量,发送给第一数据向量组件。其中,控制向量、输入数据向量和输出数据向量均为变长向量,变长向量即为不定长向量,向量长度与总线协议相关。具体的,可以采用拼接符进行向量拼接,不同的非标准总线协议对应的总线接口信号数量和信号宽度均可能不同,本发明实施例通过向量拼接,使得无论哪种非标准总线协议,控制向量接口单元、输入数据向量接口单元和输出数据向量接口单元统一以向量形式进行传输,从而可以适用于不同的非标准总线协议。控制向量接口单元还可设置内建的协议时序检查模组,用于检查协议时序。
需要说明的是,所述验证IP除了可以用于芯片验证之外,还可以用作时钟发生器和复位发生器。
如图2所示示例,所述第二非标准总线协议模块还包括时钟组件、复位组件、时钟接口单元和复位接口单元,其中,所述时钟组件用于生成时钟信号,并通过时钟接口单元发送给待测设计;时钟接口单元可以配置为不间断的时钟信号,也可以配置为门控时钟。通过配置所述时钟组件可以产生多种时钟相关特性,例如频率、占空比、抖动等。
所述复位组件用于生成同步或异步复位信号,并通过复位接口单元发送给待测设计。非标准总线协议模块可以被一个时钟接口单元对应的时钟信号和复位接口单元对应的复位信号影响,根据接口模块和待测设计具体的连接方式,可以确定复位接口单元具体连接的reset信号线,可以是一根,也可以是多根,复位接口单元对应的复位信号基于所连接的一根或多根复位信号线共同确定。需要说明的是,待测设计对应的一些数据线,在验证IP与待测设计交互时,复位信号一定要通过时钟信号同步,才能驱动和访问待测设计,因此对于任意一种非标准总线协议,验证IP中一定需要设置时钟接口单元和复位接口单元。需要说明的是,复位信号支持即插即用的上电复位(POR Reset)和中途发生的复位(InflightReset)。作为一种实施例,需要说明的是,时钟组件、复位组件、第一控制向量组件、第一数据向量组件;第二控制向量组件、第二数据向量组件中均包括对应的组件驱动器和组件监视器,第一控制向量组件和第一数据向量组件的组件驱动器用于将组件中接收到的激励序列项转换为对应的向量,第二控制向量组件和第二数据向量组件的组件驱动器用于将对应的向量转换为对应的结构体,得到对应的总线接口信号,通过对应的接口单元发送给待测设计。组件驱动器发出的信号可能成功也可能失败,组件监视器用于从对应的接口单元获取对应的记录,记录对应接口单元、以及第一验证IP和第二验证IP之间的在转换接口实际发出的信号。所述时钟组件、复位组件、第一控制向量组件、第一数据向量组件;第二控制向量组件、第二数据向量组件具体可以设置为UVM的UVC(Universial VerificationComponent)组件。
作为一种实施例,所述时钟组件还用于监测时钟接口单元,生成时钟接口单元实际发送的时钟信号记录结构体;所述复位组件还用于监测复位接口单元,并生成复位接口单元实际发送的复位信号记录结构体。所述第二控制向量组件还用于监测控制向量接口单元,并生成控制向量接口实际发送的控制向量记录结构体,发送给对应的转换接口,转换为控制向量记录。所述第一控制向量组件还用于监测第二控制向量组件对应的转换接口,获取控制向量记录。所述第二数据向量组件还用于监测输入数据向量接口单元和输出数据向量接口单元,生成输入数据向量接口单元和输出数据向量接口单元实际传输的输入数据向量记录结构体和输出数据向量记录结构体,发送给对应的转换接口,转换接口转换为输入数据向量记录和输出数据向量记录。所述第一数据向量组件还用于监测第二数据向量组件对应的转换接口,获取输入数据向量记录和输出数据向量记录。
作为一种实施例,时钟组件对应的转换接口用于将时钟信号记录结构体转换为时钟信号记录;复位组件对应的转换接口用于将复位信号记录结构体转换为复位信号记录;第二控制向量对应的转换接口用于将控制向量记录结构体转换为控制向量记录;所述第一控制向量组件还用于监测第二控制向量组件对应的转换接口,获取控制向量记录;第二数据向量对应的转换接口用于将输入数据向量记录结构体和输出数据向量记录结构体转换为输入数据向量记录和输出数据向量记录;所述第一数据向量组件还用于监测第二数据向量组件对应的转换接口,获取输入数据向量记录和输出数据向量记录,所述时钟信号记录、复位信号记录、控制向量记录、输入数据向量记录和输出数据向量记录为事务数据。
作为一种实施例,所述第一验证IP还包括验证组件;验证组件具体可以为计分板(Scoreboard)、参考模型(Reference Model)或比较器(Checker),现有的计分板、参考模型或比较器应用为本发明所述的验证组件时全部落入本发明保护范围之内,计分板、参考模型或比较器的具体结构在此不再赘述。所述验证组件用于从第一标准总线协议模块或第一非标准总线协议模块获取UDm实际通过对应的转换接口发送信号的记录、Um实际发送信号记录、时钟信号记录、复位信号记录、控制向量记录、输入数据向量记录和输出数据向量记录对所述待测设计进行验证。
作为一种实施例,所述第一验证IP还包括系统监视器,用于获取UDm实际通过对应的转换接口发送信号的记录、Vm实际发送信号记录、时钟信号记录、复位信号记录、控制向量记录、输入数据向量记录和输出数据向量记录中的至少一个进行呈现。所述装置分为应用层和物理层,所述序列发生器、序列驱动模块和系统监视器设置在所述应用层;用户直接通过应用层与所述装置进行交互。所述第一控制向量组件、第一数据向量组件、所述第二验证IP包括第二控制向量组件、第二数据向量组件和接口模块设置在所述物理层。用户无需直接从物理层获取数据,直接通过应用层设置对应的激励序列供序列发生器使用,直接通过应用层的系统监视器获取每一接口单元实际才发出信号的记录,提高了交互效率,提升了用户体验。
第一验证IP和第二验证IP可能为从设备(Slave或Target或Completer)验证IP,也可能为主设备(Master或Initiator或Originator)验证IP,具体取决于对应的待测设计,若待测设计为从设备,则验证IP为主设备,若待测设计为主设备,验证IP为从设备,当验证IP为从设备时,第一验证IP还包括存储器,所述装置还包括存储器模型,所述存储器设置在所述应用层,所述存储器和所述存储器模型直接编程接口DPI(Direct ProgrammingInterface)进行交互,其中,存储器可以为SystemVerilog存储器和存储器模型可以为C++模型。
当验证组件为计分板时,需要将第一验证IP和第二验证IP内的组件监视器对应的记录发送给计分板,待测设计的输出也需要将对应的输出数据发送给计分板进行比对,计分板通常设置在验证平台(Testbench),这便使得在建立验证平台时,需要设置计分板实例,第一验证IP和第二验证IP的输出实例,待测设计的输出实例,以及建立计分板实例、第一验证IP和第二验证IP的输出实例、待测设计的输出实例之间的互联,非常复杂。基于此,本发明实施例对此进行了改进,所述验证组件为位于验证第一验证IP内的内嵌计分板,内嵌计分板可以顺序(In Order)或乱序(Out Of Order)排列,用于支持动态的内建数据比对,所述内嵌计分板包括第一接口和第二接口,所述时钟组件、复位组件、控制向量组件或数据向量组件通过所述第一接口将对应的记录传输给所述内嵌计分板,所述第二接口用于和第一验证IP和第二验证IP外部的参考模型连接,获取所述参考模型输出的数据,与所述第一接口获取的记录进行比较。通过此设计,无需在验证平台中设置计分板,且减少了互联关系,直接将计分板内嵌在第一验证IP中,简化了验证平台的搭建过程,提高了验证效率。
作为一种实施例,所述标准总线协议模块还用于基于对应的标准总线协议对所述标准总线协议激励序列项进行时序控制;所述第二序列驱动模块还用于基于对应的非标准总线协议对所述非标准总线协议激励序列项进行时序控制。需要说明的是,标准总线协议的时序控制可以直接在标准总线协议模块设置,因为标准总线协议时序控制较为复杂,例如AXI总线对应五个通道,如果全部放在第一序列驱动模块,显然会增加时序控制的难度。而非标准总线协议的时序控制通常可以设计的较为简单,因此可以直接在第一序列驱动模块执行时序控制即可。
作为一种实施例,所述装置还包括寄存器抽象模型(Register Abstract Layer,简称RAL),寄存器抽象模型是对待测设计连接的寄存器的抽象,所述验证IP为基于通用验证方法学(Universal Verification Methodology,简称UVM)生成的验证IP,所述第一验证IP中还包括适配器(Adapter)和预测器(Predictor),所述适配器为总线协议对应的适配器,即基于对应的总线协议配置对应的适配器。所述适配器用于从所述寄存器抽象模型获取寄存器激励序列项,将寄存器激励序列项转换为总线激励序列项,再通过序列驱动模块分发给对应的组件;所述预测器用于更新所述寄存器抽象模型。本发明实施例将适配器和预测器设置在第一验证IP内,降低了验证过程中,访问寄存器抽象模型的复杂度,提高了验证效率。
作为一种实施例,待测设计通过至少一个总线接口与待测设计的兄弟组成模块互联,每一总线接口对应设置一组第一验证IP和第二验证IP,每一总线接口对应一个总线类型,每一总线类型对应一个总线协议和总线接口重组结构,每一总线接口重组结构包括多个总线接口信号,每一总线接口信号包括信号方向、信号宽度、信号复位值和信号默认值,基于总线接口重组结构生成对应的激励序列,每一总线接口信号对应一个激励序列项,所述序列发生器从所述对应的激励序列中获取对应的激励序列项。
具体的,本发明实施例所述的芯片实现为层级设置的K1个组成模块(Mod1,Mod2,...,ModK1)和K2个原子单元(AU1,AT2,...,ATK2),K1>=1,K2>=1,原子单元存在预先编写好的RTL代码。
顶层组成模块(芯片)不具有父组成模块,原子单元不具有子组成模块或子原子单元;除顶层组成模块之外的任意组成模块Modi1和任意原子单元AUi2均仅具有一个父组成模块,i1的取值为1到K1,i2的取值为1到K2。所述父组成模块为包括Modi1和AUi2的,且比Modi1和AUi2高一个层级的组成模块。
Modi1包括组成模块唯一标识MIDi1、与Modi1的子组成模块和子原子单元互联的Z1(i1)个组成模块内部总线接口(Interior Interface)列表(InI1,InI2,...,InIZ1(i1))、以及与Modi1的兄弟组成模块和兄弟原子单元互联的Z2(i1)个组成模块外部总线接口(ExternalInterface)列表(MExI1,MExI2,...,MExIZ2(i1))。
芯片还包括K4个设计互联组装DIY(Design Interconnect assemblY)=(X1_Y1_CMD1,X2_Y2_CMD2,......,XK4_YK4_CMDK4)。其中,Xi5和Yi5属于{Mod1,Mod2,...,ModK1,AU1,AU2,...,AUK2},i5的取值范围为1到K4;Xi5和Yi5互为兄弟组成模块或兄弟原子单元,或者Xi5为Yi5的父组成模块,或者Yi5为Xi5的父组成模块。Xi5和Xi6可以相同,也可以不同;Yi5和Yi6可以相同,也可以不同;i6的取值范围为1到K4。CMDi5属于{IDF-ID1,IDF-ID2,...,IDF-IDK3}。
总线接口描述重构库包括K3个预先定义的总线接口重构结构IDF(InterfaceDescription reFactor)=(IDF1,IDF2,...,IDFK3),K3>=0。其中,IDFi3包括总线接口唯一标识IDF-IDi3、Z4(i3)个总线接口信号(Sigi3 1,Sigi3 2,...,Sigi3 z4(i3)),Sigi3 i4包括信号方向、信号宽度Wid(i3,i4)、复位(ReSeT)值(RSTi3i4 1,RSTi3i4 2,...,RSTi3i4 Wid(i3,i4))和默认(Default)值(Defi3i4 1,Defi3i4 2,...,Defi3i4 Wid(i3,i4))。i3的取值为1到K3,i4的取值为1到Z4(i3),Z4(i3)是i3的函数。IDF-IDi3与总线协议类型相关。总线协议类型例如是AMBA中的AXI总线协议、AHB总线协议、APB总线协议、HBM总线协议、PCIE总线协议、SATA总线协议、USB总线协议等标准总线协议,也可以是非标准的自定义总线协议,优选的,本发明所述装置主要针对非标准的自定义总线协议,标准总线协议可以基于现有技术中对应的验证IP来。所述信号方向可被设置为输入方向(Input)、输出方向(Output)和双向方向(InOut)。所述信号宽度Wid(i3,i4)为信号Sigi3 i4所使用的信号线(Wire)的数量。当将其中一个组成模块作为待测设计进行验证时,需要为每一外部总线接口设置一个对应的芯片验证IP,来代替待测设计对应的兄弟组成模块与待测设计交互,进行验证。
本发明实施例所述装置通过设置通用的芯片验证装置,支持所有标准总线协议和非标准总线协议,在芯片验证过程中直接基于总线接口对应的协议实例化验证IP,且能对验证过程进行仿真加速,提高了芯片验证的效率和准确性。
以上所述,仅是本发明的较佳实施例而已,并非对本发明作任何形式上的限制,虽然本发明已以较佳实施例揭露如上,然而并非用以限定本发明,任何熟悉本专业的技术人员,在不脱离本发明技术方案范围内,当可利用上述揭示的技术内容作出些许更动或修饰为等同变化的等效实施例,但凡是未脱离本发明技术方案的内容,依据本发明的技术实质对以上实施例所作的任何简单修改、等同变化与修饰,均仍属于本发明技术方案的范围内。
Claims (8)
1.一种用于硬件加速的通用芯片验证装置,其特征在于,
应用于芯片验证的硬件加速过程,包括第一验证IP和第二验证IP,所述第一验证IP包括系统序列发生器、配置模块、第一序列发生器、第二序列发生器、第一序列驱动模块、第二序列驱动模块、M个第一标准总线协议模块{IF1,IF2,…IFM}和第一非标准总线协议模块;所述第二验证IP包括M个第二标准总线协议模块{IE1,IE2,…IFM}和第二非标准总线协议模块,其中,所述第一验证IP不可综合;所述第二验证IP可综合;IFm为第m个第一标准总线协议模块、IEm为第m个第二标准总线协议模块;IFm和IEm之间、第一非标准总线协议模块和第二标准总线协议模块之间均通过转换接口连接,所述装置通过M个第二标准总线协议模块和非标准总线协议模块中的其中一个接口与待测设计连接;
所述配置模块用于配置激励序列项和协议的映射关系;
所述系统序列发生器用于获取激励序列项并通过所述配置模块确定所述激励序列项所对应的协议,若为标准总线协议,则将所述激励序列项发送给所述第一序列发生器,若为非标准总线协议,则将所述激励序列项发送给所述第二序列发生器;
所述第一序列发生器用于将标准总线协议激励序列项发送给第一序列驱动模块;
所述第二序列发生器用于将非标准总线协议激励序列项发送给第二序列驱动模块;
所述第一序列驱动模块用于缓存标准总线协议激励序列项,并按照标准总线协议激励序列项所对应的协议,将标准总线协议激励序列项分发给对应的第一标准总线协议模块;
所述第二序列驱动模块用于缓存非标准总线协议激励序列项,并将非标准总线协议激励序列项拼接成向量,发送给第一非标准总线协议模块,所述向量为变长向量,向量长度与对应的非标准总线协议相关;
所述第一标准总线协议模块用于通过对应的转换接口将标准总线协议激励序列项转换为标准总线协议结构体,发送给第二标准总线协议模块;
所述第二标准总线协议模块用于将标准总线协议结构体发送给所述待测设计;
所述第一非标准总线协议模块用于通过对应的转换接口将非标准总线协议的激励序列项转换为非标准总线协议结构体,发送给第二非标准总线协议模块;
所述第二非标准总线协议模块用于将非标准总线协议结构体发送给所述待测设计。
2.根据权利要求1所述的装置,其特征在于,
IFm包括第m个第一标准总线协议组件Um,Um包括驱动器UDm和监视器UMm,UDm用于通过对应的转换接口将标准总线协议激励序列项转换为标准总线协议结构体;UMm用于获取UDm实际通过对应的转换接口发送信号的记录;
IEm包括第m个第二标准总线协议组件Vm和第m个标准总线协议接口单元Ifm,Vm用于包括驱动器VDm和监视器VMm,VDm用于根据标准总线协议激励序列项对应的总线接口信号将标准总线协议结构体转换为对应的总线接口信号,并通过Ifm发送给所述待测设计;VMm用于从Ifm获取Vm实际发送信号记录。
3.根据权利要求1所述的装置,其特征在于,
所述第一非标准总线协议模块包括第一控制向量组件和第一数据向量组件;所述第二非标准总线协议模块包括第二控制向量组件、第二数据向量组件、控制向量接口单元、输入数据向量接口单元和输出数据向量接口单元;
所述第二序列驱动模块还用于按照非标准总线协议激励序列项所对应的总线接口信号将所述非标准总线协议激励序列项分发给第一控制向量组件或第一数据向量组件;
所述第一控制向量组件用于将接收到的激励序列项拼接为控制向量,并通过对应的转换接口转换控制结构体,发送给第二控制向量组件;
所述第二控制向量组件用于将所述控制结构体通过控制向量接口单元发送给待测设计;
所述第一数据向量组件用于将接收到的激励序列项拼接为输入数据向量,并通过对应的转换接口转换为输入结构体,发送给第二数据向量组件;
所述第二数据向量组件用于通过所述输入数据向量接口单元发送给待测设计;还用于通过所述输出数据向量接口单元,接收所述待测设计发送的响应数据,拼接生成输出数据向量结构体,并通过对应的转换接口转换为输出数据向量,发送给第一数据向量组件;其中,控制向量、输入数据向量和输出数据向量均为变长向量,向量长度与总线协议相关。
4.根据权利要求3所述的装置,其特征在于,
所述第二非标准总线协议模块还包括时钟组件、复位组件、时钟接口单元和复位接口单元,其中,
所述时钟组件用于生成时钟信号,并通过时钟接口单元发送给待测设计;
所述复位组件用于生成同步或异步复位信号,并通过复位接口单元发送给待测设计。
5.根据权利要求4所述的装置,其特征在于,
所述时钟组件还用于监测时钟接口单元,生成时钟接口单元实际发送的时钟信号记录结构体;
所述复位组件还用于监测复位接口单元,并生成复位接口单元实际发送的复位信号记录结构体;
所述第二控制向量组件还用于监测控制向量接口单元,并生成控制向量接口实际发送的控制向量记录结构体,发送给对应的转换接口,转换为控制向量记录;
所述第一控制向量组件还用于监测第二控制向量组件对应的转换接口,获取控制向量记录;
所述第二数据向量组件还用于监测输入数据向量接口单元和输出数据向量接口单元,生成输入数据向量接口单元和输出数据向量接口单元实际传输的输入数据向量记录结构体和输出数据向量记录结构体,发送给对应的转换接口,转换接口转换为输入数据向量记录和输出数据向量记录;
所述第一数据向量组件还用于监测第二数据向量组件对应的转换接口,获取输入数据向量记录和输出数据向量记录。
6.根据权利要求5所述的装置,其特征在于,
时钟组件对应的转换接口用于将时钟信号记录结构体转换为时钟信号记录;
复位组件对应的转换接口用于将复位信号记录结构体转换为复位信号记录;
第二控制向量对应的转换接口用于将控制向量记录结构体转换为控制向量记录;
所述第一控制向量组件还用于监测第二控制向量组件对应的转换接口,获取控制向量记录;
第二数据向量对应的转换接口用于将输入数据向量记录结构体和输出数据向量记录结构体转换为输入数据向量记录和输出数据向量记录;
所述第一数据向量组件还用于监测第二数据向量组件对应的转换接口,获取输入数据向量记录和输出数据向量记录;
所述时钟信号记录、复位信号记录、控制向量记录、输入数据向量记录和输出数据向量记录为事务数据。
7.根据权利要求1所述的装置,其特征在于,
所述第一验证IP还包括验证组件;所述验证组件用于从第一标准总线协议模块或第一非标准总线协议模块获取UDm实际通过对应的转换接口发送信号的记录、Vm实际发送信号记录、时钟信号记录、复位信号记录、控制向量记录、输入数据向量记录和输出数据向量记录对所述待测设计进行验证。
8.根据权利要求1所述的装置,其特征在于,
所述第二标准总线协议模块还用于基于对应的标准总线协议对所述标准总线协议激励序列项进行时序控制;
所述第二序列驱动模块还用于基于对应的非标准总线协议对所述非标准总线协议激励序列项进行时序控制。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202211056952.6A CN115345102B (zh) | 2022-08-31 | 2022-08-31 | 一种用于硬件加速的通用芯片验证装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202211056952.6A CN115345102B (zh) | 2022-08-31 | 2022-08-31 | 一种用于硬件加速的通用芯片验证装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN115345102A true CN115345102A (zh) | 2022-11-15 |
CN115345102B CN115345102B (zh) | 2023-03-24 |
Family
ID=83955972
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202211056952.6A Active CN115345102B (zh) | 2022-08-31 | 2022-08-31 | 一种用于硬件加速的通用芯片验证装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN115345102B (zh) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN116775394A (zh) * | 2023-08-18 | 2023-09-19 | 腾讯科技(深圳)有限公司 | 芯片验证方法、装置、设备、存储介质及计算机程序产品 |
CN118036525A (zh) * | 2024-04-10 | 2024-05-14 | 北京智芯微电子科技有限公司 | 基于uvm和c模型的验证系统与方法、存储介质、验证平台 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101593167A (zh) * | 2008-05-26 | 2009-12-02 | 联想(北京)有限公司 | 片上系统的桥接装置及方法 |
CN106326056A (zh) * | 2016-08-26 | 2017-01-11 | 中国电子科技集团公司第三十八研究所 | 可重用wishbone总线协议验证平台及其验证方法 |
CN107463473A (zh) * | 2017-09-01 | 2017-12-12 | 珠海泰芯半导体有限公司 | 基于uvm和fpga的芯片软硬件仿真环境 |
US20180300431A1 (en) * | 2017-04-18 | 2018-10-18 | Raytheon Company | Universal verification methodology (uvm) register abstraction layer (ral) traffic predictor |
-
2022
- 2022-08-31 CN CN202211056952.6A patent/CN115345102B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101593167A (zh) * | 2008-05-26 | 2009-12-02 | 联想(北京)有限公司 | 片上系统的桥接装置及方法 |
CN106326056A (zh) * | 2016-08-26 | 2017-01-11 | 中国电子科技集团公司第三十八研究所 | 可重用wishbone总线协议验证平台及其验证方法 |
US20180300431A1 (en) * | 2017-04-18 | 2018-10-18 | Raytheon Company | Universal verification methodology (uvm) register abstraction layer (ral) traffic predictor |
CN107463473A (zh) * | 2017-09-01 | 2017-12-12 | 珠海泰芯半导体有限公司 | 基于uvm和fpga的芯片软硬件仿真环境 |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN116775394A (zh) * | 2023-08-18 | 2023-09-19 | 腾讯科技(深圳)有限公司 | 芯片验证方法、装置、设备、存储介质及计算机程序产品 |
CN116775394B (zh) * | 2023-08-18 | 2024-04-26 | 腾讯科技(深圳)有限公司 | 芯片验证方法、装置、设备、存储介质及计算机程序产品 |
CN118036525A (zh) * | 2024-04-10 | 2024-05-14 | 北京智芯微电子科技有限公司 | 基于uvm和c模型的验证系统与方法、存储介质、验证平台 |
Also Published As
Publication number | Publication date |
---|---|
CN115345102B (zh) | 2023-03-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN115345102B (zh) | 一种用于硬件加速的通用芯片验证装置 | |
CN115114875B (zh) | 一种用于仿真的通用芯片验证装置 | |
CA2109682C (en) | Multiple bus interface | |
US20110307847A1 (en) | Hybrid system combining TLM simulators and HW accelerators | |
US9785595B2 (en) | Multi-channel universal serial bus (USB) to subrate channel systems | |
US20020183956A1 (en) | Testing compliance of a device with a bus protocol | |
CN105357070A (zh) | 一种基于fpga的arinc818总线分析与测试装置 | |
US20050097403A1 (en) | USB interface and testing method thereof | |
CN115345122B (zh) | 一种用于仿真的非标准总线协议的芯片验证装置 | |
WO2023207386A1 (zh) | 一种集成电路高速数字接口通用检测装置及方法 | |
CN115686655A (zh) | 用于gpu ip验证的联合仿真系统 | |
CN115688676A (zh) | 基于tlm的gpu联合仿真系统 | |
CN108920193A (zh) | Fpga和cpu间sdio通信接口实现方法、及装置 | |
CN202838317U (zh) | 总线装置及背板系统 | |
CN115345123B (zh) | 一种用于硬件加速的非标准协议的芯片验证装置 | |
CN112631976A (zh) | 一种可配置硬件ip电路结构 | |
Guo et al. | A SPI interface module verification method based on UVM | |
CN116432593A (zh) | 一种基于uvm的芯片外设模块验证方法 | |
Nangia et al. | Functional verification of I2C core using SystemVerilog | |
CN105243040B (zh) | 一种基于PCIe总线支持USBTMC协议的仪器程控系统及方法 | |
CN107329863A (zh) | 一种基于COMe的测量仪器通用硬件平台 | |
US20030110338A1 (en) | Method and apparatus for emulating computer buses using point-to-point techniues | |
TWI259381B (en) | Integrated device of simulation circuit and processor | |
CN114756498A (zh) | 芯片、主控芯片、芯片通信方法、芯片阵列及相关设备 | |
CN100426250C (zh) | 系统主板接收信号灵敏度的测量装置与方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |