CN106599343B - 一种提高仿真效率的soc系统验证方法和装置 - Google Patents

一种提高仿真效率的soc系统验证方法和装置 Download PDF

Info

Publication number
CN106599343B
CN106599343B CN201610936215.3A CN201610936215A CN106599343B CN 106599343 B CN106599343 B CN 106599343B CN 201610936215 A CN201610936215 A CN 201610936215A CN 106599343 B CN106599343 B CN 106599343B
Authority
CN
China
Prior art keywords
system verification
soc chip
command
soc
test
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.)
Active
Application number
CN201610936215.3A
Other languages
English (en)
Other versions
CN106599343A (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.)
GUOWEI GROUP (SHENZHEN) Co.,Ltd.
Original Assignee
Shenzhen State Micro Technology 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 Shenzhen State Micro Technology Co Ltd filed Critical Shenzhen State Micro Technology Co Ltd
Priority to CN201610936215.3A priority Critical patent/CN106599343B/zh
Publication of CN106599343A publication Critical patent/CN106599343A/zh
Application granted granted Critical
Publication of CN106599343B publication Critical patent/CN106599343B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/20Design optimisation, verification or simulation
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/39Circuit design at the physical level
    • G06F30/398Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]

Abstract

本发明公开了一种提高仿真效率的SOC系统验证方法和装置,其中方法所用到的主要硬件包括系统验证平台和待验证的SOC芯片,包括如下步骤:将测试激励中的硬件激励的代码整合在所述系统验证平台(105)中;在对SOC芯片(101)仿真验证之前,对构成系统验证平台(105)和SOC芯片(101)的硬件代码进行一次性编译;所述系统验证平台(105)接收外部的测试命令,选择相应的SOC芯片(101)的硬件运行环境,编译并运行相应的软件激励的代码,对所述SOC芯片(101)进行仿真验证。本发明节约了硬件代码的编译时间和SOC芯片重复上电初始化的运行时间,大大提高了SOC芯片仿真验证的效率。

Description

