CN107562617B - 一种基于nc***中的模块验证*** - Google Patents
一种基于nc***中的模块验证*** Download PDFInfo
- Publication number
- CN107562617B CN107562617B CN201710624534.5A CN201710624534A CN107562617B CN 107562617 B CN107562617 B CN 107562617B CN 201710624534 A CN201710624534 A CN 201710624534A CN 107562617 B CN107562617 B CN 107562617B
- Authority
- CN
- China
- Prior art keywords
- data
- unit
- tested
- type
- receiving
- 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
Links
- 238000012795 verification Methods 0.000 title claims abstract description 52
- 238000012360 testing method Methods 0.000 claims description 27
- 238000012544 monitoring process Methods 0.000 claims description 23
- 230000005540 biological transmission Effects 0.000 claims description 18
- 230000004044 response Effects 0.000 claims description 7
- 238000012545 processing Methods 0.000 claims description 6
- 230000007246 mechanism Effects 0.000 claims description 4
- 239000010410 layer Substances 0.000 description 10
- 238000013461 design Methods 0.000 description 4
- 238000000034 method Methods 0.000 description 4
- 238000010586 diagram Methods 0.000 description 3
- 230000005284 excitation Effects 0.000 description 3
- 238000004458 analytical method Methods 0.000 description 2
- 101100524346 Xenopus laevis req-a gene Proteins 0.000 description 1
- 101100524347 Xenopus laevis req-b gene Proteins 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 239000002346 layers by function Substances 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000008569 process Effects 0.000 description 1
- 239000002699 waste material Substances 0.000 description 1
Images
Landscapes
- Debugging And Monitoring (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
本发明提供一种基于NC***中的模块验证***,第一数据接收比较单元用于将接收待测单元的发出第一类待测数据,与第一类待测数据的预设阈值进行比较验证,将比较验证结果发生制控制单元;第二数据接收比较单元用于将接收待测单元的发出第二类待测数据,与第二类待测数据的预设阈值进行比较验证,将比较验证结果发生制控制单元;第三数据接收比较单元用于将接收待测单元的发出第三类待测数据,与第三类待测数据的预设阈值进行比较验证,将比较验证结果发生制控制单元。***的功能覆盖率及代码覆盖率都达到了预期的要求,并且该验证环境可以无缝的集成到***验证环境中,***在顶层验证中得到应用。
Description
技术领域
本发明涉及节点控制器领域,尤其涉及一种基于NC***中的模块验证***。
背景技术
随着芯片规模的增大,芯片设计中验证已成为流程中开销最大的工作,占整个设计周期的比例越来越大。验证的工作量已经占到整个SOC研发的70%到80%,因此提高芯片验证的效率已变得至关重要。
通常基于SystemVerilog的测试平台,共有五个层次。最底部的信号层包含待测设计和把待测设计连接到测试平台的信号。再上一层是命令层,执行总线读或写命令的驱动器驱动了待测试机的输入;监视器负责检测输出信号的变化;断言穿过命令层和信号层,负责监视独立信号以寻找穿越整个命令的信号变化。功能层中代理接收来自上层的事务,把它们分解成独立的命令,然后送往记分板,用于预测事务结果;检验器负责比较来自监视器和记分板的命令。场景层中的发生器用来驱动功能层。最顶层为测试层,包括各种测试用例。
该测试平台的验证方式主要包含五个步骤,即产生激励,把激励施加到DUT上,捕捉响应,检验正确性,对照整个验证目标测算进展情况。适用于功能和协议比较简单的模块,对于一些复杂的模块,平台搭建难度大,结构松散,架构凌乱,代码可读性差,不具有自动化执行功能,对于不同的IP不具有可重用性,很大程度上造成了技术和人力的浪费。
发明内容
为了克服上述现有技术中的不足,本发明提供一种基于NC***中的模块验证***,包括:控制单元,阈值设置模块,第一数据接收比较单元,第二数据接收比较单元,第三数据接收比较单元,待测单元;
第一数据接收比较单元的第一端,第二数据接收比较单元的第一端,第三数据接收比较单元的第一端分别与待测单元连接,第一数据接收比较单元用于接收待测单元发出的第一类待测数据;第二数据接收比较单元用于接收待测单元发出的第二类待测数据;第三数据接收比较单元用于接收待测单元发出的第三类待测数据;
第一数据接收比较单元的第二端,第二数据接收比较单元的第二端,第三数据接收比较单元的第二端分别与阈值设置模块连接;第一数据接收比较单元通过与阈值设置模块连接,获取第一类待测数据的预设阈值;第二数据接收比较单元通过与阈值设置模块连接,获取第二类待测数据的预设阈值;第三数据接收比较单元通过与阈值设置模块连接,获取第三类待测数据的预设阈值;
第一数据接收比较单元的第三端,第二数据接收比较单元的第三端,第三数据接收比较单元的第三端分别与控制单元连接;
第一数据接收比较单元用于将接收待测单元的发出第一类待测数据,与第一类待测数据的预设阈值进行比较验证,将比较验证结果发送至控制单元;
第二数据接收比较单元用于将接收待测单元的发出第二类待测数据,与第二类待测数据的预设阈值进行比较验证,将比较验证结果发送至控制单元;
第三数据接收比较单元用于将接收待测单元的发出第三类待测数据,与第三类待测数据的预设阈值进行比较验证,将比较验证结果发送至控制单元。
优选地,第一数据接收比较单元包括:第一数据驱动接口,第一数据获取模块,第一数据监控模块;
第一数据驱动接口用于提供第一数据获取模块与待测单元的测试连接的接口;
第一数据获取模块分别与阈值设置模块和待测单元连接,第一数据获取模块在阈值设置模块中获取第一类待测数据的预设阈值;第一数据获取模块通过第一数据驱动接口与待测单元连接,接收待测单元发出的第一类待测数据;
第一数据监控模块将接收待测单元发出的第一类待测数据与第一类待测数据的预设阈值进行比较,将比较结果发送至控制单元。
优选地,第二数据接收比较单元包括:第二数据驱动接口,第二数据获取模块,第二数据监控模块;
第二数据驱动接口用于提供第二数据获取模块与待测单元的测试连接的接口;
第二数据获取模块分别与阈值设置模块和待测单元连接,第二数据获取模块在阈值设置模块中获取第二类待测数据的预设阈值;第二数据获取模块通过第二数据驱动接口与待测单元连接,接收待测单元发出的第二类待测数据;
第二数据监控模块将接收待测单元发出的第二类待测数据与第二类待测数据的预设阈值进行比较,将比较结果发送至控制单元。
优选地,第三数据接收比较单元包括:第三数据驱动接口,第三数据获取模块,第三数据监控模块;
第三数据驱动接口用于提供第三数据获取模块与待测单元的测试连接的接口;
第三数据获取模块分别与阈值设置模块和待测单元连接,第三数据获取模块在阈值设置模块中获取第三类待测数据的预设阈值;第三数据获取模块通过第三数据驱动接口与待测单元连接,接收待测单元发出的第三类待测数据;
第三数据监控模块将接收待测单元发出的第三类待测数据与第三类待测数据的预设阈值进行比较,将比较结果发送至控制单元。
优选地,控制单元包括:待测单元功能类数据获取模块,比较结果获取模块,比较结果输出模块;
比较结果获取模块用于分别获取第一数据接收比较单元,第二数据接收比较单元,第三数据接收比较单元的比较结果;
比较结果输出模块用于将获取的比较结果进行输出;
待测单元功能类数据获取模块用于获取待测单元中,已测数据占待测单元总数据的覆盖率以及已测数据覆盖待测单元中的参数项。
优选地,第一数据接收比较单元接收待测单元发出的第一类待测数据为CPU向待测单元发送req报文,第一数据接收比较单元比较验证待测单元对req报文的处理功能是否正确;
第二数据接收比较单元接收待测单元发出的第二类待测数据为簇外CPU向待测单元发出rsp响应,第二数据接收比较单元验证待测单元对簇外CPU回复报文的处理功能是否正确;
第三数据接收比较单元接收待测单元发出的第三类待测数据为本地CSR向待测单元发出rsp响应,第三数据接收比较单元验证待测单元对本地CSR回复报文的处理功能是否正确。
优选地,还包括:固定数据传输代码顺序模块,数据基类库以及若干个与数据基类库连接的API接口;
固定数据传输代码顺序模块用于固定数据传输代码顺序,并将数据传输代码顺序的排列方式储存在数据基类库;***数据传输代码顺序通过phase机制固定代码顺序;
***中各个单元通过API接口连接数据基类库,获取数据传输代码顺序。
从以上技术方案可以看出,本发明具有以下优点:
基于NC***中的模块验证***的功能覆盖率及代码覆盖率都达到了预期的要求,并且该验证环境可以无缝的集成到***验证环境中,***在顶层验证中得到应用。
附图说明
为了更清楚地说明本发明的技术方案,下面将对描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1为基于NC***中的模块验证***整体示意图;
图2为基于NC***中的模块验证***实施例示意图;
图3为基于NC***中的模块验证***另一实施例示意图。
具体实施方式
为使得本发明的发明目的、特征、优点能够更加的明显和易懂,下面将运用具体的实施例及附图,对本发明保护的技术方案进行清楚、完整地描述,显然,下面所描述的实施例仅仅是本发明一部分实施例,而非全部的实施例。基于本专利中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其它实施例,都属于本专利保护的范围。
本实施例提供一种基于NC***中的模块验证***,如图1所示,包括:控制单元1,阈值设置模块2,第一数据接收比较单元3,第二数据接收比较单元4,第三数据接收比较单元5,待测单元6;
第一数据接收比较单元3的第一端,第二数据接收比较单元4的第一端,第三数据接收比较单元5的第一端分别与待测单元连接,第一数据接收比较单元3用于接收待测单元发出的第一类待测数据;第二数据接收比较单元4用于接收待测单元发出的第二类待测数据;第三数据接收比较单元5用于接收待测单元发出的第三类待测数据;
第一数据接收比较单元3的第二端,第二数据接收比较单元4的第二端,第三数据接收比较单元5的第二端分别与阈值设置模块连接;第一数据接收比较单元3通过与阈值设置模块连接,获取第一类待测数据的预设阈值;第二数据接收比较单元4通过与阈值设置模块连接,获取第二类待测数据的预设阈值;第三数据接收比较单元5通过与阈值设置模块连接,获取第三类待测数据的预设阈值;
第一数据接收比较单元3的第三端,第二数据接收比较单元4的第三端,第三数据接收比较单元5的第三端分别与控制单元1连接;第一数据接收比较单元3用于将接收待测单元的发出第一类待测数据,与第一类待测数据的预设阈值进行比较验证,将比较验证结果发送至控制单元;第二数据接收比较单元4用于将接收待测单元的发出第二类待测数据,与第二类待测数据的预设阈值进行比较验证,将比较验证结果发送至控制单元;第三数据接收比较单元5用于将接收待测单元的发出第三类待测数据,与第三类待测数据的预设阈值进行比较验证,将比较验证结果发送至控制单元1。
本实施例中,如图2所示,第一数据接收比较单元3包括:第一数据驱动接口11,第一数据获取模块12,第一数据监控模块13;
第一数据驱动接口11用于提供第一数据获取模块与待测单元的测试连接的接口;第一数据获取模块12分别与阈值设置模块2和待测单元6连接,第一数据获取模块12在阈值设置模块中获取第一类待测数据的预设阈值;第一数据获取模块通过第一数据驱动接口与待测单元连接,接收待测单元发出的第一类待测数据;第一数据监控模块13将接收待测单元6发出的第一类待测数据与第一类待测数据的预设阈值进行比较,将比较结果发送至控制单元1。
第二数据接收比较单元4包括:第二数据驱动接口21,第二数据获取模块22,第二数据监控模块23;
第二数据驱动接口21用于提供第二数据获取模块22与待测单元6的测试连接的接口;第二数据获取模块22分别与阈值设置模块2和待测单元6连接,第二数据获取模块在阈值设置模块中获取第二类待测数据的预设阈值;第二数据获取模块通过第二数据驱动接口与待测单元连接,接收待测单元发出的第二类待测数据;第二数据监控模块23将接收待测单元6发出的第二类待测数据与第二类待测数据的预设阈值进行比较,将比较结果发送至控制单元1。
第三数据接收比较单元5包括:第三数据驱动接口31,第三数据获取模块32,第三数据监控模块33;第三数据驱动接口31用于提供第三数据获取模块32与待测单元6的测试连接的接口;第三数据获取模块32分别与阈值设置模块和待测单元6连接,第三数据获取模块在阈值设置模块中获取第三类待测数据的预设阈值;第三数据获取模块通过第三数据驱动接口与待测单元连接,接收待测单元发出的第三类待测数据;
第三数据监控模块33将接收待测单元发出的第三类待测数据与第三类待测数据的预设阈值进行比较,将比较结果发送至控制单元1。
本实施例中,控制单元1包括:待测单元功能类数据获取模块,比较结果获取模块,比较结果输出模块;比较结果获取模块用于分别获取第一数据接收比较单元,第二数据接收比较单元,第三数据接收比较单元的比较结果;比较结果输出模块用于将获取的比较结果进行输出;待测单元功能类数据获取模块用于获取待测单元中,已测数据占待测单元总数据的覆盖率以及已测数据覆盖待测单元中的参数项。其中,控制单元1采集覆盖率组中定义的覆盖点信息,并实时打印出功能覆盖率。
本实施例中,第一数据接收比较单元3接收待测单元发出的第一类待测数据为CPU向待测单元发送req报文,第一数据接收比较单元比较验证待测单元对req报文的处理功能是否正确;
第二数据接收比较单元4接收待测单元发出的第二类待测数据为簇外CPU向待测单元发出rsp响应,第二数据接收比较单元验证待测单元对簇外CPU回复报文的处理功能是否正确;
第三数据接收比较单元5接收待测单元发出的第三类待测数据为本地CSR向待测单元发出rsp响应,第三数据接收比较单元验证待测单元对本地CSR回复报文的处理功能是否正确。
本实施例中,***还包括:固定数据传输代码顺序模块,数据基类库以及若干个与数据基类库连接的API接口;固定数据传输代码顺序模块用于固定数据传输代码顺序,并将数据传输代码顺序的排列方式储存在数据基类库;***数据传输代码顺序通过phase机制固定代码顺序;***中各个单元通过API接口连接数据基类库,获取数据传输代码顺序。
***提供一个基类库和若干API接口,并通过phase机制强制固定代码顺序。***一旦启动,可按照phase顺序自动执行。在不同IP验证中可重复利用,模块级验证环境也可直接重用到***级。这些优势都是基于SystemVerilog和Verilog的验证平台所没有的。
通过分析验证结果,功能覆盖率及代码覆盖率都达到了预期的要求,并且该验证环境可以无缝的集成到***验证环境中,***可以在顶层验证中应用,真正做到了可重用验证。
本发明还提供一个具体的实施例,如图3所示,在本发明的验证方法中,控制单元,阈值设置模块,第一数据接收比较单元,第二数据接收比较单元,第三数据接收比较单元都是一个基于System Verilog的类来实现的。类待测数据包含函数,任务,通过这些函数和任务可以完成driver的输出激励功能,完成monitor的监测功能,完成model的计算功能,完成测试验证的比较功能,类中可以有成员变量,这些成员变量可以控制类的行为,如控制的行为等。
通常来说,第一数据接收比较单元,第二数据接收比较单元,第三数据接收比较单元对应设有物理接口协议,不同的接口协议对应不同的数据接收比较单元,接口协议规定了数据的交换格式和方式,数据接收比较单元通过接收数据和比较验证来实现接口协议。***通常会有多个数据接收比较单元。验证环境中包括了验证NC***中所有模块。
测试数据的选择与调度由测试员决定,一般在验证前设置测试数据,即在验证***启动后自动加载其产生的数据包。
在本实施例中,第一数据驱动接口11用于提供第一数据获取模块与待测单元的测试连接的接口;第一数据获取模块12分别与阈值设置模块2和待测单元6连接,第一数据获取模块12在阈值设置模块中获取第一类待测数据的预设阈值;第一数据获取模块通过第一数据驱动接口与待测单元连接,接收待测单元发出的第一类待测数据;第一数据监控模块13将接收待测单元6发出的第一类待测数据与第一类待测数据的预设阈值进行比较,将比较结果发送至控制单元1。第一类待测数据即为req1类驱动数据。
第二数据驱动接口21用于提供第二数据获取模块22与待测单元6的测试连接的接口;第二数据获取模块22分别与阈值设置模块2和待测单元6连接,第二数据获取模块在阈值设置模块中获取第二类待测数据的预设阈值;第二数据获取模块通过第二数据驱动接口与待测单元连接,接收待测单元发出的第二类待测数据;第二数据监控模块23将接收待测单元6发出的第二类待测数据与第二类待测数据的预设阈值进行比较,将比较结果发送至控制单元1。第二类待测数据即为req2类驱动数据。
第三数据驱动接口31用于提供第三数据获取模块32与待测单元6的测试连接的接口;第三数据获取模块32分别与阈值设置模块和待测单元6连接,第三数据获取模块在阈值设置模块中获取第三类待测数据的预设阈值;第三数据获取模块通过第三数据驱动接口与待测单元连接,接收待测单元发出的第三类待测数据;第三数据监控模块33将接收待测单元发出的第三类待测数据与第三类待测数据的预设阈值进行比较,将比较结果发送至控制单元1。第三类待测数据即为req3类驱动数据。
第一数据接收比较单元,第二数据接收比较单元,第三数据接收比较单元是与特定逻辑接口相连接的验证组件包,是验证***中与待测单元通过接口进行通信的组件。
在验证***中,第一数据接收比较单元可以为rp_agt,第二数据接收比较单元可以为xb_agt,第三数据接收比较单元可以为lp_agt。内部定义三个函数:new、build_phase、connect_phase。build_phase根据uvm_active信号实例化具体的对象,值为1时,实例化sqr和drv,并在connect_phase中,将sqr和drv的端口连接起来,并将drv的uvm_tlm_analysis_port连接到agent的端口上,即将agent的ap指向driver的ap,用于将数据复制一份给ref_mdl;值为0时,build_phase中实例化monitor,并在connect_phase中,将monitor的uvm_tlm_analysis_port连接到agent的端口上,将捕获的数据发给控制单元。
本发明的说明书和权利要求书及上述附图中的术语“第一”、“第二”、“第三”“第四”等(如果存在)是用于区别类似的对象,而不必用于描述特定的顺序或先后次序。应该理解这样使用的数据在适当情况下可以互换,以便这里描述的本发明的实施例能够以除了在这里图示或描述的那些以外的顺序实施。此外,术语“包括”和“具有”以及他们的任何变形,意图在于覆盖不排他的包含。
对所公开的实施例的上述说明,使本领域专业技术人员能够实现或使用本发明。对这些实施例的多种修改对本领域的专业技术人员来说将是显而易见的,本文中所定义的一般原理可以在不脱离本发明的精神或范围的情况下,在其它实施例中实现。因此,本发明将不会被限制于本文所示的这些实施例,而是要符合与本文所公开的原理和新颖特点相一致的最宽的范围。
Claims (5)
1.一种基于NC***中的模块验证***,其特征在于,包括:控制单元,阈值设置模块,第一数据接收比较单元,第二数据接收比较单元,第三数据接收比较单元,待测单元;
第一数据接收比较单元的第一端,第二数据接收比较单元的第一端,第三数据接收比较单元的第一端分别与待测单元连接,第一数据接收比较单元用于接收待测单元发出的第一类待测数据;第二数据接收比较单元用于接收待测单元发出的第二类待测数据;第三数据接收比较单元用于接收待测单元发出的第三类待测数据;
第一数据接收比较单元的第二端,第二数据接收比较单元的第二端,第三数据接收比较单元的第二端分别与阈值设置模块连接;第一数据接收比较单元通过与阈值设置模块连接,获取第一类待测数据的预设阈值;第二数据接收比较单元通过与阈值设置模块连接,获取第二类待测数据的预设阈值;第三数据接收比较单元通过与阈值设置模块连接,获取第三类待测数据的预设阈值;
第一数据接收比较单元的第三端,第二数据接收比较单元的第三端,第三数据接收比较单元的第三端分别与控制单元连接;
第一数据接收比较单元用于接收待测单元发出的第一类待测数据,并与第一类待测数据的预设阈值进行比较验证,将比较验证结果发送至控制单元;
第二数据接收比较单元用于接收待测单元发出的第二类待测数据,并与第二类待测数据的预设阈值进行比较验证,将比较验证结果发送至控制单元;
第三数据接收比较单元用于接收待测单元发出的第三类待测数据,并与第三类待测数据的预设阈值进行比较验证,将比较验证结果发送至控制单元;
第一数据接收比较单元接收待测单元发出的第一类待测数据为CPU向待测单元发送req报文,第一数据接收比较单元比较验证待测单元对req报文的处理功能是否正确;
第二数据接收比较单元接收待测单元发出的第二类待测数据为簇外CPU向待测单元发出rsp响应,第二数据接收比较单元验证待测单元对簇外CPU回复报文的处理功能是否正确;
第三数据接收比较单元接收待测单元发出的第三类待测数据为本地CSR向待测单元发出rsp响应,第三数据接收比较单元验证待测单元对本地CSR回复报文的处理功能是否正确;
还包括:固定数据传输代码顺序模块,数据基类库以及若干个与数据基类库连接的API接口;
固定数据传输代码顺序模块用于固定数据传输代码顺序,并将数据传输代码顺序的排列方式储存在数据基类库;***数据传输代码顺序通过phase机制固定代码顺序;
***中各个单元通过API接口连接数据基类库,获取数据传输代码顺序。
2.根据权利要求1所述的基于NC***中的模块验证***,其特征在于,
第一数据接收比较单元包括:第一数据驱动接口,第一数据获取模块,第一数据监控模块;
第一数据驱动接口用于提供第一数据获取模块与待测单元的测试连接的接口;
第一数据获取模块分别与阈值设置模块和待测单元连接,第一数据获取模块在阈值设置模块中获取第一类待测数据的预设阈值;第一数据获取模块通过第一数据驱动接口与待测单元连接,接收待测单元发出的第一类待测数据;
第一数据监控模块将接收待测单元发出的第一类待测数据与第一类待测数据的预设阈值进行比较,将比较结果发送至控制单元。
3.根据权利要求1所述的基于NC***中的模块验证***,其特征在于,
第二数据接收比较单元包括:第二数据驱动接口,第二数据获取模块,第二数据监控模块;
第二数据驱动接口用于提供第二数据获取模块与待测单元的测试连接的接口;
第二数据获取模块分别与阈值设置模块和待测单元连接,第二数据获取模块在阈值设置模块中获取第二类待测数据的预设阈值;第二数据获取模块通过第二数据驱动接口与待测单元连接,接收待测单元发出的第二类待测数据;
第二数据监控模块将接收待测单元发出的第二类待测数据与第二类待测数据的预设阈值进行比较,将比较结果发送至控制单元。
4.根据权利要求1所述的基于NC***中的模块验证***,其特征在于,
第三数据接收比较单元包括:第三数据驱动接口,第三数据获取模块,第三数据监控模块;
第三数据驱动接口用于提供第三数据获取模块与待测单元的测试连接的接口;
第三数据获取模块分别与阈值设置模块和待测单元连接,第三数据获取模块在阈值设置模块中获取第三类待测数据的预设阈值;第三数据获取模块通过第三数据驱动接口与待测单元连接,接收待测单元发出的第三类待测数据;
第三数据监控模块将接收待测单元发出的第三类待测数据与第三类待测数据的预设阈值进行比较,将比较结果发送至控制单元。
5.根据权利要求1所述的基于NC***中的模块验证***,其特征在于,
控制单元包括:待测单元功能类数据获取模块,比较结果获取模块,比较结果输出模块;
比较结果获取模块用于分别获取第一数据接收比较单元,第二数据接收比较单元,第三数据接收比较单元的比较结果;
比较结果输出模块用于将获取的比较结果进行输出;
待测单元功能类数据获取模块用于获取待测单元中,已测数据占待测单元总数据的覆盖率以及已测数据覆盖待测单元中的参数项。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710624534.5A CN107562617B (zh) | 2017-07-27 | 2017-07-27 | 一种基于nc***中的模块验证*** |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710624534.5A CN107562617B (zh) | 2017-07-27 | 2017-07-27 | 一种基于nc***中的模块验证*** |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107562617A CN107562617A (zh) | 2018-01-09 |
CN107562617B true CN107562617B (zh) | 2021-06-01 |
Family
ID=60973764
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710624534.5A Active CN107562617B (zh) | 2017-07-27 | 2017-07-27 | 一种基于nc***中的模块验证*** |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107562617B (zh) |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101694677A (zh) * | 2009-10-19 | 2010-04-14 | 上海华为技术有限公司 | 一种逻辑验证方法、装置及*** |
CN101833606A (zh) * | 2010-03-30 | 2010-09-15 | 连志斌 | 一种集成电路设计验证方法 |
CN103049363A (zh) * | 2013-02-01 | 2013-04-17 | 山东华芯半导体有限公司 | 一种NAND Flash控制器的验证方法 |
-
2017
- 2017-07-27 CN CN201710624534.5A patent/CN107562617B/zh active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101694677A (zh) * | 2009-10-19 | 2010-04-14 | 上海华为技术有限公司 | 一种逻辑验证方法、装置及*** |
CN101833606A (zh) * | 2010-03-30 | 2010-09-15 | 连志斌 | 一种集成电路设计验证方法 |
CN103049363A (zh) * | 2013-02-01 | 2013-04-17 | 山东华芯半导体有限公司 | 一种NAND Flash控制器的验证方法 |
Also Published As
Publication number | Publication date |
---|---|
CN107562617A (zh) | 2018-01-09 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107463473B (zh) | 基于uvm和fpga的芯片软硬件仿真环境 | |
CN104486169B (zh) | 可重用自动检测及随机验证***和方法 | |
CN113076227A (zh) | Mcu验证方法、***和终端设备 | |
CN113434355B (zh) | 模块验证方法、uvm验证平台、电子设备及存储介质 | |
CN112417798B (zh) | 一种时序测试方法、装置、电子设备及存储介质 | |
US7047174B2 (en) | Method for producing test patterns for testing an integrated circuit | |
CN109726061B (zh) | 一种SoC芯片的验证方法 | |
CN116089281A (zh) | 一种芯片测试方法、测试平台和设备 | |
US20220253375A1 (en) | Systems and methods for device testing to avoid resource conflicts for a large number of test scenarios | |
CN104765671A (zh) | 一种用可重用性层次化验证平台进行uart模块验证的方法 | |
CN103376340A (zh) | 一种转接板、多平台串行测试***及方法 | |
CN111381150B (zh) | 芯片自动验证***及其方法 | |
CN114036883A (zh) | 一种基于uvm和vip的uart模块级验证平台 | |
CN115542875A (zh) | 一种基于soa服务的车辆检测方法及相关设备 | |
US10613963B2 (en) | Intelligent packet analyzer circuits, systems, and methods | |
CN117709046B (zh) | 一种基于uvm的APB_bridge子***级的验证平台的搭建方法 | |
CN107562617B (zh) | 一种基于nc***中的模块验证*** | |
CN103796009A (zh) | 一种fpga质量诊断测试*** | |
CN116306398A (zh) | 一种多通道io接口ip的验证平台及其停止算法 | |
KR100809598B1 (ko) | 가상 테스트가 가능한 반도체 테스트 시스템 및 그것의반도체 테스트 방법 | |
CN116087752A (zh) | 一种芯片测试方法、***、装置及介质 | |
CN116028365A (zh) | 晶圆测试代码自动检测方法、装置、设备及介质 | |
CN113672260B (zh) | 一种处理器cpu初始化方法 | |
CN115454858A (zh) | 验证*** | |
EP4050489A1 (en) | Automatic generation of integrated test procedures using system test procedures |
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 |