CN115719047A - 基于波形gpu联合仿真系统 - Google Patents

基于波形gpu联合仿真系统 Download PDF

Info

Publication number
CN115719047A
CN115719047A CN202211424941.9A CN202211424941A CN115719047A CN 115719047 A CN115719047 A CN 115719047A CN 202211424941 A CN202211424941 A CN 202211424941A CN 115719047 A CN115719047 A CN 115719047A
Authority
CN
China
Prior art keywords
design
tested
reference model
converter
waveform
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
Application number
CN202211424941.9A
Other languages
English (en)
Other versions
CN115719047B (zh
Inventor
请求不公布姓名
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Muxi Integrated Circuit Shanghai Co ltd
Original Assignee
Muxi Integrated Circuit Shanghai Co ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Muxi Integrated Circuit Shanghai Co ltd filed Critical Muxi Integrated Circuit Shanghai Co ltd
Priority to CN202211424941.9A priority Critical patent/CN115719047B/zh
Publication of CN115719047A publication Critical patent/CN115719047A/zh
Application granted granted Critical
Publication of CN115719047B publication Critical patent/CN115719047B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • YGENERAL 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
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02DCLIMATE 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/00Energy efficient computing, e.g. low power processors, power management or thermal management

Landscapes

  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

本发明涉及一种基于波形GPU联合仿真系统,包括待测设计、参考模型、第五验证平台、空壳模块、第一波形生成器、第二波形生成器和显示器,空壳模块为只包括待测设计的顶层输入端口和输出端口信息的模块。第五验证平台包括第五激励发生器、第五转换器、第五监视器,所述第五激励发生器分别与待测设计和第五监视器相连接,所述第五转换器与参考模型、空壳模块和第五监视器相连接,所述第一波形生成器与所述待测设计相连接,所述第二波形生成器与所述空壳模块相连接,所述显示器和第一波形生成器和第二波形生成器相连接。本发明提高了GPU联合仿真的灵活性、可靠性、高效性和准确性。

Description

基于波形GPU联合仿真系统
技术领域
本发明涉及GPU芯片验证技术领域,尤其涉及一种基于波形GPU联合仿真系统。
背景技术
现有的芯片验证过程通常是基于同一芯片设计使用说明书,采用硬件描述语言(Register Transistor Level,简称RTL)编写的待测设计(Design Under Test,简称DUT),同时采用C语言、C++、SystemC等高级语言编写的参考模型(Reference Model)。验证过程中向待测设计和参考模型输入相同的激励,进行联合仿真,通过比较待测设计和参考模型的输出对待测设计进行验证。但是,现有的参考模型是无时序的,仅能对芯片功能进行验证,不能验证芯片性能,且验证准确性不高。
图形处理器(Graphics Processing Unit,简称GPU)自底向上分别为组成单元(Unit)、组成模块(Block)、子系统(Sub System)、GPU知识产权核(IntellectualProperty,简称IP),在验证过程中需要对组成单元、组成模块、子系统、GPU IP进行验证和重用。GPU各个组成部分内部复杂,且验证过程中,参考模型需要遵循GPU内部的时序,在联合仿真过程中,如何让待测设计和参考模型获取相同的时序驱动实现正确的互动尤为重要,而现有技术的仿真过程无法准确控制待测设计和参考模型获取相同的时序,导致芯片验证的准确性和可靠性低。此外,现有的仿真过程是基于信号级别的访问,导致验证效率低,无法满足GPU芯片验证的需求。由此可知,如何提供一种准确、可靠、高效的适用于GPU芯片验证的联合仿真技术,实现对GPU芯片的验证,成为亟待解决的技术问题。
发明内容
本发明目的在于,提供一种基于波形GPU联合仿真系统,本发明提高了GPU联合仿真的灵活性、可靠性、高效性和准确性。
本发明提供了一种基于波形GPU联合仿真系统,用于待测设计和参考模型开发的第一阶段,所述第一阶段为待测设计和参考模型的设计初期,不能直接基于待测设计和参考模型进行联合仿真的阶段;所述系统包括待测设计、参考模型、第五验证平台、空壳模块、第一波形生成器、第二波形生成器和显示器,所述空壳模块为只包括待测设计的顶层输入端口和输出端口信息的模块,所述待测设计为GPU的组成部分。
所述第五验证平台包括第五激励发生器、第五转换器、第五监视器,所述第五激励发生器分别与待测设计和第五监视器相连接,所述第五转换器与参考模型、空壳模块和第五监视器相连接,所述第一波形生成器与所述待测设计相连接,所述第二波形生成器与所述空壳模块相连接,所述显示器和第一波形生成器和第二波形生成器相连接。
所述第五激励发生器用于生成第五测试激励,所述第五测试激励为基于SystemVerilog和UVM编写的带约束的随机验证激励,按照待测设计的时序发送给待测设计,所述第五测试激励为事务类型数据。
所述第一波形生成器用于采集待测设计对应的第一波形文件,发送给所述显示器。
所述第五监视器用于采集输入所述待测设计的有效第五测试激励,发送给第五转换器。
所述第五转换器用于将第五测试激励转换为第五输入数据,所述第五输入数据为参考模型可以识别的数据,将所述第五输入数据传输给参考模型运行,生成第一执行结果,所述第五转换器获取所述第一执行结果,所述第五转换器还用于将第五测试激励按照预设的顺序将第五测试激励拼接为输入向量,按照待测设计的时序将所述输入向量发送给所述空壳模块的输入端口;所述第五转换器还用于将所述第一执行结果转换为事务类型数据,并按照预设的顺序将转换后的第一执行结果拼接为输出向量,将所述输出向量发送至所述空壳模块的输出端口。
所述空壳模块基于接收到的输入向量驱动所述输入端口,基于所述输出向量驱动所述输出端口。
所述第二波形生成器用于采集空壳模块对应的第二波形文件,发送给所述显示器。
所述显示器基于第一波形文件、第二波形文件呈现待测设计和参考模型的波形信息,进行验证。
本发明与现有技术相比具有明显的优点和有益效果。借由上述技术方案,本发明提供的一种基于波形GPU联合仿真系统可达到相当的技术进步性及实用性,并具有产业上的广泛利用价值,其至少具有下列优点:
本发明实施例四通过将参考模型的输入端口和输出端口的数据抓取下来,并放置在于待测设计对应的空壳模块上,即可生成参考模型对应的波形文件,既可对第一阶段的参考模型进行验证,又可通过对比第一波形文件和第二波形文件对应的文件,基于参考模型对待测设计进行验证,提高了GPU联合仿真的灵活性、可靠性、高效性和准确性。
上述说明仅是本发明技术方案的概述,为了能够更清楚了解本发明的技术手段,而可依照说明书的内容予以实施,并且为了让本发明的上述和其他目的、特征和优点能够更明显易懂,以下特举较佳实施例,并配合附图,详细说明如下。
附图说明
图1为本发明实施例一提供的基于DPI的GPU联合仿真系统示意图;
图2为本发明实施例二提供的基于TLM的GPU联合仿真系统示意图;
图3为本发明实施例三提供的多模式GPU联合仿真系统示意图;
图4为本发明实施例四提供的基于波形的GPU联合仿真系统;
图5为本发明实施例五提供的用于GPU IP验证的联合仿真系统。
具体实施方式
为更进一步阐述本发明为达成预定发明目的所采取的技术手段及功效,以下结合附图及较佳实施例,对依据本发明提出的一种基于波形GPU联合仿真系统的具体实施方式及其功效,详细说明如后。
图形处理器(Graphics Processing Unit,简称GPU)内部结构复杂,为多层级结构,GPU的组成部分包括组成单元(Unit)、组成模块(Block)、子系统(Sub System)、GPU知识产权核(Intellectual Property,简称IP),其中,组成模块由组成单元组成,子系统由组成单元和/或组成模块组成,GPU IP由组成单元和/或组成模块和/或子系统组成。GPU组成部分根据验证过程中输入激励的不同可以分为两类,第一类为组成单元、组成模块、子系统,当组成单元、组成模块、子系统作为待测设计(Design Under Test,简称DUT)时,测试激励为SystemVerilog和UVM(Universal Verification Methodology)编写的带约束的随机验证激励。第二类为GPU IP,GPU IP很大部分对应的是C++语言,因为从GPU编程角度,通常基于开放运算语言库(Open Computing Language,简称OpenCL)和开放式图形库(OpenGraphics Library,简称OpenGL)来编辑和操作GPU。因此,在对GPU IP做验证时,需要基于OpenCL库和OpenGL库编程来生成测试激励。两种类型的测试激励不同,因此进行联合仿真的实现方式也不相同,以下通过不同的具体实施例分别进行说明。
实施例一、
实施例一提供了一种基于直接编程接口(Direct Programming Interface,简称DPI)的GPU联合仿真系统,如图1所示,用于GPU验证过程,包括第一验证平台、待测设计和参考模型,所述待测设计为GPU的组成部分,具体为GPU的组成单元、组成模块或子系统。所述第一验证平台包括第一激励发生器、第一转换器、第一监视器和第一比较器。其中,所述第一激励发生器与待测设计相连接,所述第一监视器分别与待测设计、第一转换器和第一比较器相连接,所述第一转换器与参考模型相连接。
所述第一激励发生器用于生成第一测试激励,所述第一测试激励为基于SystemVerilog和UVM编写的带约束的随机验证激励,按照待测设计的时序将所述第一测试激励发送给待测设计,所述第一测试激励为事务类型数据(Transaction),需要说明的是,事务类型数据相较于信号级的数据传输效率更高。
所述第一监视器用于采集输入所述待测设计的有效第一测试激励,发送给第一转换器;
作为示例,参考模型是有C++或其他高级语言编写的模型,由于SystemVerilog语言和C++等高级语言不能直接交互,且参考语言本身并不能按照待测设计时序运行,因此设置第一转换器和直接编程接口DPI来实现参考模型与测试平台的交互,以及实现按照待测设计的时序运行。所述第一转换器用于将第一测试激励转换为第一输入数据,所述第一输入数据为目标结构体类型,若参考模型为C++模型,则目标结构体为C++结构体(Struct),所述目标结构体为所述参考模型能够识别的结构体。所述第一转换器按照待测设计的时序通过直接编程接口DPI将所述第一输入数据发送给参考模型,并调用所述参考模型按照待测设计的时序执行所述第一输入数据,再通过直接编程接口DPI从所述参考模型获取第一运行结果,所述第一运行结果为目标结构体类型数据,将所述第一运行结果转换为事务类型数据,作为第一模型输出结果。
所述待测设计用于执行所述第一测试激励,生成第一待测设计输出结果。
所述第一监视器还用于从所述第一转换器获取第一模型输出结果,从所述待测设计获取第一待测设计输出结果,并发送给所述第一比较器。
所述第一比较器用基于所述第一模型输出结果和第一待测设计输出结果对待测设计进行验证。
作为一种示例,所述系统包括预先基于SystemVerilog和UVM编写的第一转换器父类(Base),所述第一转换器为基于所述第一转换器父类生成的子类。所述第一转换器父类中包括第一创建接口、第一初始化接口、第一数据存入接口、第一运行接口和第一数据取出接口,第一创建接口、第一初始化接口、第一数据存入接口、第一运行接口和第一数据取出接口均为应用程序接口(Application Programming Interface,简称API),所述第一转换器父类配置为:
在UVM的build_phase调用第一创建接口创建所述参考模型,调用所述第一初始化接口初始化所述参考模型。其中创建所述参考模型指的是实例化生成一个参考模型。
在UVM的run_phase调用所述第一数据存入接口按照待测设计的时序向所述参考模型的第一数据存入接口存入第一输入数据;调用所述第一运行接口触发所述参考模型按照待测设计的时序执行所述第一输入数据,生成第一运行结果;调用所述第一数据取出接口将所述第一运行结果存放在所述参考模型的输出接口。
需要说明的是,第一数据存入接口、第一运行接口和第一数据取出接口在每一个时钟周期内都在运行,若当前时钟周期没有有效数据,则第一数据存入接口轮空即可。
作为一种示例,所述第一转换器父类中还包括第一检查接口和第一复位接口,第一检查接口和第一复位接口也为应用程序接口,所述第一转换器父类还配置为:
在UVM的run_phase或者系统上电过程中,调用所述第一复位接口执行复位操作;复位操作分为两种,一种是系统上电过程的复位操作,一种是在运行过程中的复位过程。
在UVM的check_phase调用所述第一检查接口检查所述参考模型的最终状态是否正确。
需要说明的是,build_phase、run_phase、run_phase、check_phase均为UVM中的已有的phase,在此不再赘述,还可以基于其他应用需求绑定其他phase,例如connect_phase,不再一一列举。实施例一通过将上述phase与对应的接口进行绑定,来实现参考模型按照待测设计的时序运行。
作为一种示例,所述第一验证平台还包括第一事务级模块,所述第一事务级模块包括第一转换接口和第二转换接口,所述第一转换接口用于把事务类型数据转换为目标结构体类型数据,所述第二转换接口用于把目标结构体类型数据转换为事务类型数据。
在GPU联合仿真过程中,所述第一转换器接收第一测试激励后,调用所述第一转换接口将所述第一测试激励转换为所述第一输入数据,在UVM的run_phase调用所述第一数据存入接口,在所述第一数据存入接口中生成对应的直接编程接口DPI,通过对应的直接编程接口DPI按照待测设计的时序向所述参考模型的第一数据存入接口存入所述第一输入数据。
所述第一转换器调用所述第一运行接口,触发所述参考模型按照待测设计的时序执行所述第一输入数据,生成第一运行结果。
所述第一转换器调用所述第一数据取出接口,将所述第一运行结果存放在所述参考模型的输出接口,在所述第一数据取出接口中生成并调用对应的直接编程接口DPI,通过对应的直接编程接口DPI将所述第一运行结果传输给所述第一转换器,所述第一转换器调用所述第二转换接口将所述第一运行结果转换为事务类型数据,作为所述第一模型输出结果。
作为一种示例,所述参考模型内设置有时钟周期运行机制和时钟周期运行机制接口,所述第一转换器通过所述第一运行接口调用所述时钟周期运行机制接口,所述时钟周期运行机制接口调用所述时钟周期运行机制,在所述参考模型中运行一个时钟周期,频率和待测设计的频率保持一致。需要说明的是,参考模型本身并没有时序的设置,通过在参考模型内设置有时钟周期运行机制和时钟周期运行机制接口,再基于第一转换器对应的各个接口的调用,使得参考模型也可以按照待测设计的时序来运行,从而实现对待测设计的功能和性能验证,需要说明的是,参考模型进行性能验证的时序精度大于参考模型进行功能验证的精度。
由于待测设计和参考模型处理速度不同,为了保持时序一致,作为一种实施例,所述第一转换器的输入端口设置有第一先入先出队列(First Input First Output,简称FIFO),所述待测设计的输入端口设置有第二FIFO。
所述第一FIFO用于缓存第一测试激励,在向所述待测设计输入第一测试激励时,先判断当前第一FIFO待输出的第一测试激励是否符合预设的第一预设驱动逻辑,若符合,则向所述待测设计输入待输出的第一测试激励,若不符合,则待符合预设的第一预设驱动逻辑后,再向所述待测设计输入待输出的第一测试激励。
所述第二FIFO用于缓存第一输入数据,在UVM的run_phase调用所述第一数据存入接口之前,先判断当前第二FIFO待输出的目标结构体是否符合预设的第一预设驱动逻辑,若符合,则再执行在UVM的run_phase调用所述第一数据存入接口以及后续操作,若不符合,则待符合对应的预设的第一预设驱动逻辑之后,再执行在UVM的run_phase调用所述第一数据存入接口以及后续操作。
其中,所述第一预设驱动逻辑包括执行完预设数量的时钟周期、已经获取到预设的输出数据等。通过设置第一FIFO、第二FIFO和第一预设驱动逻辑能够保持参考模型和待测设计时序的一致性。
作为一种示例,所述待测设计包括多个层级设计的组成单元,两个互联的组成单元之间通过至少一个总线接口连接,所述第一测试激励基于对应的总线接口信息自动生成,所述直接编程接口DPI基于对应的总线接口信息和层级信息自动生成。具体的,待测设计={U1,U2,…UM},Ui1为DUT的第i1个组成部分,i1的取值范围为1到M,U1,U2,…UM层级设置。Ui和Uj之间通过至少一个总线接口(Bus Interface)互联,Ui和Uj为具有互联关系的两个组成部分,i、j的取值范围均为1到M,Ui和Uj为具有互联关系兄弟模块或者为父子模块,具有互联关系兄弟模块或者为父子模块之间通过至少一个总线接口互联。Ui1具体可以为原子单元或者是由原子单元组成的模块,原子单元预先设置有对应的RTL代码,RTL代码具体可以采用Verilog、System Verilog、VHDL等硬件编程语言编写。Ui1包括模块唯一标识MIDi1、与Modi1的子模块互联的Z1(i1)个模块内部总线接口(Interior Interface)列表(InI1,InI2,...,InIZ1(i1))、以及与Modi1的兄弟模块互联的Z2(i1)个模块外部总线接口(ExternalInterface)列表(MExI1,MExI2,...,MExIZ2(i1))。所述Modi1的子模块为位于Modi1内部的且比Modi1低一个层级的组成模块。待测设计中还包括基于所有组成模块对应的内部总线接口列表和外部总线接口列表可以生成K4个设计互联组装DIY(Design Interconnect assemblY)=(X1_Y1_CMD1,X2_Y2_CMD2,......,XK4_YK4_CMDK4),其中,Xi5和Yi5属于{U1,U2,…UM},i5的取值范围为1到K4;Xi5和Yi5互为兄弟模块,或者Xi5为Yi5的父模块,或者Yi5为Xi5的父模块。
作为一种实施例,Xi5和Xi6可以相同,也可以不同;Yi5和Yi6可以相同,也可以不同;i6的取值范围为1到K4。CMDi5为IDF-ID,用于从总线接口描述重构库获取对应的总线接口细节信息,总线接口描述重构库包括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总线、PCIE总线、SATA总线、USB总线、HBM总线或自定义总线接口类型等。所述信号方向可被设置为输入方向(Input)、输出方向(Output)和双向方向(Inout)。所述信号宽度Wid(i3,i4)为信号Sigi3 i4所使用的信号线(Wire)的数量。
需要说明的是,总线接口重构结构IDF中包含了详细的总线接口信息,将详细的总线接口信息存储到事务级数据对应的域中,可以自动生成第一测试激励。直接编程接口DPI包括发送端、接收端和对应操作指令,设计互联组装DIY中包括了层级信息,发送端和接收端的信息可以直接从层级信息中获取,第一转换器向参考模型发送数据的直接编程接口DPI对应的操作指令为set指令,第一转换器从参考模型发送数据的直接编程接口DPI对应的操作指令为get指令,因此可以自动化生成第一测试激励和直接编程接口DPI,且即便待测设计更改,对应的IDF和DIY更改,直接编程接口DPI也会随着IDF和DIY更改自动更改。
实施例一所述系统通过设置第一转换器和直接编程接口DPI实现了参考模型与第一测试平台的交互,并能够按照待测设计的时序运行,能够准确可靠地实现对GPU的组成单元、组成模块或子系统验证过程中的联合仿真,提高了GPU的组成单元、组成模块或子系统的验证可靠性、高效性和准确性。
实施例二、
实施例二提供了一种基于TLM(Transaction Level Modeling)的GPU联合仿真系统,用于GPU验证过程,所述待测设计为GPU的组成单元、组成模块或子系统,如图2所示,包括第二验证平台、待测设计和参考模型,所述待测设计为GPU的组成部分,所述第二验证平台包括第二激励发生器、第二转换器、第二监视器和第二比较器,其中,所述第二激励发生器与待测设计相连接,所述第二监视器分别与待测设计、第二转换器和第二比较器相连接,所述第二转换器与参考模型相连接,所述参考模型采用SystemC封装。
所述第二激励发生器用于生成第二测试激励,所述第二测试激励为基于SystemVerilog和UVM编写的带约束的随机验证激励,按照待测设计的时序发送给待测设计,所述第二测试激励为事务类型数据,可以理解的是所述第二测试激励与实施例一种的第一测试激励相同。
所述第二监视器用于采集输入所述待测设计的有效第二测试激励,发送给第二转换器。
如实施例一中所述,参考模型不能与测试平台直接交互,实施例二通过设置第一转换器和事务级传输通道TLM可以实现参考模型与测试平台的交互,以及实现按照待测设计的时序运行,所述第二转换器用于将第二测试激励的指针转换为第二输入数据,所述第二输入数据为通用数据包(Payload)类型,具体设置为不定长的向量,这样使得传输指针,且传输的数据类型相同,根据数据具体取值的不同设置不同的向量长度即可。所述第二转换器按照待测设计的时序通过事务级传输通道TLM发送给参考模型,并调用所述参考模型按照待测设计的时序执行所述第二输入数据,然后通过事务级传输通道TLM从所述参考模型获取第二运行结果,所述第二运行结果为通用数据包类型,将所述第二运行结果转换为事务类型数据,作为第二模型输出结果。通过事务级传输通道传输通用数据包类型的而输入数据,相较于实施例一种传输事务级类型的第一输入数据传输效率更高,系统性能更好。而实施例一种传输的事务级类型的第一输入数据相较于实施例二中传输的通用数据包类型的第二输入数据更加直观,可以根据具体的应用需求选择对应的传输方式。所述事务级传输通道TLM遵循TLM协议,优选的,事务级传输通道TLM为TLM2通道。需要说明的是,通用数据包中可以存入一个第二输入数据,也可以通过打包存入多个第二输入数据,优选的,本实施例每次传输的通用数据包中仅存入一个第二输入数据,避免后续解压。
所述待测设计用于执行所述第二测试激励,生成第二待测设计输出结果。
所述第二监视器还用于从所述第二转换器获取第二模型输出结果,从所述待测设计获取第二待测设计输出结果,并发送给所述第二比较器;
所述第二比较器用基于所述第二模型输出结果和第二待测设计输出结果对待测设计进行验证。
作为一种示例,所述系统包括预先基于SystemVerilog和UVM编写的第二转换器父类,所述第二转换器为基于所述第二转换器父类生成的子类,所述第二转换器父类中包括第二创建接口、第二初始化接口、第二数据存入接口和第二数据取出接口,第二创建接口、第二初始化接口、第二数据存入接口和第二数据取出接口均为应用程序接口,所述第二转换器父类配置为:
在UVM的build_phase调用第二创建接口创建所述参考模型,调用所述第二初始化接口初始化所述参考模型;
在UVM的run_phase调用所述第二数据存入接口按照待测设计的时序向所述参考模型的第二数据存入接口存入第二输入数据,触发对应的总线接口的存入事件,当所有预设的所有总线接口均触发存入事件时,触发所述参考模型按照待测设计的时序执行所述第二输入数据,生成第二运行结果;调用所述第二数据取出接口将所述第二运行结果存放在所述参考模型的输出接口。
需要说明的是,相较于实施例一,实施例二中无需设置第一运行接口,而是直接设置事件机制,触发相应事件,来控制参考模型按照待测设计的时序执行所述第二输入数据,提高了系统性能,此外,事务级传输通道TLM具体包括阻塞模式和非阻塞模式,本实施例中,优选的,将事务级传输通道TLM设置为阻塞模式,待所有预设的所有总线接口均触发存入事件时,再触发所述参考模型按照待测设计的时序执行所述第二输入数据,生成第二运行结果。此外,每一运行的总线接口无论当前时钟周期是否有有效数据,均会触发对应的总线接口的存入事件,只是没有有效数据时,对应数据为空即可。
作为一种实施例,所述第二转换器父类中还包括第二检查接口和第二复位接口,所述第二转换器父类还配置为:
在UVM的run_phase或者系统上电过程中,调用所述第二复位接口执行复位操作;复位操作分为两种,一种是系统上电过程的复位操作,一种是在运行过程中的复位过程。
在UVM的check_phase调用所述第二检查接口检查所述参考模型的最终状态是否正确。
需要说明的是,build_phase、run_phase、run_phase、check_phase均为UVM中的已有的phase,在此不再赘述,还可以基于其他应用需求绑定其他phase,例如connect_phase,不再一一列举。实施例二通过将上述phase与对应的接口进行绑定,来实现参考模型按照待测设计的时序运行。
作为一种示例,所述第二验证平台还包括第二事务级模块,所述第二事务级模块包括第三转换接口和第四转换接口,所述第三转换接口用于把事务类型数据转换为通用数据包类型数据,所述第二转换接口用于把通用数据包类型数据转换为事务类型数据。
在GPU联合仿真过程中,所述第二转换器接收第二测试激励后,调用所述第三转换接口将所述第二测试激励转换为所述第二输入数据,在UVM的run_phase调用所述第二数据存入接口,在所述第二数据存入接口中生成对应的事务级传输通道TLM,通过对应的事务级传输通道TLM按照待测设计的时序向所述参考模型的第二数据存入接口存入所述第二输入数据,触发对应的总线接口的存入事件,当所有预设的所有总线接口均触发存入事件时,触发所述参考模型按照待测设计的时序执行所述第二输入数据,生成第二运行结果。
所述第二转换器调用所述第二数据取出接口,将所述第二运行结果存放在所述参考模型的输出接口,在所述第二数据取出接口中生成并调用对应的事务级传输通道TLM,通过对应的事务级传输通道TLM将所述第二运行结果传输给所述第二转换器,所述第二转换器调用所述第四转换接口将所述第二运行结果转换为事务类型数据,作为所述第二模型输出结果。
作为一种示例,所述参考模型内设置有时钟周期运行机制和时钟周期运行机制接口,所述第二转换器通过触发所有预设的所有总线接口的存入事件,触发并调用所述时钟周期运行机制接口,所述时钟周期运行机制接口调用所述时钟周期运行机制,在所述参考模型中运行一个时钟周期。需要说明的是,参考模型本身并没有时序的设置,通过在参考模型内设置有时钟周期运行机制和时钟周期运行机制接口,再基于第二转换器对应的各个接口的调用,使得参考模型也可以按照待测设计的时序来运行,从而实现对待测设计的功能和性能验证,需要说明的是,参考模型进行性能验证的时序精度大于参考模型进行功能验证的精度。
实施例二中也可设置入实施例一中的第一FIFO和第二FIFO来解决待测设计和参考模型处理速度不同的问题,使得待测设计和参考模型时序保持一致,实现技术细节与实施例一相同,在此不再赘述。
作为一种示例,所述待测设计包括多个层级设计的组成单元,两个互联的组成单元之间通过至少一个总线接口连接,所述第二测试激励基于对应的总线接口信息自动生成,所述事务级传输通道TLM基于对应的总线接口信息和层级信息自动生成。待测设计的具体组成,以及IDF和DIY的描述细节已在实施例一中描述,在此不再赘述。
实施例二所述系统通过设置第二转换器和事务级传输通道TLM实现了参考模型与第二测试平台的交互,并能够按照待测设计的时序运行,能够准确可靠地实现对GPU的组成单元、组成模块或子系统验证过程中的联合仿真,提高了GPU的组成单元、组成模块或子系统的验证可靠性、高效性和准确性。
实施例三、
实施例一和实施例二均是在待测设计、参考模型以及验证平台开发到一定阶段,能够实现联合仿真的况下进行的,但是在开发前期,待测设计、参考模型和测试平台均未开发完善,还不能直接进行联合仿真,但是在开发初期也是需要及时发现待测设计和参考模型的问题,以便及时调整。此外,实施例一和实施例二在联合仿真过程中,一旦参考模型出现问题,则会直接导致联合仿真无法运行,基于上述问题,进一步提出了实施例三。
实施例三提供了一种多模式GPU联合仿真系统,用于GPU验证过程,如图3所示,包括待测设计、参考模型、第一验证结构、第二验证结构和第三验证结构,所述待测设计为GPU的组成部分,所述待测设计为GPU的组成单元、组成模块或子系统。所述系统的工作模式包括参考模型单独工作模式、待测设计单独工作模式和联合仿真模式。
在待测设计和参考模型开发的第一阶段,所述系统设置为参考模型单独工作模式,通过运行所述第一验证结构,验证参考模型,或者,所述系统设置为待测设计单独工作模式,通过所述第二验证结构,验证所述待测设计;所述第一阶段为待测设计和参考模型的设计初期,不能直接基于待测设计和参考模型进行联合仿真的阶段。在第一阶段通过验证参考模型、待测设计,可以更早发现参考模型和待测设计中存在的问题,及时进行调试。
在待测设计和参考模型开发的第二阶段,所述系统设置为联合仿真模式,通过所述第三验证结构基于所述参考模型验证待测设计,若所述参考模型故障,则切换为待测设计单独工作模式,通过所述第一验证结构验证所述待测设计,同时采用参考模型单独工作模式,通过所述第一验证结构,定参考模型故障点,其中,第二测试阶段指的是待测设计、参考模型和测试平台的设置能够直接进行联合仿真的阶段,所述第一阶段早于所述第二阶段,第三工作模式可以使得在联合仿真过程中,即便参考模型的通路出现故障也依然能切换到待测设计单独工作模式,通过所述第一验证结构验证所述待测设计,且能及时通过参考模型单独工作模式,通过所述第一验证结构,定参考模型故障点,及时修正参考模型。
需要说明的是,参考模型单独工作模式和待测设计单独工作模式,为两个独立的工作模式,可以独立并行运行。通过设置多模式的GPU联合仿真系统,可以使得参考模型和待测设计解耦合,提高了系统的稳定性和可靠性。
作为一种示例,所述第一验证结构包括第三验证平台,所述第三验证平台包括第三激励发生器和第三比较器,所述第三激励发生器与所述参考模型连接,所述第三比较器与所述第三激励发生器和参考模型连接,在参考模型单独工作模式下:
所述第三激励发生器用于向所述参考模型和第三比较器发送第三测试激励,所述第三测试激励为用于验证参考模型的激励,所述参考模型基于所述第三测试激励进行运行,生成第三运行结果发送给第三比较器。
所述第三比较器用于基于所述第三测试激励预测模型预测结果,并发送给所述第三比较器,需要说明的是,第三比较器中可以预设预测参考模型结果的逻辑。
所述第三比较器用于基于所述第三运行结果和模型预测结果验证所述参考模型。
通过在第一阶段验证参考模型可以及时发现参考模型的缺陷,调试参考模型。
作为一种示例,所述第二验证结构包括第四验证平台,所述第四验证平台包括第四激励发生器和波形生成器,所述待测设计分别与所述第四激励发生器和波形生成器相连接,在待测设计单独工作模式下。
所述第四激励发生器用于向所述待测设计发送第四测试激励,所述待测设计基于所述第四测试激励生成第四运行结果,并发送给波形生成器,需要说明的是,待测设计是基于Verilog、System Verilog、VHDL等硬件编程语言编写的设计,因此可以直接生成波形文件,现有的基于待测设计生成波形文件的实现方案全部落入本发明保护范围之内。
所述波形生成器基于所述第四运行结果生成待测设计波形文件,基于所述待测设计波形文件验证所述待测设计,基于波形文件可以生成对应的波形,基于波形可以更加直观地验证待测设计。
所述第三验证结构可以直接采用实施例一种的系统结构,也可以直接采用实施例二中的系统结构,具体细节已在实施例一和实施例二中展开,在此不再赘述。
实施例三通过设置不同的验证结构和工作模式,使得所述系统能够在不同的阶段对待测设计和参考模型进行验证,也使得参考模型和待测设计解耦合,便于更早发现并修正待测设计和参考模型的问题,提高了GPU联合仿真的准确性和可靠性。
实施例四、
实施例三中,在待测设计和参考模型开发的第一阶段,仅能通过基于所述第三测试激励预测模型预测结果来验证参考模型,但预测精确度有限,仅能发现少量的问题,如果需要分析更多数据,只能从参考模型运行的日志数据中来获取,但是日志数据多而繁杂,很难直接通过日志数据进行分析。而在第一阶段的待测设计通过获取波形文件,可以通过波形直观获取数据进行分析。此外,在第一阶段,由于参考模型、待测设计以及验证平台设计的不够完备,还不能实现基于待测设计和参考模型的联合仿真。基于上述问题,进一步提出了实施例四。
实施例四提供了一种基于波形的GPU联合仿真系统,如图4所示,用于待测设计和参考模型开发的第一阶段,所述第一阶段为待测设计和参考模型的设计初期,不能直接基于待测设计和参考模型进行联合仿真的阶段;所述系统包括待测设计、参考模型、第五验证平台、空壳模块、第一波形生成器、第二波形生成器和显示器,所述空壳模块(Stub)为只包括待测设计的顶层输入端口和输出端口信息的模块,也即待测设计是设计实体,空壳模块是待测设计对应的仅包括顶层端口信息的壳体。所述待测设计为GPU的组成部分,具体为GPU的组成单元、组成模块或子系统。
所述第五验证平台包括第五激励发生器、第五转换器、第五监视器,所述第五激励发生器分别与待测设计和第五监视器相连接,所述第五转换器与参考模型、空壳模块和第五监视器相连接,所述第一波形生成器与所述待测设计相连接,所述第二波形生成器与所述空壳模块相连接,所述显示器和第一波形生成器和第二波形生成器相连接。
所述第五激励发生器用于生成第五测试激励,所述第五测试激励为基于SystemVerilog和UVM编写的带约束的随机验证激励,按照待测设计的时序发送给待测设计,所述第五测试激励为事务类型数据。
所述第一波形生成器用于采集待测设计对应的第一波形文件,发送给所述显示器,需要说明的是,待测设计是基于Verilog、System Verilog、VHDL等硬件编程语言编写的设计,因此可以直接生成波形文件,现有的基于待测设计生成波形文件的实现方案全部落入本发明保护范围之内。
所述第五监视器用于采集输入所述待测设计的有效第五测试激励,发送给第五转换器;所述第五转换器用于将第五测试激励转换为第五输入数据,所述第五输入数据为参考模型可以识别的数据,将所述第五输入数据传输给参考模型运行,生成第一执行结果,所述第五转换器获取所述第一执行结果,所述第五转换器还用于将第五测试激励按照预设的顺序将第五测试激励拼接为输入向量,按照待测设计的时序将所述输入向量发送给所述空壳模块的输入端口;所述第五转换器还用于将所述第一执行结果转换为事务类型数据,并按照预设的顺序将转换后的第一执行结果拼接为输出向量,将所述输出向量发送至所述空壳模块的输出端口。通过上述操作即可将参考模型的输入端口和输出端口的数据对应放置在空壳模块的输入端口和输出端口。所述空壳模块基于接收到的输入向量驱动所述输入端口,基于所述输出向量驱动所述输出端口。所述第二波形生成器用于采集空壳模块对应的第二波形文件,发送给所述显示器。
所述显示器基于第一波形文件、第二波形文件呈现待测设计和参考模型的波形信息,进行验证。通过将参考模型的输入端口和输出端口的数据抓取下来,并放置在于待测设计对应的空壳模块上,即可生成参考模型对应的波形文件,既可对第一阶段的参考模型进行验证,又可通过对比第一波形文件和第二波形文件对应的文件,基于参考模型对待测设计进行验证。
作为一种示例,所述第五转换器还包括输入FIFO和输出FIFO,所述输入FIFO用于存储所述输入向量,所述出处FIFO用于存储所述输出向量;所述第五转换器按照待测设计的时序从所述输入FIFO中读出输入向量,发送给所述空壳模块的输入端口;所述第五转换器按照待测设计的时序从所述输出FIFO读出输出向量,发送给所述空壳模块的输出端口,通过设置输入FIFO和输出FIFO,控制参考模型的输入数据和输出数据按照待测设计的时序传输。
作为一种示例,所述第五输入数据为目标结构体类型,所述目标结构体为所述参考模型能够识别的结构体,按照待测设计的时序通过直接编程接口DPI将所述第五输入数据发送给参考模型,并调用所述参考模型按照待测设计的时序执行所述第五输入数据,再通过直接编程接口DPI从所述参考模型获取第五运行结果,所述第五运行结果为目标结构体类型数据,将所述第五运行结果转换为事务类型数据,作为所述第一执行结果。需要说明的是,本示例中第五转换器的具体实现细节可以直接采用实施例一中的第一转换器的具体实现方式来实现,在此不再赘述。
作为一种示例,所述待测设计包括多个层级设计的组成单元,两个互联的组成单元之间通过至少一个总线接口连接,所述第五测试激励基于对应的总线接口信息自动生成,所述直接编程接口DPI基于对应的总线接口信息和层级信息自动生成。具体实现细节采用实施例一中对应的具体实现方式来实现,在此不再赘述。
作为一种示例,所述第五输入数据为通用数据包类型,具体设置为不定长的向量,按照待测设计的时序通过事务级传输通道TLM发送给参考模型,并调用所述参考模型按照待测设计的时序执行所述第五输入数据,然后通过事务级传输通道TLM从所述参考模型获取第五运行结果,所述第五运行结果为通用数据包类型,将所述第五运行结果转换为事务类型数据,作为所述第一执行结果。需要说明的是,本示例中第五转换器的具体实现细节可以直接采用实施例二中的第二转换器的具体实现方式来实现,在此不再赘述。
作为一种示例,所述待测设计包括多个层级设计的组成单元,两个互联的组成单元之间通过至少一个总线接口连接,所述第五测试激励基于对应的总线接口信息自动生成,所述事务级传输通道TLM基于对应的总线接口信息和层级信息自动生成。待测设计的具体组成,以及IDF和DIY的描述细节已在实施例一中描述,在此不再赘述。所述事务级传输通道TLM遵循TLM协议。
实施例四通过将参考模型的输入端口和输出端口的数据抓取下来,并放置在于待测设计对应的空壳模块上,即可生成参考模型对应的波形文件,既可对第一阶段的参考模型进行验证,又可通过对比第一波形文件和第二波形文件对应的文件,基于参考模型对待测设计进行验证,提高了GPU联合仿真的灵活性、可靠性、高效性和准确性。
实施例五、
实施例五提供了一种用于GPU IP验证的联合仿真系统,如图5所示,包括待测设计、参考模型、OpenCL库、OpenGL库、激励生成接口、追踪文件生成模块、第六验证平台。其中,所述待测设计为GPU IP,所述OpenCL库、OpenGL库与激励生成接口相连接,所述激励生成接口与所述参考模型相连接,所述追踪文件生成模块与所述参考模型相连接;所述第六验证平台包括第六激励发生器、第六比较器和第六监视器,所述第六激励发生器与所述待测设计和追踪文件生成模块相连接,所述第六监视器与追踪文件生成模块和待测设计相连接,所述第六比较器与第六监视器相连接。
所述激励生成接口用于访问OpenCL库和OpenGL库生成第六测试激励,所述第六测试激励为C++数据结构类型;由于GPU IP验证很大部分对应的是C++语言编程,因为从GPU编程角度,通常基于OpenCL库和OpenGL库来编辑和操作GPU,因此GPU IP类的联合仿真不是于SystemVerilog和UVM编写的测试用例,而是基于OpenCL库和OpenGL库生成的C++测试用例,可以直接输入参考模型,而不能直接输入待测设计中。
所述参考模型用于从所述激励生成接口获取第六测试激励,按照待测设计的时序从所述参考模型的输入端口传输至所述参考模型中执行,并从所述参考模型的输出端口输出第六模型输出结果。
所述追踪文件生成模块用于从所述参考模型的输入端口转存(Dump)第六测试激励,生成输入追踪文件,还用于从所述参考模型的输出端口转存第六模型输出结果,生成输出追踪文件.
所述第六激励发生器用于从所述追踪文件生成模块获取输入追踪文件,解析生成第七测试激励,按照待测设计的时序发送给待测设计,需要说明的是,待测设计相当于基于参考模型的追踪文件进行重播(Replay),可以理解的是,由于第六测试激励是C++类型的,因此在输入待测设计之前需要转换为待测设计可以识别的数据类型,即生成第七测试激励。
所述待测设计用于执行所述第七测试激励,生成第六待测设计输出结果。
所述第六监视器还用于从所述待测设计获取第六待测设计输出结果,从所述追踪文件生成模块中获取输出追踪文件,进行解析,得到对应的第六模型输出结果。
所述第六比较器用于基于所述第六待测设计输出结果和对应的第六模型输出结果对待测设计进行验证。
所述系统可以采用不同的模式执行:
实施方式一、
所述系统包括参考模型单独工作模式和待测设计单独工作模式,所述系统先采用参考模型单独工作模式,执行以下操作:
所述激励生成接口访问OpenCL库和OpenGL库生成测试激励。
所述参考模型从所述激励生成接口获取第六测试激励,按照待测设计的时序从所述参考模型的输入端口传输至所述参考模型中执行,并从所述参考模型的输出端口输出第六模型输出结果。
所述追踪文件生成模块从所述参考模型的输入端口转存第六测试激励,生成输入追踪文件,还用于从所述参考模型的输出端口转存运行结果,生成输出追踪文件。
也即先仅参考模型运行,生成追踪文件,待测设计先不运行,生成输入追踪文件和输出追踪文件之后,所述系统切换为待测设计单独工作模式,执行以下操作。
所述第六激励发生器从所述追踪文件生成模块获取输入追踪文件,解析生成第七测试激励,按照待测设计的时序发送给待测设计。
所述待测设计执行所述第七测试激励,生成第六待测设计输出结果。
所述第六监视器从所述待测设计获取第六待测设计输出结果,发送给第六比较器,从所述追踪文件生成模块中获取输出追踪文件,进行解析,得到对应的第六模型输出结果,发送给第六比较器。
所述第六比较器基于所述第六待测设计输出结果和对应的第六模型输出结果对待测设计进行验证。
实施方式二、
所述系统包括联合仿真模式,所述系统在所述追踪文件生成模块从所述参考模型的输入端口转存第六测试激励,生成输入追踪文件,同时,所述第六激励发生器从所述追踪文件生成模块获取输入追踪文件,解析生成第七测试激励,按照待测设计的时序发送给待测设计。
所述第六监视器从所述待测设计获取第六待测设计输出结果,同时从所述追踪文件生成模块中获取输出追踪文件,进行解析,得到对应的第六模型输出结果。
所述第六比较器基于所述第六待测设计输出结果和对应的第六模型输出结果对待测设计进行验证。
实施方式二较实施方式一的具有更高的实时性。实施方式一较实施方式二更稳定可靠。根据具体的应用需求来选择对应的模式。
作为一种示例,所述待测设计包括多个层级设计的组成单元,两个互联的组成单元之间通过至少一个总线接口连接,所述输入追踪文件和输出追踪文件按照预设的追踪文件结构生成,所述追踪文件结构包括总线接口描述信息和对应的有效总线接口数据记录,其中,
所述总线接口描述信息包括总线接口对应的组成模块标识、总线接口标识、总线接口信号与互联的总线接口的信号映射信息、数据有效标识约束信息,所述总线接口标识基于总线接口对应的层级信息和总线接口实例基于DPI的GPU联合仿真系统生成;
所述有效总线接口数据记录包括总线接口中每一信号对应的信号值以及对应的时钟时钟周期序号和绝对时间。
实施例一中已详细记载待测设计的具体组成、设计互联组装DIY和总线接口重构结构IDF的技术细节,在此不再赘述。总线接口重构结构IDF中包含了详细的总线接口信息,设计互联组装DIY中包括了层级信息,基于此可以自动生成总线接口描述信息,并基于此生成对应的有效总线接口数据记录。
作为一种示例,所述第六验证平台还包括第一事务级模块,与实施例一种的第一事务级模块相同。所述第一事务级模块包括第一转换接口和第二转换接口,所述第一转换接口用于把事务类型数据转换为C++数据结构类型数据,所述第二转换接口用于把C++数据结构类型数据转换为事务类型数据。
作为一种示例,所述第六激励发生器用于从所述追踪文件生成模块获取输入追踪文件,解析得到第六测试激励,调用所述第二转换接口将所述第六测试激励转换为事务类型数据,得到第七测试激励,按照待测设计的时序发送给待测设计。
作为一种示例,所述第六监视器用于从所述追踪文件生成模块中获取输出追踪文件,进行解析,得到对应的第六模型输出结果,调用所述第一转换接口将对应的第六模型输出结果转换为事务类型数据之后,发送给所述第六比较器。
实施例五基于OpenCL库、OpenGL库生成参考模型的对应的测试激励,通过运行参考模型,生成对应的追踪文件,再基于追中文件得到待测设计对应的测试激励,运行待测设计,然后再基于待测设计和参考模型的输出结果对待测设计进行验证,实现了对GPU IP的准确可靠的联合仿真。
实施例六、
实施例六提供了一种GPU联合仿真系统,包括实施例一、实施例二、实施例三、实施例四、实施例五中的任何一个,或多个的组合,本领域技术人员可以理解的是,任何可以基于实施例一、实施例二、实施例三、实施例四、实施例五中的技术细节合理组合的方式都在本发明保护范围之内。
以上所述,仅是本发明的较佳实施例而已,并非对本发明作任何形式上的限制,虽然本发明已以较佳实施例揭露如上,然而并非用以限定本发明,任何熟悉本专业的技术人员,在不脱离本发明技术方案范围内,当可利用上述揭示的技术内容作出些许更动或修饰为等同变化的等效实施例,但凡是未脱离本发明技术方案的内容,依据本发明的技术实质对以上实施例所作的任何简单修改、等同变化与修饰,均仍属于本发明技术方案的范围内。

Claims (8)

1.一种基于波形GPU联合仿真系统,其特征在于,所述系统用于待测设计和参考模型开发的第一阶段,所述第一阶段为待测设计和参考模型的设计初期,不能直接基于待测设计和参考模型进行联合仿真的阶段;
所述系统包括待测设计、参考模型、第五验证平台、空壳模块、第一波形生成器、第二波形生成器和显示器,所述空壳模块为只包括待测设计的顶层输入端口和输出端口信息的模块,所述待测设计为GPU的组成部分;
所述第五验证平台包括第五激励发生器、第五转换器、第五监视器,所述第五激励发生器分别与待测设计和第五监视器相连接,所述第五转换器与参考模型、空壳模块和第五监视器相连接,所述第一波形生成器与所述待测设计相连接,所述第二波形生成器与所述空壳模块相连接,所述显示器和第一波形生成器和第二波形生成器相连接;
所述第五激励发生器用于生成第五测试激励,所述第五测试激励为基于SystemVerilog和UVM编写的带约束的随机验证激励,按照待测设计的时序发送给待测设计,所述第五测试激励为事务类型数据;
所述第一波形生成器用于采集待测设计对应的第一波形文件,发送给所述显示器;
所述第五监视器用于采集输入所述待测设计的有效第五测试激励,发送给第五转换器;
所述第五转换器用于将第五测试激励转换为第五输入数据,所述第五输入数据为参考模型可以识别的数据,将所述第五输入数据传输给参考模型运行,生成第一执行结果,所述第五转换器获取所述第一执行结果,所述第五转换器还用于将第五测试激励按照预设的顺序将第五测试激励拼接为输入向量,按照待测设计的时序将所述输入向量发送给所述空壳模块的输入端口;所述第五转换器还用于将所述第一执行结果转换为事务类型数据,并按照预设的顺序将转换后的第一执行结果拼接为输出向量,将所述输出向量发送至所述空壳模块的输出端口;
所述空壳模块基于接收到的输入向量驱动所述输入端口,基于所述输出向量驱动所述输出端口;
所述第二波形生成器用于采集空壳模块对应的第二波形文件,发送给所述显示器;
所述显示器基于第一波形文件、第二波形文件呈现待测设计和参考模型的波形信息,进行验证。
2.根据权利要求1所述的系统,其特征在于,
所述第五转换器还包括输入FIFO和输出FIFO,所述输入FIFO用于存储所述输入向量,所述出处FIFO用于存储所述输出向量;所述第五转换器按照待测设计的时序从所述输入FIFO中读出输入向量,发送给所述空壳模块的输入端口;所述第五转换器按照待测设计的时序从所述输出FIFO读出输出向量,发送给所述空壳模块的输出端口。
3.根据权利要求1所述的系统,其特征在于,
所述待测设计为GPU的组成单元、组成模块或子系统。
4.根据权利要求1所述的系统,其特征在于,
所述第五输入数据为目标结构体类型,所述目标结构体为所述参考模型能够识别的结构体,按照待测设计的时序通过直接编程接口DPI将所述第五输入数据发送给参考模型,并调用所述参考模型按照待测设计的时序执行所述第五输入数据,再通过直接编程接口DPI从所述参考模型获取第五运行结果,所述第五运行结果为目标结构体类型数据,将所述第五运行结果转换为事务类型数据,作为所述第一执行结果。
5.根据权利要求4所述的系统,其特征在于,
所述待测设计包括多个层级设计的组成单元,两个互联的组成单元之间通过至少一个总线接口连接,所述第五测试激励基于对应的总线接口信息自动生成,所述直接编程接口DPI基于对应的总线接口信息和层级信息自动生成。
6.根据权利要求1所述的系统,其特征在于,
所述第五输入数据为通用负载类型,具体设置为不定长的向量,按照待测设计的时序通过事务级传输通道TLM发送给参考模型,并调用所述参考模型按照待测设计的时序执行所述第五输入数据,然后通过事务级传输通道TLM从所述参考模型获取第五运行结果,所述第五运行结果为通用负载类型,将所述第五运行结果转换为事务类型数据,作为所述第一执行结果。
7.根据权利要求6所述的系统,其特征在于,
所述待测设计包括多个层级设计的组成单元,两个互联的组成单元之间通过至少一个总线接口连接,所述第五测试激励基于对应的总线接口信息自动生成,所述事务级传输通道TLM基于对应的总线接口信息和层级信息自动生成。
8.根据权利要求6所述的系统,其特征在于,
所述事务级传输通道TLM遵循TLM协议。
CN202211424941.9A 2022-11-14 2022-11-14 基于波形gpu联合仿真系统 Active CN115719047B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202211424941.9A CN115719047B (zh) 2022-11-14 2022-11-14 基于波形gpu联合仿真系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202211424941.9A CN115719047B (zh) 2022-11-14 2022-11-14 基于波形gpu联合仿真系统

Publications (2)

Publication Number Publication Date
CN115719047A true CN115719047A (zh) 2023-02-28
CN115719047B CN115719047B (zh) 2023-06-06

Family

ID=85255301

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202211424941.9A Active CN115719047B (zh) 2022-11-14 2022-11-14 基于波形gpu联合仿真系统

Country Status (1)

Country Link
CN (1) CN115719047B (zh)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN116362168A (zh) * 2023-05-31 2023-06-30 芯动微电子科技(珠海)有限公司 一种gpgpu离线时钟的建模方法、装置和存储介质
CN117077588A (zh) * 2023-10-16 2023-11-17 沐曦集成电路(上海)有限公司 硬件加速仿真调试系统
CN117332742A (zh) * 2023-12-01 2024-01-02 芯动微电子科技(武汉)有限公司 一种芯片设计阶段的仿真验证方法和装置

Citations (30)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20010029205A1 (en) * 2000-03-30 2001-10-11 Sagahiro Taho Game program delivery system and apparatus used in same
CN101504690A (zh) * 2009-03-26 2009-08-12 北京航空航天大学 用于通信系统集成电路设计的实时仿真验证系统及其方法
CA2638379A1 (en) * 2008-07-29 2010-01-29 Semiconductor Insights Inc. Integrated circuit characterisation system and method
CN102932003A (zh) * 2012-09-07 2013-02-13 上海交通大学 基于gpu架构的qc-ldpc码的加速译码方法
CN103324780A (zh) * 2012-12-20 2013-09-25 中国科学院近代物理研究所 颗粒流动仿真系统和方法
CN104461810A (zh) * 2014-11-14 2015-03-25 深圳市芯海科技有限公司 一种提高嵌入式处理器功能验证效率的方法
CN104698442A (zh) * 2013-12-06 2015-06-10 中国科学院电子学研究所 机载下视阵列三维合成孔径雷达分布式三维场景仿真方法
CN104865560A (zh) * 2015-04-21 2015-08-26 中国电子科技集团公司第三十八研究所 一种基于uvm的相控阵雷达数字波束形成器模块验证方法及其验证平台
CN105101180A (zh) * 2014-04-18 2015-11-25 北京安兔兔科技有限公司 终端真伪验证方法及装置
CN106201870A (zh) * 2016-07-01 2016-12-07 浪潮电子信息产业股份有限公司 一种测试gpu的方法及装置
US20180300844A1 (en) * 2017-04-13 2018-10-18 Arm Limited Data processing
CN109599135A (zh) * 2018-11-14 2019-04-09 西安翔腾微电子科技有限公司 Gpu帧缓冲区的tlm模型、存储方法、存储系统和存储介质
CN109598077A (zh) * 2018-12-11 2019-04-09 中国航空工业集团公司西安航空计算技术研究所 一种基于gpu芯片的图形管线装置及建模方法
CN109614656A (zh) * 2018-11-14 2019-04-12 西安翔腾微电子科技有限公司 一种用于OpenGL显示列表调用的TLM模型
CN109634583A (zh) * 2018-11-14 2019-04-16 西安翔腾微电子科技有限公司 一种基于SystemC的GPU颜色存储Cache模块的硬件TLM模型及实现结构
CN109683877A (zh) * 2018-12-11 2019-04-26 中国航空工业集团公司西安航空计算技术研究所 一种基于SystemC的GPU软硬件交互TLM系统
CN109710229A (zh) * 2018-12-11 2019-05-03 中国航空工业集团公司西安航空计算技术研究所 一种面向gpu芯片图形管线单元架构验证方法及平台
BR102017026856A2 (pt) * 2017-12-13 2019-06-25 Fundacao Cpqd - Centro De Pesquisa E Desenvolvimento Em Telecomunicacoes Método de vetorização em nível de bits para simulação de circuitos lógicos
CN110263459A (zh) * 2019-06-25 2019-09-20 合肥工业大学 一种基于测试序列分析的uvm验证加速方法
CN110618929A (zh) * 2019-08-01 2019-12-27 广东工业大学 一种基于uvm的对称加密算法的验证平台和验证方法
CN111062173A (zh) * 2019-11-21 2020-04-24 中国航空工业集团公司西安航空计算技术研究所 一种面向gpu芯片渲染输出单元功能仿真方法及平台
GB202011344D0 (en) * 2020-07-22 2020-09-02 Imagination Tech Ltd Methods and systems for verifying a property of an integrated circuit hardware design using quiescent state
AU2020102026A4 (en) * 2020-08-28 2020-10-01 N Sandeep Chaitanya ELSM- Quantum Computing: EXTREMELY LARGE DATABASES STORE INTO A SMALL MEMORY USING QUANTUM COMPUTING.
CN112232000A (zh) * 2020-10-23 2021-01-15 海光信息技术股份有限公司 跨多个验证域的验证系统、验证方法、验证设备
CN112579381A (zh) * 2020-12-28 2021-03-30 杭州德旺信息技术有限公司 一种基于uvm的uart总线的uvm验证系统及方法
CN113297017A (zh) * 2021-05-07 2021-08-24 杭州德旺信息技术有限公司 一种基于uvm的soc验证系统及方法
CN113626343A (zh) * 2021-10-12 2021-11-09 中科南京智能技术研究院 一种基于UVM的Router可重用验证平台
CN114417768A (zh) * 2022-03-29 2022-04-29 南京金阵微电子技术有限公司 一种以太网芯片的数模混合仿真方法及系统
US20220140997A1 (en) * 2020-11-01 2022-05-05 The Toronto-Dominion Bank Validating confidential data using homomorphic computations
CN115114875A (zh) * 2022-08-31 2022-09-27 沐曦科技(北京)有限公司 一种用于仿真的通用芯片验证装置

Patent Citations (30)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20010029205A1 (en) * 2000-03-30 2001-10-11 Sagahiro Taho Game program delivery system and apparatus used in same
CA2638379A1 (en) * 2008-07-29 2010-01-29 Semiconductor Insights Inc. Integrated circuit characterisation system and method
CN101504690A (zh) * 2009-03-26 2009-08-12 北京航空航天大学 用于通信系统集成电路设计的实时仿真验证系统及其方法
CN102932003A (zh) * 2012-09-07 2013-02-13 上海交通大学 基于gpu架构的qc-ldpc码的加速译码方法
CN103324780A (zh) * 2012-12-20 2013-09-25 中国科学院近代物理研究所 颗粒流动仿真系统和方法
CN104698442A (zh) * 2013-12-06 2015-06-10 中国科学院电子学研究所 机载下视阵列三维合成孔径雷达分布式三维场景仿真方法
CN105101180A (zh) * 2014-04-18 2015-11-25 北京安兔兔科技有限公司 终端真伪验证方法及装置
CN104461810A (zh) * 2014-11-14 2015-03-25 深圳市芯海科技有限公司 一种提高嵌入式处理器功能验证效率的方法
CN104865560A (zh) * 2015-04-21 2015-08-26 中国电子科技集团公司第三十八研究所 一种基于uvm的相控阵雷达数字波束形成器模块验证方法及其验证平台
CN106201870A (zh) * 2016-07-01 2016-12-07 浪潮电子信息产业股份有限公司 一种测试gpu的方法及装置
US20180300844A1 (en) * 2017-04-13 2018-10-18 Arm Limited Data processing
BR102017026856A2 (pt) * 2017-12-13 2019-06-25 Fundacao Cpqd - Centro De Pesquisa E Desenvolvimento Em Telecomunicacoes Método de vetorização em nível de bits para simulação de circuitos lógicos
CN109634583A (zh) * 2018-11-14 2019-04-16 西安翔腾微电子科技有限公司 一种基于SystemC的GPU颜色存储Cache模块的硬件TLM模型及实现结构
CN109614656A (zh) * 2018-11-14 2019-04-12 西安翔腾微电子科技有限公司 一种用于OpenGL显示列表调用的TLM模型
CN109599135A (zh) * 2018-11-14 2019-04-09 西安翔腾微电子科技有限公司 Gpu帧缓冲区的tlm模型、存储方法、存储系统和存储介质
CN109598077A (zh) * 2018-12-11 2019-04-09 中国航空工业集团公司西安航空计算技术研究所 一种基于gpu芯片的图形管线装置及建模方法
CN109683877A (zh) * 2018-12-11 2019-04-26 中国航空工业集团公司西安航空计算技术研究所 一种基于SystemC的GPU软硬件交互TLM系统
CN109710229A (zh) * 2018-12-11 2019-05-03 中国航空工业集团公司西安航空计算技术研究所 一种面向gpu芯片图形管线单元架构验证方法及平台
CN110263459A (zh) * 2019-06-25 2019-09-20 合肥工业大学 一种基于测试序列分析的uvm验证加速方法
CN110618929A (zh) * 2019-08-01 2019-12-27 广东工业大学 一种基于uvm的对称加密算法的验证平台和验证方法
CN111062173A (zh) * 2019-11-21 2020-04-24 中国航空工业集团公司西安航空计算技术研究所 一种面向gpu芯片渲染输出单元功能仿真方法及平台
GB202011344D0 (en) * 2020-07-22 2020-09-02 Imagination Tech Ltd Methods and systems for verifying a property of an integrated circuit hardware design using quiescent state
AU2020102026A4 (en) * 2020-08-28 2020-10-01 N Sandeep Chaitanya ELSM- Quantum Computing: EXTREMELY LARGE DATABASES STORE INTO A SMALL MEMORY USING QUANTUM COMPUTING.
CN112232000A (zh) * 2020-10-23 2021-01-15 海光信息技术股份有限公司 跨多个验证域的验证系统、验证方法、验证设备
US20220140997A1 (en) * 2020-11-01 2022-05-05 The Toronto-Dominion Bank Validating confidential data using homomorphic computations
CN112579381A (zh) * 2020-12-28 2021-03-30 杭州德旺信息技术有限公司 一种基于uvm的uart总线的uvm验证系统及方法
CN113297017A (zh) * 2021-05-07 2021-08-24 杭州德旺信息技术有限公司 一种基于uvm的soc验证系统及方法
CN113626343A (zh) * 2021-10-12 2021-11-09 中科南京智能技术研究院 一种基于UVM的Router可重用验证平台
CN114417768A (zh) * 2022-03-29 2022-04-29 南京金阵微电子技术有限公司 一种以太网芯片的数模混合仿真方法及系统
CN115114875A (zh) * 2022-08-31 2022-09-27 沐曦科技(北京)有限公司 一种用于仿真的通用芯片验证装置

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
ANDRÉ R. BRODTKORB, MARTIN L. SÆTRA, MUSTAFA ALTINAKAR: "Efficient shallow water simulations on GPUs: Implementation, visualization, verification, and validation", 《COMPUTERS & FLUIDS》, vol. 55, pages 1 - 12, XP028354094, DOI: 10.1016/j.compfluid.2011.10.012 *
吴进;李乔深;闵育;马思敏;: "一种基于OpenCL的Lukas-Kanade光流并行加速算法", 电讯技术, no. 08 *

Cited By (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN116362168A (zh) * 2023-05-31 2023-06-30 芯动微电子科技(珠海)有限公司 一种gpgpu离线时钟的建模方法、装置和存储介质
CN116362168B (zh) * 2023-05-31 2023-08-22 芯动微电子科技(珠海)有限公司 一种gpgpu离线时钟的建模方法、装置和存储介质
CN117077588A (zh) * 2023-10-16 2023-11-17 沐曦集成电路(上海)有限公司 硬件加速仿真调试系统
CN117077588B (zh) * 2023-10-16 2024-01-23 沐曦集成电路(上海)有限公司 硬件加速仿真调试系统
CN117332742A (zh) * 2023-12-01 2024-01-02 芯动微电子科技(武汉)有限公司 一种芯片设计阶段的仿真验证方法和装置
CN117332742B (zh) * 2023-12-01 2024-02-23 芯动微电子科技(武汉)有限公司 一种芯片设计阶段的仿真验证方法和装置

Also Published As

Publication number Publication date
CN115719047B (zh) 2023-06-06

Similar Documents

Publication Publication Date Title
CN115496034B (zh) 多模式gpu联合仿真系统
CN115688676B (zh) 基于tlm的gpu联合仿真系统
CN115719047A (zh) 基于波形gpu联合仿真系统
CN102508753B (zh) Ip核验证系统
CN115686655B (zh) 用于gpu ip验证的联合仿真系统
CN111931445B (zh) 用于调试逻辑系统设计的方法、仿真器及存储介质
Hopkins et al. Debug support strategy for systems-on-chips with multiple processor cores
US5600579A (en) Hardware simulation and design verification system and method
CN112580295A (zh) 多核SoC芯片的自动化验证方法、系统及装置
JPH11296403A (ja) 向上した埋め込みロジックアナライザ
CN105205249A (zh) 一种soc调试验证系统及其软硬件协同方法
CN111104269B (zh) 一种基于uart接口的处理器调试方法及系统
US7861070B2 (en) Trace compression method for debug and trace interface wherein differences of register contents between logically adjacent registers are packed and increases of program counter addresses are categorized
CN113297073B (zh) 芯片中算法模块的验证方法、装置、设备及可读存储介质
Goli et al. Scalable simulation-based verification of SystemC-based virtual prototypes
CN115618800B (zh) 基于dpi的gpu联合仿真系统
Gharehbaghi et al. Transaction-based post-silicon debug of many-core system-on-chips
Garavel et al. Verification of an industrial SystemC/TLM model using LOTOS and CADP
JP2005346517A (ja) 検証装置および検証方法
CN112162879A (zh) 一种实时多核dsp软件的日志系统
US8627145B2 (en) High volume recording of instrumentation data varying instrumentation volumes to prevent data loss
Huggi et al. Design and verification of memory elements using python
US10816600B1 (en) Protocol analysis and visualization during simulation
CN111338761A (zh) 一种51单片机虚拟中断控制器及实现方法
Shen et al. A Universal-Verification-Methodology-Based Verification Strategy for High-Level Synthesis Design

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