一种提高仿真效率的SOC系统验证方法和装置
技术领域
本发明涉及集成电路验证测试领域,特别涉及一种减少编译时间和运行时间的SOC系统验证方法。
背景技术
现有的SOC(System On Chip)芯片的规模越来越大,SOC芯片的验证也越来越复杂和耗时。SOC系统验证是使用电子设计自动化(Electronic Design Automation,EDA)工具对SOC芯片进行仿真验证,以确保SOC芯片设计的正确性。
SOC芯片的系统验证通常采用软件硬件协同仿真验证的方式,测试激励由软件激励和硬件激励组成。其中软件激励由C、C++等软件语言编码后经编译器编译生成可执行文件,存放在SOC芯片的程序存储器中,再由SOC芯片的中央处理单元(Central ProcessorUnit,CPU)从程序存储器中读取指令并执行以完成SOC芯片所设计的功能。硬件激励由Verilog、VHDL、SystemVerilog等硬件描述语言或硬件验证语言编码,用于构建SOC芯片运行软件激励时对应的硬件环境。系统验证平台以及待验证SOC芯片也是由硬件语言编码,包括硬件激励、系统验证平台和待验证SOC芯片的硬件代码需要经编译器编译生成可执行文件后才能开始仿真运行。
传统的SOC系统验证方法在测试激励运行切换时,虽然构成系统验证平台和待验证SOC芯片的硬件代码不变,但由于测试激励的软件激励代码和硬件激励代码都发生了变化,就需要对构成软件激励的软件代码和构成硬件激励、系统验证平台和待验证SOC芯片的硬件代码各编译一次后才能开始仿真运行。随着SOC芯片的设计规模越来越大,SOC系统验证花费在编译硬件代码上的时间也越来越多,特别是在做规模较大的SOC芯片门级电路的仿真时,其硬件代码的编译时间已经达到以小时为单位计算了。而软件代码的编译时间通常以秒为单位计算,相对硬件代码的编译时间可以忽略不计。传统的SOC系统验证方法需要软件代码和硬件代码各编译一次后才能开始仿真运行,存在如下缺点:
1、造成系统验证调试阶段编译时间的浪费:在系统验证的测试激励调试阶段,测试激励每调试修改一次,就需要软件代码和硬件代码各编译一次之后才能重新开始仿真运行。
2、造成系统验证回归阶段编译时间的浪费:在系统验证仿真回归阶段,每次一个测试激励运行完切换到另一个测试激励时都需要软件代码和硬件代码各编译一次之后才能重新开始仿真运行。
3、造成SOC芯片上电初始化过程运行时间的浪费:由于每一次重新开始仿真运行,SOC芯片都需要在上电初始化过程完成以后才能开始运行测试激励,就会导致每次测试激励的调试修改或者测试激励的切换都会多花费一段SOC芯片上电初始化过程的运行时间。
发明内容
本发明为了解决上述现有技术中存在的技术问题,提出一种提高仿真效率的SOC系统验证方法,该方法所用到的主要硬件包括系统验证平台和待验证的SOC芯片,其包括如下步骤:
将测试激励中的硬件激励的代码整合在所述系统验证平台(105)中;
在对SOC芯片(101)仿真验证之前,对构成系统验证平台(105)和SOC芯片(101)的硬件代码进行一次性编译;
所述系统验证平台(105)接收外部的测试命令,选择相应的SOC芯片(101)的硬件运行环境,编译并运行相应的软件激励的代码,对所述SOC芯片(101)进行仿真验证。
也就是说,该方法在仿真过程中所编译的测试激励只有软件激励,在系统验证平台中整合了传统的SOC系统验证方法中的硬件激励所构建的各种SOC芯片的硬件运行环境,在编译阶段只需要对构成系统验证平台和SOC芯片的硬件代码编译一次,在SOC芯片的系统仿真运行阶段,系统验证平台根据接收到的测试命令选择相应的SOC芯片硬件运行环境,编译并运行相应的软件激励,对所述SOC芯片进行仿真验证,节约了硬件代码的编译时间,同时也节约SOC芯片的重复上电初始化的运行时间。
同时,本发明还提出了一种提高仿真效率的SOC系统验证装置,主要包括系统验证平台和待验证的SOC芯片,系统验证平台包括用于接收外部测试命令的命令缓冲单元,存储测试激励的测试激励模块和监视仿真运行情况的监视器;SOC芯片(101)包括用于接收命令缓冲单元(106)缓存的测试命令的命令存储器(102)、用于运行测试激励的处理器(103)和用于存储软件激励程序的程序存储器(104);所述系统验证平台(105)内预先整合了测试激励中的硬件激励,使所述系统验证平台(105)具备各种软件激励对应的SOC芯片(101)的硬件运行环境。
本发明通过将传统的SOC系统验证方法中的硬件激励所构建的各种SOC芯片的硬件运行环境整合到统一的系统验证平台中,而在仿真过程中编译的测试激励只有软件激励,之后通过用户操作平台发送测试命令给SOC芯片处理器实现软件激励的修改或者切换,在软件激励发生代码修改或者运行切换时,SOC芯片设计本身以及系统验证平台的硬件代码都保持不变,不需要重新编译,从而大幅减少了SOC系统验证时硬件代码的编译时间。此外,可以通过用户操作平台发送测试命令实现测试激励的实时更新,减少了测试激励修改或者切换时SOC芯片上电初始化过程的仿真运行时间,增强了SOC系统验证的灵活性,有助于提高SOC系统验证效率。
附图说明
图1为本发明装置的结构框图;
图2为本发明为SOC芯片处理器运行程序状态切换示意图;
图3为本发明修改或切换测试激励的流程示意图。
具体实施方式
下面结合附图对本发明的原理及方法进行详细说明。
如图1所示,本发明一实施例提供的提高仿真效率的SOC系统验证装置,包括待验证的SOC芯片101、系统验证平台105和用于输入测试命令的用户操作平台109三部分构成。
其中用户操作平台109采用图形用户界面或者脚本工具制成,主要是为了提供人机交互的界面或接口。测试时,用户可以通过用户操作平台109发出外部的测试命令给系统验证平台105。
系统验证平台105由硬件描述语言Verilog或VHDL或者硬件验证语言SystemVerilog搭建,包含三个模块:命令缓冲单元106、监视器107以及测试激励模块108。用户通过用户操作平台109发送给系统验证平台105的测试命令都存储在命令缓冲单元106中,然后再把测试命令加载到SOC芯片101中的命令存储器102中。监视器107可以在仿真验证SOC芯片101时,监视SOC芯片101的整个仿真运行过程中硬件信号的状态,从而判断SOC芯片101的运行情况,一旦发现异常则立即报告,以及在最后SOC芯片101仿真验证完毕以后,报告本次测试激励对应的仿真验证的结果。
测试激励包括软件激励和硬件激励,在本发明中,测试激励模块108中只包含有软件激励部分,软件激励由C、C++等软件语言编码,经编译器编译后生成可执行文件,存储在SOC芯片101的程序存储器104中,软件激励由多个不同编号的软件代码构成。系统验证平台105将测试激励中的硬件激励的代码整合在其内了,也就是说,将每个软件激励程序运行所需要的硬件环境已经集成在统一的系统验证平台105中了,硬件激励部分在编译阶段统一编译,且只需要编译一次即可,大大提高了仿真的效率,在运行阶段系统验证平台105根据用户操作平台109发送过来的测试命令选择相应的硬件运行环境即可,不再需要硬件代码的重新编译过程了。
SOC芯片101由硬件描述语言Verilog或VHDL编码,其包含三个模块:命令存储器102、处理器103和程序存储器104。命令存储器102可以用SOC芯片中本身就存在的一些处理器103可访问到的通用存储器代替,并不需要在SOC芯片101的设计中增加专用的命令存储器。处理器103运行存储在程序存储器104中的程序,程序存储器104中的程序由两部分组成:一部分是主循环体程序,负责SOC芯片101上电启动后的系统初始化配置和循环查询命令存储器102中的测试命令,主循环体程序的代码保持固定不变。另一部分是软件激励程序,来源于测试激励108。
图2是SOC芯片处理器运行程序状态切换示意图,处理器103在SOC芯片101的上电初始化过程完成后运行程序存储器104中的主循环体程序,循环查询命令存储器102中是否有新的测试命令到来,当查询到有新的测试命令到来后,处理器103根据测试命令的指示跳转到程序存储器104中的软件激励程序运行,在软件激励程序运行完成后,处理器103再跳转回主循环体程序循环查询命令存储器102中是否有新的测试命令到来。
除了上述装置,本发明同时还提出了基于上述装置可以提高仿真效率的SOC系统验证方法,其所使用到的硬件包括SOC芯片101、系统验证平台105和用户操作平台109,该方法的测试激励模块108中只含有软件激励,在系统验证平台105中集成了运行软件激励所需的各种硬件环境,在编译阶段只需要对构成系统验证平台105和SOC芯片101的硬件代码编译一次,在系统仿真运行阶段,系统验证平台105根据接收到用户操作平台109发过来的外部的测试命令选择与软件激励相对应的硬件运行环境,编译并运行软件激励,省略掉了硬件代码的编译时间,从而提升了整个仿真验证过程的效率。
如图3所示,在对SOC芯片101仿真时,具体包括如下步骤:
步骤S301、所述系统验证平台将接收到的外部的测试命令缓存在命令缓冲单元106中;在本实施例中,通过用户操作平台109使用图形用户界面或者脚本工具发出外部的测试命令给所述系统验证平台105,系统验证平台将接收到的测试命令缓存在命令缓冲单元106中;
步骤S302、系统验证平台105根据测试命令选择相应的软件激励并编译;
步骤S303、系统验证平台105把编译过的软件激励程序加载到SOC芯片101的程序存储器104中;
步骤S304、系统验证平台105把命令缓冲单元106中缓存的测试命令加载到SOC芯片101的命令存储器102中;
步骤S305、SOC芯片101的处理器103在运行主循环体程序状态下查询到命令存储器102中有新的测试命令到来;
步骤S306、处理器103根据测试命令的指示跳转到程序存储器104中的软件激励程序运行,直至运行完毕;
步骤S307、处理器103跳转回主循环体程序运行,循环查询命令存储器102中是否有新的测试命令到来。
在上述步骤S305至步骤S307处理器103运行测试激励的过程中,系统验证平台105的监视器107实时地监视SOC芯片101的运行情况,若SOC芯片101运行异常,监视器107实时地报告异常情况;当软件激励程序运行完成后,监视器107报告测试激励的仿真结果。
从上述对SOC芯片101仿真验证的过程中可以看出,本发明可以对测试激励进行修改或切换,并且本发明使用用户操作平台109修改或切换测试激励108时,只需要对测试激励108的软件代码进行编译,而SOC芯片101以及系统验证平台105的硬件代码不需要重复编译,能够大幅减少传统的SOC系统验证方法由于测试激励的修改或者切换带来的硬件代码的编译时间。同时,在仿真运行时SOC芯片101的上电初始化过程只会运行一次,减少了传统的SOC系统验证方法在测试激励修改或者切换时需要的SOC芯片101上电初始化过程的仿真运行时间。
以上具体实施例仅用以举例说明本发明的结构,本领域的普通技术人员在本发明的构思下可以做出多种变形和变化,这些变形和变化均包括在本发明的保护范围之内。

Claims (7)

1.一种提高仿真效率的SOC系统验证方法,包括系统验证平台(105)和待验证的SOC芯片(101),其特征在于,包括如下步骤:
将测试激励中每个软件激励对应的硬件激励的代码整合在所述系统验证平台(105)中;
在对SOC芯片(101)仿真验证之前,对构成系统验证平台(105)和SOC芯片(101)的硬件代码进行一次性编译;
所述系统验证平台(105)接收外部的测试命令,选择相应的已编译的SOC芯片(101)的硬件运行环境,编译并运行相应的软件激励的代码,对所述SOC芯片(101)进行仿真验证;
在对SOC芯片(101)仿真时,具体包括如下步骤:
步骤S301、所述系统验证平台将接收到的外部的测试命令缓存在命令缓冲单元(106)中;
步骤S302、系统验证平台(105)根据测试命令选择相应的软件激励,并编译软件激励的代码;
步骤S303、系统验证平台(105)把编译过的软件激励加载到SOC芯片(101)的程序存储器(104)中;
步骤S304、系统验证平台(105)把命令缓冲单元(106)中缓存的测试命令加载到SOC芯片(101)的命令存储器(102)中;
步骤S305、SOC芯片(101)的处理器(103)在运行主循环体程序的状态下,查询到命令存储器(102)中有新的测试命令到来;
步骤S306、处理器(103)根据测试命令的指示跳转到程序存储器(104)中运行软件激励程序,直至运行完毕;
步骤S307、处理器(103)跳转回主循环体程序运行,循环查询命令存储器(102)中是否有新的测试命令到来。
2.如权利要求1所述的提高仿真效率的SOC系统验证方法,其特征在于,所述步骤S305至步骤S307处理器(103)运行测试激励的过程中,系统验证平台(105)的监视器(107)实时地监视SOC芯片(101)的运行情况,若SOC芯片(101)运行异常,监视器(107)实时地报告异常情况;
当软件激励程序运行完成后,监视器(107)报告测试激励的仿真结果。
3.如权利要求1所述的提高仿真效率的SOC系统验证方法,其特征在于,通过用户操作平台(109)使用图形用户界面或者脚本工具发出外部的测试命令给所述系统验证平台(105),所述系统验证平台将接收到的测试命令缓存在命令缓冲单元(106)中。
4.一种提高仿真效率的SOC系统验证的装置,包括系统验证平台和待验证的SOC芯片,其特征在于,
所述系统验证平台(105)包括用于接收外部测试命令的命令缓冲单元(106),存储软件激励的测试激励模块(108);
所述SOC芯片(101)包括用于接收命令缓冲单元(106)缓存的测试命令的命令存储器(102)、用于运行测试激励的处理器(103)和用于存储软件激励程序的程序存储器(104);
所述系统验证平台(105)内预先整合了测试激励中的硬件激励,使所述系统验证平台(105)具备各种软件激励对应的SOC芯片(101)的硬件运行环境;
对所述SOC芯片(101)仿真时,所述系统验证平台将接收到的外部的测试命令缓存在命令缓冲单元(106)中;系统验证平台(105)根据测试命令选择相应的软件激励,并编译软件激励的代码;系统验证平台(105)把编译过的软件激励加载到SOC芯片(101)的程序存储器(104)中;系统验证平台(105)把命令缓冲单元(106)中缓存的测试命令加载到SOC芯片(101)的命令存储器(102)中;SOC芯片(101)的处理器(103)在运行主循环体程序的状态下,查询到命令存储器(102)中有新的测试命令到来;处理器(103)根据测试命令的指示跳转到程序存储器(104)中运行软件激励程序,直至运行完毕;处理器(103)跳转回主循环体程序运行,循环查询命令存储器(102)中是否有新的测试命令到来。
5.如权利要求4所述的提高仿真效率的SOC系统验证装置,其特征在于,所述系统验证平台(105)还包括用于实时地监视SOC芯片(101)的运行情况的监视器(107)。
6.如权利要求4所述的提高仿真效率的SOC系统验证装置,其特征在于,所述SOC系统验证装置还包括采用图形用户界面或者脚本工具制成的用户操作平台(109),通过所述用户操作平台(109)发出外部的测试命令给所述系统验证平台(105)。
7.如权利要求4所述的提高仿真效率的SOC系统验证装置,其特征在于,所述命令存储器(102)为SOC芯片(101)自带的可访问的通用存储器。
CN201610936215.3A 2016-11-01 2016-11-01 一种提高仿真效率的soc系统验证方法和装置 Active CN106599343B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201610936215.3A CN106599343B (zh) 2016-11-01 2016-11-01 一种提高仿真效率的soc系统验证方法和装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201610936215.3A CN106599343B (zh) 2016-11-01 2016-11-01 一种提高仿真效率的soc系统验证方法和装置

