CN105447251B - 一种基于事务类型激励的验证方法 - Google Patents
一种基于事务类型激励的验证方法 Download PDFInfo
- Publication number
- CN105447251B CN105447251B CN201510866718.3A CN201510866718A CN105447251B CN 105447251 B CN105447251 B CN 105447251B CN 201510866718 A CN201510866718 A CN 201510866718A CN 105447251 B CN105447251 B CN 105447251B
- Authority
- CN
- China
- Prior art keywords
- feature vector
- target
- excitation
- transaction types
- transaction
- 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
- 230000005284 excitation Effects 0.000 title claims abstract description 81
- 238000012795 verification Methods 0.000 title claims abstract description 39
- 238000000034 method Methods 0.000 title claims abstract description 22
- 239000013598 vector Substances 0.000 claims abstract description 104
- 238000010276 construction Methods 0.000 claims abstract description 17
- 238000012546 transfer Methods 0.000 claims description 8
- 235000013399 edible fruits Nutrition 0.000 claims description 3
- 238000006243 chemical reaction Methods 0.000 description 4
- 238000000605 extraction Methods 0.000 description 4
- 239000000203 mixture Substances 0.000 description 3
- 238000013461 design Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 230000009466 transformation Effects 0.000 description 2
- 238000011161 development Methods 0.000 description 1
- 238000012423 maintenance Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000002360 preparation method Methods 0.000 description 1
- 238000004321 preservation Methods 0.000 description 1
- 238000013139 quantization Methods 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
Classifications
-
- 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]
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)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
- Financial Or Insurance-Related Operations Such As Payment And Settlement (AREA)
Abstract
本发明公开了一种基于事务类型激励的验证方法,包括:获取目标特征向量;利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励;利用所述目标事务类型激励对待测芯片进行仿真验证。与现有技术相比,本申请中仅需获取目标特征向量,即可利用转换工具将目标特征向量转换成对应的事务类型激励,进而完成待测芯片的验证,而无需由人工编写事务类型激励,从而大大降低了人工工作的复杂度和工作量,且由于特征向量较事务类型激励而言,构造工作非常简单,因此,大大降低了出错率,进一步降低了验证失效的几率。
Description
技术领域
本发明涉及芯片设计技术领域,更具体地说,涉及一种基于事务类型激励的验证方法。
背景技术
随着工艺技术以及应用领域的不断发展,芯片的复杂度不断提高,相对应的,对于芯片的验证工作的复杂度也不断提高。
传统上验证芯片需要的激励的表达方式有两种,分别为信号类型的激励和事务类型的激励。其中,信号类型的激励即按照时钟对芯片的接口信号进行赋值,这种方式在小规模芯片验证中可以采用,但在超大规模芯片验证中,这种方式需要大量的人工工作,并且很容易出错。而事务类型的激励是将一系列的信号赋值抽象成单个的事务,而设计激励就变成构造事务的组合,这种方式可以适用于超大规模的芯片验证,但因为抽象化的事务表达不够直观,构造事务的工作依然非常复杂和容易出错,因此,增加了人工工作的复杂度和工作量,以及由于事务类型激励的编写错误造成验证失效的几率。
综上所述,如何提供一种基于事务类型激励对超大规模芯片的验证中降低人工工作的复杂度和工作量,及由于事务类型激励的编写错误造成验证失效的几率的技术方案,是目前本领域技术人员亟待解决的问题。
发明内容
本发明的目的是提供一种基于事务类型激励的验证方法,以降低对超大规模芯片的验证中人工工作的复杂度和工作量,及由于事务类型激励的编写错误造成验证失效的几率。
为了实现上述目的,本发明提供如下技术方案:
一种基于事务类型激励的验证方法,包括:
获取目标特征向量;
利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励;
利用所述目标事务类型激励对待测芯片进行仿真验证。
优选的,获取所述目标特征向量包括:
判断存储模块中是否存储有目标特征向量,如果是,则获取所述目标特征向量,如果否,则构造目标特征向量,并将其保存至所述存储模块中。
优选的,构造目标特征向量包括:
确定需要对待测芯片进行验证的目标验证项目,并确定与所述目标验证项目对应的目标事务类型激励的特征;
构造与所述目标事务类型激励的特征对应的目标特征向量。
优选的,构造目标特征向量包括:
按照随机原则生成特征向量,并确定该特征向量为目标特征向量。
优选的,所述转换工具的预先构造过程包括:
获取与所述待测芯片对应的全部事务类型激励,并量化每个事务类型激励的特征,得到每个事务类型激励对应的特征向量;
利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具。
优选的,利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具,包括:
确定任一特征向量与对应事务类型激励之间进行转换的复杂度系数,如果所述复杂度系数大于阈值,则将与该特征向量对应的转换语言编写在利用应用接口调用的模块中,如果所述复杂度系数不大于阈值,则将与该特征向量对应的转换语言编写在用于对待测芯片进行验证的验证平台中。
优选的,在获取目标特征向量之前还包括:
在用于对待测芯片进行验证的验证平台上搭建与所述待测芯片需验证的目标验证项目对应的验证环境。
优选的,利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励,包括:
利用所述转换工具将所述目标特征向量转换成与所述验证环境相符合的目标事务类型激励。
本发明提供的一种基于事务类型激励的验证方法,包括:获取目标特征向量;利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励;利用所述目标事务类型激励对待测芯片进行仿真验证。与现有技术相比,本申请中仅需获取目标特征向量,即可利用转换工具将目标特征向量转换成对应的事务类型激励,进而完成待测芯片的验证,而无需由人工编写事务类型激励,从而大大降低了人工工作的复杂度和工作量,且由于特征向量较事务类型激励而言,构造工作非常简单,因此,大大降低了出错率,进一步降低了验证失效的几率。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据提供的附图获得其他的附图。
图1为本发明实施例提供的一种基于事务类型激励的验证方法的流程图。
具体实施方式
下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
请参阅图1,其示出了本发明实施例提供的一种基于事务类型激励的验证方法的流程图,可以包括以下步骤:
S11:获取目标特征向量。
其中,目标特征向量与对应事务类型激励的特征相对应。
S12:利用预先构造的转换工具将目标特征向量转换成对应的目标事务类型激励。
需要说明的是,转换工具中具有对应的转换规则,当获取到目标特征向量后,转换工具可以利用与目标特征向量对应的转换规则将其转换成目标事务类型激励,另外,目标特征向量可以是多个特征向量组成的向量组,对应的,目标事务类型激励可以是多个事务类型激励组成的激励组。
S13:利用目标事务类型激励对待测芯片进行仿真验证。
其中,利用目标事务类型激励对待测芯片进行仿真验证与现有技术中利用事务类型激励对待测芯片的验证可以是一致的,因此,在此不再赘述。
本申请中仅需获取目标特征向量,即可利用转换工具将目标特征向量转换成对应的事务类型激励,进而完成待测芯片的验证,而无需由人工编写事务类型激励,从而大大降低了人工工作的复杂度和工作量,且由于特征向量较事务类型激励而言,构造工作非常简单,因此,大大降低了出错率,进一步降低了验证失效的几率。另外,由于特征向量的结构较为简单,大大增加了其直观性,便于对其进行分析。
上述实施例提供的一种基于事务类型激励的验证方法中,获取目标特征向量可以包括:
判断存储模块中是否存储有目标特征向量,如果是,则获取目标特征向量,如果否,则构造目标特征向量,并将其保存至存储模块中。
需要说明的是,获取目标特征向量的方式具体有两种,一种为由存储模块中直接调取所需的特征向量,一种是构造所需的特征向量,其中,由存储模块中直接调取所需的特征向量进一步进行验证也可以被称为回归测试。本申请中,利用特征向量代替事务类型激励被保存至存储模块中,即利用参数化的方式实现事务类型激励的生成和保存,将抽象化的事务组合量化成向量组,或者说将生成及保存复杂的事务类型激励变成生成及保存对应的参数,因此,在大大减少了存储占用资源,更利于维护的同时,使得事务类型激励的特征更加直观和易于分析。
上述实施例提供的一种基于事务类型激励的验证方法中,构造目标特征向量可以包括:
确定需要对待测芯片进行验证的目标验证项目,并确定与目标验证项目对应的目标事务类型激励的特征;
构造与目标事务类型激励的特征对应的目标特征向量。
即,可以根据目标验证项目确定与之对应的事务类型激励的特征,进而构造特征向量,即,通过定向的构造特征向量获取所需的事务类型激励。如所需特征为特征1和特征2,而特征1对应的数字表达方式为1,特征2对应的数据表达方式为0,因此,上述两个特征对应的特征向量为(1,0)。
或者按照随机原则生成特征向量,并确定该特征向量为目标特征向量。
即,可以随机生成数字,进而利用这些随机生成的数字组成特征向量,或者说,可以利用加约束的方式生成特征向量,依然以上文中的例子进行说明,如果随机生成数字1,0,则对应特征向量为(1,0),而对应的事务类型激励的特征为特征1和特征2。
需要说明的是,事务类型激励的特征可以包括两方面,第一个方面是单个事务类型激励的特征,比如命令类型、数据、路由等信息;而当所需的事务类型激励为一组激励时,则需要获取另一个方面,即激励组的特征,比如激励组包含的激励个数、激励间的顺序关系等。
另外,对于存储空间的减少程度取决于量化事务类型激励的特征时对于事务类型激励的特征的提取,即,提取的特征越少,对应的特征向量占用的空间越少,因此,在提取事务类型激励的特征时,在确保可以完整表达和区别不同的事务类型激励的前提下,提取的特征越少,能够节省的存储空间越多。
具体采用上述哪种方式生成特征向量可以由工作人员根据实际需要进行确定,由此,不仅大大降低了构造特征向量的难度,且使得构造特征向量的方式更加灵活简便。
上述实施例提供的一种基于事务类型激励的验证方法中,转换工具的预先构造过程包括:
获取与待测芯片对应的全部事务类型激励,并量化每个事务类型激励的特征,得到每个事务类型激励对应的特征向量;
利用每个事务类型激励与对应特征向量之间的对应关系构造转换工具。
需要说明的是,通过对每个事务类型激励的特征进行量化,能够得到对应的特征向量,而转换工具的构造主要就是编写能够将特征向量转换为对应事务类型激励的转换原则,以能够将任一特征向量转换为对应的事务类型激励,进而完成芯片验证。其中,在量化事务类型激励时能够按照明确的激励定义与格式,对其进行特征提取,从而能够使得单一激励和激励组均可以通过不同的特征向量表示,进而通过特征向量与事务类型激励的对应关系构造转换工具,使得对所需事务类型激励的管理和维护等同于对对应特征向量的管理和维护,从而使得对于事务类型激励的操作通过对对应特征向量的操作来实现,简化了构造的复杂度。
其中,利用每个事务类型激励与对应特征向量之间的对应关系构造转换工具,可以包括:
确定任一特征向量与对应事务类型激励之间进行转换的复杂度系数,如果复杂度系数大于阈值,则将与该特征向量对应的转换语言编写在利用应用接口调用的模块中,如果复杂度系数不大于阈值,则将与该特征向量对应的转换语言编写在用于对待测芯片进行验证的验证平台中。
阈值可以根据实际需要进行确定,而复杂度系数可以是根据历史上对对应转换关系的了解确定的,当复杂系数大于阈值,说明复杂度较高,此时需要利用抽象度较高的语言(比如c++等)编写至对应模块,进而在验证平台通过pli之类的应用接口对其进行调用。而复杂系数不大于阈值,说明复杂度较低,此时,可以利用脚本语言或硬件描述语言将其编写在验证平台即可,由此,根据不同的复杂度系数确定放置转换语言的不同位置及转换语言的编写语言,能够大大提高了转换工具的工作效率。
上述实施例提供的一种基于事务类型激励的验证方法中,在获取目标特征向量之前还可以包括:
在用于对待测芯片进行验证的验证平台上搭建与待测芯片需验证的目标验证项目对应的验证环境。
通过搭建与目标验证项目对应的验证环境,保证对待测芯片的验证的顺利实现。
而利用预先构造的转换工具将目标特征向量转换成对应的目标事务类型激励,可以包括:
利用转换工具将目标特征向量转换成与验证环境相符合的目标事务类型激励。
由此,能够得到与验证环境相符合的事务类型激励,进而利用该事务类型激励完成对于待测芯片的验证,保证了验证准确性及有效性。
对所公开的实施例的上述说明,使本领域技术人员能够实现或使用本发明。对这些实施例的多种修改对本领域技术人员来说将是显而易见的,本文中所定义的一般原理可以在不脱离本发明的精神或范围的情况下,在其它实施例中实现。因此,本发明将不会被限制于本文所示的这些实施例,而是要符合与本文所公开的原理和新颖特点相一致的最宽的范围。
Claims (6)
1.一种基于事务类型激励的验证方法,其特征在于,包括:
获取目标特征向量;
利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励;
利用所述目标事务类型激励对待测芯片进行仿真验证;
所述转换工具的预先构造过程包括:
获取与所述待测芯片对应的全部事务类型激励,并量化每个事务类型激励的特征,得到每个事务类型激励对应的特征向量;
利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具;
利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具,包括:
确定任一特征向量与对应事务类型激励之间进行转换的复杂度系数,如果所述复杂度系数大于阈值,则将与该特征向量对应的转换语言编写在利用应用接口调用的模块中,如果所述复杂度系数不大于阈值,则将与该特征向量对应的转换语言编写在用于对待测芯片进行验证的验证平台中。
2.根据权利要求1所述的方法,其特征在于,获取所述目标特征向量包括:
判断存储模块中是否存储有目标特征向量,如果是,则获取所述目标特征向量,如果否,则构造目标特征向量,并将其保存至所述存储模块中。
3.根据权利要求2所述的方法,其特征在于,构造目标特征向量包括:
确定需要对待测芯片进行验证的目标验证项目,并确定与所述目标验证项目对应的目标事务类型激励的特征;
构造与所述目标事务类型激励的特征对应的目标特征向量。
4.根据权利要求2所述的方法,其特征在于,构造目标特征向量包括:
按照随机原则生成特征向量,并确定该特征向量为目标特征向量。
5.根据权利要求1所述的方法,其特征在于,在获取目标特征向量之前还包括:
在用于对待测芯片进行验证的验证平台上搭建与所述待测芯片需验证的目标验证项目对应的验证环境。
6.根据权利要求5所述的方法,其特征在于,利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励,包括:
利用所述转换工具将所述目标特征向量转换成与所述验证环境相符合的目标事务类型激励。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510866718.3A CN105447251B (zh) | 2015-12-01 | 2015-12-01 | 一种基于事务类型激励的验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510866718.3A CN105447251B (zh) | 2015-12-01 | 2015-12-01 | 一种基于事务类型激励的验证方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN105447251A CN105447251A (zh) | 2016-03-30 |
CN105447251B true CN105447251B (zh) | 2018-12-07 |
Family
ID=55557422
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510866718.3A Active CN105447251B (zh) | 2015-12-01 | 2015-12-01 | 一种基于事务类型激励的验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN105447251B (zh) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107330195B (zh) * | 2017-07-03 | 2020-07-28 | 苏州浪潮智能科技有限公司 | 一种构造行为激励的数据处理方法及系统 |
CN113407408B (zh) * | 2021-06-11 | 2024-01-26 | 海光信息技术股份有限公司 | 数据传输规则验证方法、装置、设备和存储介质 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101833606A (zh) * | 2010-03-30 | 2010-09-15 | 连志斌 | 一种集成电路设计验证方法 |
CN102201022A (zh) * | 2011-04-22 | 2011-09-28 | 青岛海信信芯科技有限公司 | 用于fpga验证的方法和装置 |
CN103440195A (zh) * | 2013-07-11 | 2013-12-11 | 盛科网络(苏州)有限公司 | 基于逻辑芯片的交换机芯片验证方法和装置 |
-
2015
- 2015-12-01 CN CN201510866718.3A patent/CN105447251B/zh active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101833606A (zh) * | 2010-03-30 | 2010-09-15 | 连志斌 | 一种集成电路设计验证方法 |
CN102201022A (zh) * | 2011-04-22 | 2011-09-28 | 青岛海信信芯科技有限公司 | 用于fpga验证的方法和装置 |
CN103440195A (zh) * | 2013-07-11 | 2013-12-11 | 盛科网络(苏州)有限公司 | 基于逻辑芯片的交换机芯片验证方法和装置 |
Non-Patent Citations (2)
Title |
---|
基于事务的SoC验证策略;孟庆 等;《半导体技术》;20020623;第27卷(第6期);第29-32页 * |
面向SoC的事务级验证研究;韩霞 等;《计算机技术与发展》;20070310;第17卷(第3期);第33-36页 * |
Also Published As
Publication number | Publication date |
---|---|
CN105447251A (zh) | 2016-03-30 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10290066B2 (en) | Method and device for modeling a long-time-scale photovoltaic output time sequence | |
CN106940428B (zh) | 芯片验证方法、装置及系统 | |
CN104268079B (zh) | 一种pos应用程序测试的方法及系统 | |
US11971959B2 (en) | Data test method, electronic device and storage medium | |
US12001317B2 (en) | Waveform based reconstruction for emulation | |
CN104252481A (zh) | 主从数据库一致性的动态校验方法和装置 | |
US20220027774A1 (en) | Quantum control pulse generation method, device, and storage medium | |
CN103150228B (zh) | 面向高速缓冲存储器的可综合伪随机验证方法及装置 | |
CN109919925A (zh) | 印刷电路板智能检测方法、系统、电子装置及存储介质 | |
CN109522228A (zh) | 接口自动化测试数据构造方法、装置、平台及存储介质 | |
CN109783785A (zh) | 生成实验检测报告的方法、装置和计算机设备 | |
CN105786702A (zh) | 计算机软件分析系统 | |
CN112433944A (zh) | 业务测试方法、装置、计算机设备和存储介质 | |
CN110347590A (zh) | 业务系统的接口测试控制方法及装置 | |
CN112750051A (zh) | 基于随机森林算法的台区相序识别方法、装置及终端设备 | |
CN103957132B (zh) | 一种反射内存网络节点卡共享存储区数据映射误码率测试方法 | |
CN113961473A (zh) | 数据测试方法、装置、电子设备及计算机可读存储介质 | |
CN103810092A (zh) | 应用系统测试方法及装置 | |
CN110134596A (zh) | 测试文档的生成方法及终端设备 | |
CN105447251B (zh) | 一种基于事务类型激励的验证方法 | |
CN109977012A (zh) | 系统的联调测试方法、装置、设备及计算机可读存储介质 | |
CN114968816A (zh) | 基于数据模拟的策略测试方法、装置、设备及存储介质 | |
CN114997263A (zh) | 基于机器学习的结训率分析方法、装置、设备及存储介质 | |
CN103049629A (zh) | 一种检测噪音数据的方法及装置 | |
CN117744760A (zh) | 文本信息的识别方法、装置、存储介质及电子设备 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |