CN107797846A - 一种Soc芯片验证方法 - Google Patents
一种Soc芯片验证方法 Download PDFInfo
- Publication number
- CN107797846A CN107797846A CN201710878162.9A CN201710878162A CN107797846A CN 107797846 A CN107797846 A CN 107797846A CN 201710878162 A CN201710878162 A CN 201710878162A CN 107797846 A CN107797846 A CN 107797846A
- Authority
- CN
- China
- Prior art keywords
- virtual
- data
- interface
- random
- soc
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
- G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Abstract
本发明公开了一种Soc芯片验证方法,其特征在于在待验证Soc芯片内部的地址空间中划分一段或者2段以上的总线地址空间作为虚拟通讯接口,待验证Soc芯片的外部还挂载有包括外部驱动模块和监控模块的虚拟接口;监控模块监控到该随机数申请,通过随机函数产生随机数据,并通过外部驱动模块将生成的随机数据写入虚拟存储载体中;在虚拟通讯接口的地址范围内将不同的地址定义为不同通讯请求,虚拟接口通过总线上数据的地址信息来识别是否属于事先规划好通讯请求。通过引入虚拟通讯接口的实时监控,有效控制随机激励的产生,并通过打印信息,仿真进程控制,实现CPU程序与硬件仿真程序的实时交互,有利于问题的快速定位,使得验证能够快速收敛。
Description
技术领域
本发明涉及Soc芯片设计及制造领域,特别涉及一种Soc芯片验证方法。
背景技术
随着设计与工艺技术的不断发展,集成电路设计的规模越来越大,复杂度越来越高,为了缩短芯片的上市时间,节约开发成本,多家IP的集成也渐渐成为主流,即SoC(System-on-Chip)技术发展越来越成熟,但也带来SoC的验证复杂度呈现指数级的增长。因此,一个高效的验证平台使得验证迅速收敛显得尤为重要。验证的收敛与激励产生的有效性以及调试的便利性息息相关,而SoC芯片中通常会嵌入CPU,CPU程序激励的随机性也变得很重要。传统的验证平台主要有两种:如图1是程序生成随机数Soc验证平台示意图,该方法通过在CPU程序中直接进行随机数生成,如C调用rand函数生成随机数,此方法缺点是无法做到真正的随机,每次运行得到的随机数都是一样的,无法满足激励随机的要求;图2是脚本生成随机数Soc验证平台示意图,如通过脚本语言perl产生随机数,然后使用如C语言include语句加载这部分随机数据后用来产生随机激励,此方法缺点是每次运行SoC仿真前,都必须先运行产生随机数的程序,使用不方便且影响验证效率。或增加多个用例修改种子,这又带来重复性的劳动,降低验证的效率。C语言实现的CPU程序为例,如果在C程序中直接调用rand函数随机,由于rand函数取决于种子的随机性,而嵌入式CPU并没有提供有效的种子生成机制,这会导致每次运行产生的数据都是固定的,即SoC仿真每次跑的都是固定的测试用例,从而无法提高其覆盖率。同样的,如果使用外部程序产生随机数,C程序include的方式,则有导致测试用例运行失败无法复现场景的缺点。此外,两种验证平台都没有提供很好的调试手段,这对于定位问题的效率大大降低。因此,需要提供一种新的SoC验证平台克服上述问题,以提高效率,减少验证时间并提高验证覆盖率。
发明内容
针对以上缺陷,本发明目的是如何在不增加设计成本的前提下提高随机激励的覆盖率,进而实现提升验证效率的目的。
为了解决以上问题本发明提出了一种Soc芯片验证方法,其特征在于在待验证Soc芯片内部的地址空间中划分一段或者2段以上的总线地址空间作为虚拟通讯接口,待验证Soc芯片的外部还挂载有包括外部驱动模块和监控模块的虚拟接口;当待验证Soc芯片的CPU程序运行需要随机数据时,CPU通过虚拟通讯接口将随机数据需求信息写入虚拟存储载体,并在总线上发起随机数据交易申请,监控模块监控到该交易申请,则通过调用随机数生成模块产生随机数据,并通过外部驱动模块将生成的随机数据写入虚拟存储载体中并通知CPU,CPU读取虚拟存储载体中的随机数据实现随机数据的获取并实现CPU程序激励的动态随机;在虚拟通讯接口的地址范围内将不同的地址定义为不同通讯请求,虚拟接口通过总线上数据的地址信息来识别是否属于事先规划好通讯请求,待验证Soc芯片的CPU通过虚拟存储载体与虚拟接口进行数据动态交互。
所述的Soc芯片验证方法,其特征在于所述的虚拟接口通过硬件仿真实现。
所述的Soc芯片验证方法,其特征在于所述虚拟通讯接口至少包括一个调试信息打印的访问接口,将虚拟通讯接口中的一个地址指定作为调试信息打印的访问接口专用,该地址上携带的数据为需要输出的具体打印信息数据,打印信息数据采用ASCII格式;并分别通过定义特定的数据作为打印开始和结束标志。
所述的Soc芯片验证方法,其特征在于所述虚拟通讯接口至少包括一个控制访问接口,将虚拟通讯接口中的一个地址指定作为控制的访问访问接口专用,该地址上携带的数据为具体的控制指令。
所述的Soc芯片验证方法,其特征在于所述的虚拟存储载体为Soc芯片外部或外部的存储器或FIFO。
所述的Soc芯片验证方法,其特征在于外部驱动模块将生成的随机数据写入虚拟存储载体后再写入结束标记,CPU通过查询是否存在结束标记来判定当前随机数是否写入。
本发明通过引入虚拟通讯接口的实时监控,有效控制随机激励的产生,并通过打印信息,仿真进程控制,实现CPU程序与硬件仿真程序的实时交互,有利于问题的快速定位,使得验证能够快速收敛。
附图说明
图1是程序生成随机数Soc验证平台示意图;
图2是脚本生成随机数Soc验证平台示意图;
图3是新型Soc验证平台示意图。
具体实施方式
下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
图3是新型Soc验证平台示意图。对传统的程序生成随机数Soc验证平台和脚本生成随机数Soc验证平台,其主要的不同在于通过虚拟通信接口实现CPU程序激励的动态随机化,激励的约束可以更精细,同时可以通过监控虚拟通信接口实现动态调试信息的打印,随机激励产生的控制,以及实时控制仿真结束和暂停等操作。
首先在待验证SoC芯片设计时预留冗余地址空间用于虚拟通信接口访问,接口与CPU,接口与芯片外部激励模块之间的交互虚拟存储载体可以是一个通用的存储介质模型,如SRAM(静态随机访问存储),FIFO(先入先出存储)等。虚拟接口协议可以采用SoC常用的总线接口协议,如AHB,APB等,或者也可以自定义一组接口协议。由于该虚拟接口主要用于仿真使用,所以在实际芯片制造时并不需要实现这块对应的逻辑,即不产生实际成本。
其次是芯片外部挂载一个虚拟通信接口驱动和监控模块。CPU程序(如C/C++编写)通过编译器生成指令代码加载到CPU的内存中。当CPU程序需要随机数据时,CPU驱动虚拟接口在总线上发起一笔事先规定好的地址和数据(如地址为0xf100,数据为0x1010)表征CPU需要取得一组随机数据,虚拟接口监控模块解析到该笔交易后,通过SystemVerilog的随机函数产生随机数据,经过芯片外部驱动模块写入虚拟存储载体,并写入结束标志位到一个虚拟存储载体的特殊位置。CPU读取虚拟存储载体查询到该特殊标志位后,即可读取这些随机数据。从而实现CPU程序激励的动态随机化。由于SystemVerilog随机化特有的约束方法,可以实现随机数据之间的相关性,使得随机数据的精细化程度增强,从而更有效的提高验证的覆盖率。
由于CPU驱动虚拟接口在总线上可以发起任意的传输,那么就可以规定好一个特殊地址(如0xe100)作为调试信息打印的访问接口,而在该地址上传输的数据即为打印的信息,外部虚拟接口监控模块解析该地址上的数据时用ASCII(American Standard Code forInformation Interchange,美国信息交换标准代码)字符方式打印输出,即可以阅读的文字信息。类似的,可以规定地址为0xd100,数据为0x55表征结束仿真程序;规定地址为0xd100,数据为0xaa表征暂停仿真程序,从而有效的控制仿真进程。
通过上面描述的方式进行SoC验证,可以真正做到CPU程序与硬件仿真程序之间的动态交互,CPU程序激励的有效随机化大大提高了SoC验证的效率和覆盖率。此外,如果SoC仿真出现错误,由于整个SoC验证平台使用了同一随机种子,因此完全可以使用此种子再次跑仿真来复现和定位问题。
综上所述,本发明解决了传统SoC验证平台上的缺陷,使用上方便高效,并使CPU程序做到了真正的随机,加上调试信息的动态打印,仿真的实时控制,可以大大提高SoC验证的效率。
虽然本发明中阐述了使用虚拟通信接口和虚拟存储载体实现CPU程序与硬件仿真程序之间的交互方式,并列举相应的接口协议和程序语言,但这只是常用的接口协议和程序语言的几种,本技术领域普通人员应该认识到,以上只是用来说明本发明,在没有脱离本发明精神的情况下,可以做出各种等效的变化,如程序语言可以有SystemC,e语言,汇编语言等,接口协议可以有I2C,SPI等。因此,只要在本发明实质精神范围内对上述采用的变化,变型都将落在本发明权利要求书范围内。
以上所揭露的仅为本发明一种实施例而已,当然不能以此来限定本之权利范围,本领域普通技术人员可以理解实现上述实施例的全部或部分流程,并依本发明权利要求所作的等同变化,仍属于本发明所涵盖的范围。
Claims (6)
1.一种Soc芯片验证方法,其特征在于在待验证Soc芯片内部的地址空间中划分一段或者2段以上的总线地址空间作为虚拟通讯接口,待验证Soc芯片的外部还挂载有包括外部驱动模块和监控模块的虚拟接口;当待验证Soc芯片的CPU程序运行需要随机数据时,CPU通过虚拟通讯接口将随机数据需求信息写入虚拟存储载体,并在总线上发起随机数据交易申请,监控模块监控到该交易申请,则通过调用随机数生成模块产生随机数据,并通过外部驱动模块将生成的随机数据写入虚拟存储载体中并通知CPU,CPU读取虚拟存储载体中的随机数据实现随机数据的获取并实现CPU程序激励的动态随机;在虚拟通讯接口的地址范围内将不同的地址定义为不同通讯请求,虚拟接口通过总线上数据的地址信息来识别是否属于事先规划好通讯请求,待验证Soc芯片的CPU通过虚拟存储载体与虚拟接口进行数据动态交互。
2.根据权利要求1所述的Soc芯片验证方法,其特征在于所述的虚拟接口通过硬件仿真程序实现。
3.根据权利要求2所述的Soc芯片验证方法,其特征在于所述虚拟通讯接口至少包括一个调试信息打印的访问接口,将虚拟通讯接口中的一个地址指定作为调试信息打印的访问接口专用,该地址上携带的数据为需要输出的具体打印信息数据,打印信息数据采用ASCII格式;并分别通过定义特定的数据作为打印开始和结束标志。
4.根据权利要求3所述的Soc芯片验证方法,其特征在于所述虚拟通讯接口至少包括一个控制访问接口,将虚拟通讯接口中的一个地址指定作为控制的访问访问接口专用,该地址上携带的数据为具体的控制指令。
5.根据权利要求3所述的Soc芯片验证方法,其特征在于所述的虚拟存储载体为Soc芯片外部或外部的存储器或FIFO。
6.根据权利要求4所述的Soc芯片验证方法,其特征在于外部驱动模块将生成的随机数据写入虚拟存储载体后再写入结束标记,CPU通过查询是否存在结束标记来判定当前随机数是否写入。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710878162.9A CN107797846B (zh) | 2017-09-26 | 2017-09-26 | 一种Soc芯片验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710878162.9A CN107797846B (zh) | 2017-09-26 | 2017-09-26 | 一种Soc芯片验证方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107797846A true CN107797846A (zh) | 2018-03-13 |
CN107797846B CN107797846B (zh) | 2020-07-14 |
Family
ID=61532154
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710878162.9A Active CN107797846B (zh) | 2017-09-26 | 2017-09-26 | 一种Soc芯片验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107797846B (zh) |
Cited By (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109033540A (zh) * | 2018-07-02 | 2018-12-18 | 郑州云海信息技术有限公司 | 一种芯片随机验证过程中的激励管理方法及系统 |
CN109684672A (zh) * | 2018-11-30 | 2019-04-26 | 上海芯钛信息科技有限公司 | 一种soc芯片系统级验证系统及方法 |
CN110134561A (zh) * | 2019-05-20 | 2019-08-16 | 北京嘉楠捷思信息技术有限公司 | 一种软硬件协同验证中调试信息的输出方法及装置 |
CN110287072A (zh) * | 2019-06-20 | 2019-09-27 | 深圳忆联信息系统有限公司 | 随机验证响应的方法、装置、计算机设备及存储介质 |
CN110688811A (zh) * | 2019-09-12 | 2020-01-14 | 山东华芯半导体有限公司 | 一种随机权重可控的加速soc模块设计验证的方法 |
CN111488723A (zh) * | 2020-04-01 | 2020-08-04 | 北京中电华大电子设计有限责任公司 | 一种基于脚本的soc芯片存储控制器自动化仿真验证方法 |
CN111967209A (zh) * | 2020-08-21 | 2020-11-20 | 广芯微电子(广州)股份有限公司 | 一种soc仿真验证方法、装置及存储介质 |
CN111984491A (zh) * | 2020-08-28 | 2020-11-24 | 思尔芯(上海)信息科技有限公司 | 一种用于原型验证的虚拟存储设备 |
CN112363877A (zh) * | 2020-11-10 | 2021-02-12 | 海光信息技术股份有限公司 | 芯片验证方法及平台 |
CN112579378A (zh) * | 2020-12-24 | 2021-03-30 | 西安翔腾微电子科技有限公司 | 一种gpu芯片虚拟验证平台仿真图片的自动产生方法 |
CN112765092A (zh) * | 2021-01-08 | 2021-05-07 | 北京虹信万达科技有限公司 | 一种基于信息系统运行的soc安全管理系统及方法 |
CN115270107A (zh) * | 2022-09-26 | 2022-11-01 | 北京紫光芯能科技有限公司 | 一种信息验证方法、装置、可读介质及电子设备 |
CN116306410A (zh) * | 2023-05-22 | 2023-06-23 | 南京芯驰半导体科技有限公司 | 基于紧耦合内存的信息打印方法及装置、硬件验证方法 |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102402430A (zh) * | 2010-09-14 | 2012-04-04 | 无锡中星微电子有限公司 | 一种利用脚本生成随机测试例方法和系统 |
CN102902834A (zh) * | 2011-07-29 | 2013-01-30 | 炬力集成电路设计有限公司 | 一种soc芯片的验证方法及系统 |
CN103530166A (zh) * | 2013-09-26 | 2014-01-22 | 中国航天科工集团第三研究院第八三五七研究所 | 一种基于虚拟ram的面向多通道芯片的验证平台和验证方法 |
CN104536885A (zh) * | 2014-12-17 | 2015-04-22 | 记忆科技(深圳)有限公司 | 一种生成Soc随机验证平台的方法 |
CN106503308A (zh) * | 2016-10-08 | 2017-03-15 | 中国电子科技集团公司第五十八研究所 | 一种基于uvm的can控制器ip验证平台 |
CN106991213A (zh) * | 2017-03-09 | 2017-07-28 | 记忆科技(深圳)有限公司 | 一种实现SoC验证的交互机制的方法 |
CN107016165A (zh) * | 2017-03-09 | 2017-08-04 | 记忆科技(深圳)有限公司 | 一种SoC自动化随机验证的方法 |
-
2017
- 2017-09-26 CN CN201710878162.9A patent/CN107797846B/zh active Active
Patent Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102402430A (zh) * | 2010-09-14 | 2012-04-04 | 无锡中星微电子有限公司 | 一种利用脚本生成随机测试例方法和系统 |
CN102902834A (zh) * | 2011-07-29 | 2013-01-30 | 炬力集成电路设计有限公司 | 一种soc芯片的验证方法及系统 |
WO2013017037A1 (zh) * | 2011-07-29 | 2013-02-07 | 炬力集成电路设计有限公司 | 一种soc芯片的验证方法及系统 |
CN103530166A (zh) * | 2013-09-26 | 2014-01-22 | 中国航天科工集团第三研究院第八三五七研究所 | 一种基于虚拟ram的面向多通道芯片的验证平台和验证方法 |
CN104536885A (zh) * | 2014-12-17 | 2015-04-22 | 记忆科技(深圳)有限公司 | 一种生成Soc随机验证平台的方法 |
CN106503308A (zh) * | 2016-10-08 | 2017-03-15 | 中国电子科技集团公司第五十八研究所 | 一种基于uvm的can控制器ip验证平台 |
CN106991213A (zh) * | 2017-03-09 | 2017-07-28 | 记忆科技(深圳)有限公司 | 一种实现SoC验证的交互机制的方法 |
CN107016165A (zh) * | 2017-03-09 | 2017-08-04 | 记忆科技(深圳)有限公司 | 一种SoC自动化随机验证的方法 |
Cited By (21)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109033540B (zh) * | 2018-07-02 | 2022-03-04 | 郑州云海信息技术有限公司 | 一种芯片随机验证过程中的激励管理方法及系统 |
CN109033540A (zh) * | 2018-07-02 | 2018-12-18 | 郑州云海信息技术有限公司 | 一种芯片随机验证过程中的激励管理方法及系统 |
CN109684672A (zh) * | 2018-11-30 | 2019-04-26 | 上海芯钛信息科技有限公司 | 一种soc芯片系统级验证系统及方法 |
CN109684672B (zh) * | 2018-11-30 | 2022-12-02 | 上海芯钛信息科技有限公司 | 一种soc芯片系统级验证系统及方法 |
CN110134561A (zh) * | 2019-05-20 | 2019-08-16 | 北京嘉楠捷思信息技术有限公司 | 一种软硬件协同验证中调试信息的输出方法及装置 |
CN110134561B (zh) * | 2019-05-20 | 2023-07-14 | 嘉楠明芯(北京)科技有限公司 | 一种软硬件协同验证中调试信息的输出方法及装置 |
CN110287072A (zh) * | 2019-06-20 | 2019-09-27 | 深圳忆联信息系统有限公司 | 随机验证响应的方法、装置、计算机设备及存储介质 |
CN110688811A (zh) * | 2019-09-12 | 2020-01-14 | 山东华芯半导体有限公司 | 一种随机权重可控的加速soc模块设计验证的方法 |
CN110688811B (zh) * | 2019-09-12 | 2023-05-02 | 山东华芯半导体有限公司 | 一种随机权重可控的加速soc模块设计验证的方法 |
CN111488723A (zh) * | 2020-04-01 | 2020-08-04 | 北京中电华大电子设计有限责任公司 | 一种基于脚本的soc芯片存储控制器自动化仿真验证方法 |
CN111488723B (zh) * | 2020-04-01 | 2023-12-26 | 北京中电华大电子设计有限责任公司 | 一种基于脚本的soc芯片存储控制器自动化仿真验证方法 |
CN111967209A (zh) * | 2020-08-21 | 2020-11-20 | 广芯微电子(广州)股份有限公司 | 一种soc仿真验证方法、装置及存储介质 |
CN111984491A (zh) * | 2020-08-28 | 2020-11-24 | 思尔芯(上海)信息科技有限公司 | 一种用于原型验证的虚拟存储设备 |
CN112363877A (zh) * | 2020-11-10 | 2021-02-12 | 海光信息技术股份有限公司 | 芯片验证方法及平台 |
CN112579378A (zh) * | 2020-12-24 | 2021-03-30 | 西安翔腾微电子科技有限公司 | 一种gpu芯片虚拟验证平台仿真图片的自动产生方法 |
CN112579378B (zh) * | 2020-12-24 | 2024-04-19 | 西安翔腾微电子科技有限公司 | 一种gpu芯片虚拟验证平台仿真图片的自动产生方法 |
CN112765092A (zh) * | 2021-01-08 | 2021-05-07 | 北京虹信万达科技有限公司 | 一种基于信息系统运行的soc安全管理系统及方法 |
CN115270107A (zh) * | 2022-09-26 | 2022-11-01 | 北京紫光芯能科技有限公司 | 一种信息验证方法、装置、可读介质及电子设备 |
CN115270107B (zh) * | 2022-09-26 | 2022-12-20 | 北京紫光芯能科技有限公司 | 一种信息验证方法、装置、可读介质及电子设备 |
CN116306410A (zh) * | 2023-05-22 | 2023-06-23 | 南京芯驰半导体科技有限公司 | 基于紧耦合内存的信息打印方法及装置、硬件验证方法 |
CN116306410B (zh) * | 2023-05-22 | 2023-12-15 | 南京芯驰半导体科技有限公司 | 基于紧耦合内存的信息打印方法及装置、硬件验证方法 |
Also Published As
Publication number | Publication date |
---|---|
CN107797846B (zh) | 2020-07-14 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107797846A (zh) | 一种Soc芯片验证方法 | |
CN100487709C (zh) | Soc软硬件一体化设计验证方法 | |
CN103530216B (zh) | 一种基于uvm验证方法学的pcie验证系统 | |
WO2016090908A1 (zh) | 智能电表嵌入式应用的模拟存储器测试板系统及测试方法 | |
CN106940428A (zh) | 芯片验证方法、装置及系统 | |
CN102542110B (zh) | 一种应用于移动存储soc芯片的仿真验证方法 | |
CN102339343A (zh) | 产生系统模型的方法与在此系统模型中传输数据的方法 | |
CN105741879B (zh) | 一种模拟智能电能表存储器测试板系统及其测试方法 | |
CN102521444A (zh) | 软硬件协同仿真/验证方法及装置 | |
CN115146568B (zh) | 一种基于uvm的芯片验证系统及验证方法 | |
CN113486625B (zh) | 芯片的验证方法与验证系统 | |
CN106293625A (zh) | 一种配置寄存器的方法和装置 | |
CN101923494B (zh) | 一种存储器控制器验证系统、方法及记分板 | |
CN111914501A (zh) | 一种基于UVM验证方法学的FeRAM接口验证平台的实现方法 | |
CN104360946B (zh) | 一种测试缺陷的计算机实现的方法及计算机 | |
CN103530166B (zh) | 一种基于虚拟ram的面向多通道芯片的验证平台和验证方法 | |
CN103793263B (zh) | 一种基于PowerPC处理器的DMA事务级建模方法 | |
CN112100014B (zh) | 无源无线通信芯片验证平台、构建方法及芯片验证方法 | |
CN110134561A (zh) | 一种软硬件协同验证中调试信息的输出方法及装置 | |
CN107273249A (zh) | 主板测试方法、处理器和主板测试系统 | |
CN104679963B (zh) | 一种基于tcl的仿真验证装置和方法 | |
CN112885403B (zh) | 一种Flash控制器的功能测试方法、装置及设备 | |
CN111176926A (zh) | 一种基于双口sram的ip核仿真系统及仿真方法 | |
Peng et al. | Function verification of SRAM controller based on UVM | |
CN105068908B (zh) | 一种用于kvm asic的功能验证平台的搭建方法 |
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 |