Publications (2)

Publication Number Publication Date
CN106599343A CN106599343A (zh) 2017-04-26
CN106599343B true CN106599343B (zh) 2020-10-20

Family

ID=58589539

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201610936215.3A Active CN106599343B (zh) 2016-11-01 2016-11-01 一种提高仿真效率的soc系统验证方法和装置

Country Status (1)

Country Link
CN (1) CN106599343B (zh)

Families Citing this family (15)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108038283B (zh) * 2017-11-30 2021-06-08 北京时代民芯科技有限公司 一种虚拟时钟同步的高效高覆盖率SoC验证平台
CN109783298A (zh) * 2019-01-18 2019-05-21 上海磐启微电子有限公司 一种流程灵活可控的软硬件协同SoC验证方法
CN110110355A (zh) * 2019-03-25 2019-08-09 电子科技大学 一种基于fpga的原型验证平台
CN110096404A (zh) * 2019-05-06 2019-08-06 盛科网络(苏州)有限公司 一种基于裸机代码的自动化SoC验证方法及装置
CN111914410A (zh) * 2020-07-16 2020-11-10 博流智能科技(南京)有限公司 SoC软硬件协同仿真加速系统及方法
CN111967209A (zh) * 2020-08-21 2020-11-20 广芯微电子(广州)股份有限公司 一种soc仿真验证方法、装置及存储介质
CN112329366A (zh) * 2020-12-04 2021-02-05 国微集团(深圳)有限公司 一种提高仿真效率的soc系统验证方法、装置及系统
CN112668262B (zh) * 2020-12-25 2023-04-07 瓴盛科技有限公司 SoC验证方法、系统、装置和计算机可读介质
CN113010361B (zh) * 2021-02-22 2022-03-18 无锡中微亿芯有限公司 全可编程soc芯片的mio功能快速验证方法
CN113343617B (zh) * 2021-05-27 2022-07-22 长沙金维信息技术有限公司 软硬件协同仿真方法
CN113806153B (zh) * 2021-09-15 2023-10-24 深圳市创成微电子有限公司 一种芯片验证方法
CN114325333A (zh) * 2021-12-30 2022-04-12 江苏集萃智能集成电路设计技术研究所有限公司 一种高效率规范化的soc系统级验证方法及装置
CN114528792B (zh) * 2022-02-18 2023-08-29 杭州爱芯元智科技有限公司 芯片验证方法、装置、电子设备及存储介质
CN114722750A (zh) * 2022-03-18 2022-07-08 北京遥感设备研究所 Soc芯片仿真验证方法、装置、设备和存储介质
CN116594872B (zh) * 2023-04-28 2023-11-07 进迭时空(杭州)科技有限公司 一种soc原型验证自动化回归测试装置和方法

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
TW494325B (en) * 1999-10-28 2002-07-11 Advantest Corp Method and apparatus for SoC design validation
CN1637716A (zh) * 2004-01-05 2005-07-13 三星电子株式会社 使用存储器仿真模块的嵌入式微计算机单元及其测试方法

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102402628B (zh) * 2010-09-07 2016-03-09 无锡中感微电子股份有限公司 一种生成SoC验证平台的方法及系统
CN102567149B (zh) * 2010-12-09 2016-03-23 上海华虹集成电路有限责任公司 Soc系统验证方法
CN103440195A (zh) * 2013-07-11 2013-12-11 盛科网络(苏州)有限公司 基于逻辑芯片的交换机芯片验证方法和装置
US9460261B2 (en) * 2014-03-05 2016-10-04 Vayavya Labs Private. Limited Computer-implemented verification system for performing a functional verification of an integrated circuit
TWM494325U (zh) * 2014-09-26 2015-01-21 rui-ze Lin 半框式鏡框與鏡片連接結構和眼鏡
CN104699524A (zh) * 2015-04-01 2015-06-10 山东华芯半导体有限公司 一种静态编译动态仿真的soc芯片验证系统及验证方法

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
TW494325B (en) * 1999-10-28 2002-07-11 Advantest Corp Method and apparatus for SoC design validation
CN1637716A (zh) * 2004-01-05 2005-07-13 三星电子株式会社 使用存储器仿真模块的嵌入式微计算机单元及其测试方法

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
"Definition of a systematic method for the generation of software test programs allowing the functional verification of System On Chip(SoC)";F.Hunsinger等;《IEEE COMPUTER SOCIETY》;20031231;第1-6页 *

Also Published As

Publication number Publication date
CN106599343A (zh) 2017-04-26

Similar Documents

Publication Publication Date Title
CN106599343B (zh) 一种提高仿真效率的soc系统验证方法和装置
Mishra et al. Post-silicon validation in the SoC era: A tutorial introduction
US20050267730A1 (en) Dynamic programming of trigger conditions in hardware emulation systems
US8402442B1 (en) Common debugger method and system
CN112329366A (zh) 一种提高仿真效率的soc系统验证方法、装置及系统
CN113901745A (zh) 芯片测试方法、装置、电子设备及计算机可读存储介质
KR100607023B1 (ko) 프로그램 처리 장치
US9092567B2 (en) Systems and methods for analyzing transactions in a computer system
Bernardi et al. On the functional test of the register forwarding and pipeline interlocking unit in pipelined processors
US7072824B2 (en) Method and apparatus for emulating a processor
KR100768396B1 (ko) 프로그램 처리 장치
US20190146893A1 (en) Simulation device, simulation system, simulation method, and simulation program
CN103713977A (zh) 一种微处理器ip核比较验证的实现方法
CN110955605A (zh) 一种cpu验证单步动态执行的方法
Chang et al. A unified GDB-based source-transaction level SW/HW co-debugging
Attia et al. StateLink: FPGA system debugging via flexible simulation/hardware integration
WO2001084316A1 (en) Rapid debugging method on rapid prototyping apparatus for complex embedded system
JP2004361171A (ja) 半導体集積回路および半導体集積回路の機能検証方法
US20210173994A1 (en) Method and system for viewing simulation signals of a digital product
CN117113907B (zh) 一种验证方法、装置、电子设备及可读存储介质
US20210173989A1 (en) Simulation signal viewing method and system for digital product
US20220300690A1 (en) Incremental compilation for fpga-based systems
US20230333950A1 (en) Random instruction-side stressing in post-silicon validation
CN116302929A (zh) 一种故障动态注入方法及系统
Hekmatpour et al. A heterogeneous functional verification platform

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
CP03 Change of name, title or address

Address after: 22A, Guoshi building, 1801 Shahe West Road, high tech Zone, Yuehai street, Nanshan District, Shenzhen City, Guangdong Province

Patentee after: GUOWEI GROUP (SHENZHEN) Co.,Ltd.

Address before: 518000 Guangdong city of Shenzhen province Nanshan District high tech Industrial Park South high SSMEC building two floor

Patentee before: SHENZHEN STATE MICRO TECHNOLOGY Co.,Ltd.

CP03 Change of name, title or address