CN106502900B - 一种基于systemverilog的AHB核随机验证方法 - Google Patents
一种基于systemverilog的AHB核随机验证方法 Download PDFInfo
- Publication number
- CN106502900B CN106502900B CN201610936104.2A CN201610936104A CN106502900B CN 106502900 B CN106502900 B CN 106502900B CN 201610936104 A CN201610936104 A CN 201610936104A CN 106502900 B CN106502900 B CN 106502900B
- Authority
- CN
- China
- Prior art keywords
- module
- systemverilog
- ahb
- verification method
- input
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
本发明提供了一种基于systemverilog的AHB核随机验证方法,包括:采用激励驱动模块在每个周期开始时读取激励生成模块的数据,并传输至待测IP模块;采用反馈信号收集模块在周期结束时,将激励驱动模块中从机的数据反馈给激励发生模块的主机;采用激励生成模块根据反馈信号收集模块提供的数据,约束下一周期的允许输入种类列表,并在下一周期开始从允许输入种类列表中随机挑选一种种类;采用监视校验模块在每个周期收集待测IP的输入输出信息并打印到log,然后检查该输入输出信息是否符合断言要求;采用断言模块根据IP预定时刻的状态直接对比义判断是否符合预定协议的要求。
Description
技术领域
本发明涉及数字IP(知识产权模块)验证环境搭建领域,具体涉及基于systemverilog的随机向量约束,以及测试结果自动对比分析;更具体地说,本发明涉及一种基于systemverilog的AHB核随机验证方法。
背景技术
传统验证方法靠书写不同的测试项(test pattern),将每一种可能出现的情况单独写成一种测试项,来验证整个AHB(注:ARM公司设计的先进高速总线系统)系统是完全符合协议要求的。该验证方式效率较低,耗时较长,而且难以检测各个测试项之间错误的关联性。
目前较为流行的测试方法都是建立在带约束的随机向量生成的验证方法学上,本设计提出了一种新型的随机向量生成方式以及与参考值比对生成报告的方法。
传统验证方法对于完整验证一个协议来说,显得太过于臃肿了,需要测试多少种测试项完全是取决于负责工程师的个人水平,并且各个测试项之间关系不紧密,常常无法考虑到多种突发情况混合的情况,或者是需要扩充测试项库来满足完备性。
发明内容
本发明所要解决的技术问题是针对现有技术中存在上述缺陷,提供一种能够实现了完全随机的测试过程以及完整的功能检测覆盖率的基于systemverilog(一种测试语言)的AHB核随机验证方法。
为了实现上述技术目的,根据本发明,提供了一种基于systemverilog的AHB核随机验证方法,包括:
第一步骤:采用激励驱动模块在每个周期开始时读取激励发生模块的数据,并传输至待测IP模块;
第二步骤:采用反馈信号收集模块在周期结束时,将激励驱动模块中从机的数据反馈给激励发生模块的主机;
第三步骤:采用激励发生模块根据反馈信号收集模块提供的数据,约束下一周期的允许输入种类列表,并在下一周期开始从允许输入种类列表中随机挑选一种种类;
第四步骤:采用监视校验模块在每个周期收集待测IP的输入输出信息并打印到log,然后检查该输入输出信息是否符合断言要求;
第五步骤:采用断言模块根据IP预定时刻的状态直接对比以判断是否符合预定协议的要求。
优选地,在第四步骤,生成的数据与参考数据对比并产生log的代码。
优选地,断言模块则是systemverilog中的断言功能的实体化。
优选地,主机生成向量的约束代码。
优选地,从机生成向量的约束代码。
优选地,主机响应从机信号的代码。
优选地,激励发生模块包括:主机发生产生模块、从机发生产生模块、主机队列以及从机队列;主机队列以及从机队列分别继承各自基类中的约束信息,并且按照约束条件在每个时钟周期开始的一刻随机生成各个信号的值。
优选地,监视校验模块包括监视模块以及校验模块,监视模块使用systemverilog中的语法,在每个周期开始的时候,打印所有的输入输出信息到log文件中;校验模块则是在对应时间点将断言中发现的违反协议的部分同时打印在log文件中。
优选地,断言模块用于将AHB总线协议翻译为信号间逻辑关系并在每个周期开始时检查各个输入之间是否满足预定条件,然后在每个周期结束时检查各个输出是否得到了期望值。
本发明的方法基于systemverilog,设计了满足AHB协议的主机以及从机的随机测试环境,并且主机支持从从机获得响应后调整输出,从而实现了完全随机的测试过程以及完整的功能检测覆盖率,并生成较为详细的log文件方便进行后续调试。本发明能够快速完整的验证AHB IP是否符合协议要求,大大提高了IP功能审核的速度和完备性。
附图说明
结合附图,并通过参考下面的详细描述,将会更容易地对本发明有更完整的理解并且更容易地理解其伴随的优点和特征,其中:
图1示意性地示出了根据本发明优选实施例的基于systemverilog的AHB核随机验证方法的流程图。
图2示意性地示出了根据本发明优选实施例的基于systemverilog的AHB核随机验证方法的模块示意图。
需要说明的是,附图用于说明本发明,而非限制本发明。注意,表示结构的附图可能并非按比例绘制。并且,附图中,相同或者类似的元件标有相同或者类似的标号。
具体实施方式
为了使本发明的内容更加清楚和易懂,下面结合具体实施例和附图对本发明的内容进行详细描述。
所需检测的IP为AHB总线IP,所以验证方法必须能够产生反馈信号并根据反馈信号来更新输入。因此,所需的验证环境需要能够处理这些反馈信号并实时调整验证条件,来检查这些反馈以及反馈引起的输入条件变化是否合乎协议规定。
图1示意性地示出了根据本发明优选实施例的基于systemverilog的AHB核随机验证方法的流程图。图2示意性地示出了根据本发明优选实施例的基于systemverilog的AHB核随机验证方法的模块示意图。
如图2所示,本发明的设计包含:激励发生模块、激励驱动模块、监视校验模块、断言模块以及反馈信号收集模块。
如图1和图2所示,根据本发明优选实施例的基于systemverilog的AHB核随机验证方法包括:
第一步骤S1:采用激励驱动模块在每个周期开始时读取激励发生模块的数据,并传输至待测IP模块;
第二步骤S2:采用反馈信号收集模块在周期结束时,将激励驱动模块中从机的数据反馈给激励发生模块的主机;
第三步骤S3:采用激励发生模块根据反馈信号收集模块提供的数据,约束下一周期的允许输入种类列表,并在下一周期开始从允许输入种类列表中随机挑选一种种类;
第四步骤S4:采用监视校验模块在每个周期收集待测IP的输入输出信息并打印到log,然后检查该输入输出信息是否符合断言要求;优选地,在第四步骤S4,生成的数据与参考数据对比并产生log的代码。
第五步骤S5:采用断言模块根据IP预定时刻的状态直接对比以判断是否符合预定协议的要求。
其中,断言模块则是systemverilog中的断言功能的实体化。
在根据本发明优选实施例的基于systemverilog的AHB核随机验证方法中,主机生成向量的约束代码;从机生成向量的约束代码;而且在执行过程中,主机响应从机信号的代码。
下面详述各个模块的实现方法。
(1)激励发生模块
激励发生模块具体细分为四个子模块,首先有两个基类模块:主机发生产生模块、从机发生产生模块,这两个模块中分别定义了各个信号的约束条件,保证约束是有效的。约束使用systemverilog中的constraint语法来定义。剩下两个模块分别是主机队列以及从机队列,这两个模块首先会分别继承各自基类中的约束信息,然后按照约束条件,在每个时钟周期开始的一刻随机生成各个信号的值。
(2)激励驱动模块
激励驱动模块是在每个时钟周期上升沿(非时钟周期开始),抓取主机阵列中的所有输入信息,并将其传送到AHB IP中,然后再时钟周期结束时,获取所有的输出信息。
(3)反馈信号处理模块
反馈信号收集模块是在每个时钟周期开始时,获取IP模块中所有输出信号的值,同时抓取从机阵列中的所有数据,并在该时钟周期结束时发送至IP模块。
(4)监视校验模块
该模块由监视模块以及校验模块组成。监视模块主要使用systemverilog中的display语法,在每个周期开始的时候,打印所有的输入输出信息到log(注:仿真记录)文件中,方便未来的debug(调试)。校验模块则是在display信息对应时间点,将断言中发现违反协议的部分同时打印在log文件中。
(5)断言模块
断言模块使用systemverilog中的assert语句,将AHB总线协议翻译为信号间逻辑关系并在每个周期开始时检查各个输入之间是否满足,然后在每个周期结束时检查各个输出是否得到了所想要的值。
本发明的方法基于systemverilog,设计了满足AHB协议的主机以及从机的随机测试环境,并且主机支持从从机获得响应后调整输出,从而实现了完全随机的测试过程以及完整的功能检测覆盖率,并生成较为详细的log文件方便进行后续调试。本发明能够快速完整的验证AHB IP是否符合协议要求,大大提高了IP功能审核的速度和完备性。
此外,需要说明的是,除非特别说明或者指出,否则说明书中的术语“第一”、“第二”、“第三”等描述仅仅用于区分说明书中的各个组件、元素、步骤等,而不是用于表示各个组件、元素、步骤之间的逻辑关系或者顺序关系等。
可以理解的是,虽然本发明已以较佳实施例披露如上,然而上述实施例并非用以限定本发明。对于任何熟悉本领域的技术人员而言,在不脱离本发明技术方案范围情况下,都可利用上述揭示的技术内容对本发明技术方案作出许多可能的变动和修饰,或修改为等同变化的等效实施例。因此,凡是未脱离本发明技术方案的内容,依据本发明的技术实质对以上实施例所做的任何简单修改、等同变化及修饰,均仍属于本发明技术方案保护的范围内。
而且还应该理解的是,本发明并不限于此处描述的特定的方法、化合物、材料、制造技术、用法和应用,它们可以变化。还应该理解的是,此处描述的术语仅仅用来描述特定实施例,而不是用来限制本发明的范围。必须注意的是,此处的以及所附权利要求中使用的单数形式“一个”、“一种”以及“该”包括复数基准,除非上下文明确表示相反意思。因此,例如,对“一个元素”的引述意味着对一个或多个元素的引述,并且包括本领域技术人员已知的它的等价物。类似地,作为另一示例,对“一个步骤”或“一个装置”的引述意味着对一个或多个步骤或装置的引述,并且可能包括次级步骤以及次级装置。应该以最广义的含义来理解使用的所有连词。因此,词语“或”应该被理解为具有逻辑“或”的定义,而不是逻辑“异或”的定义,除非上下文明确表示相反意思。此处描述的结构将被理解为还引述该结构的功能等效物。可被解释为近似的语言应该被那样理解,除非上下文明确表示相反意思。
Claims (7)
1.一种基于systemverilog的AHB核随机验证方法,其特征在于包括:
第一步骤:采用激励驱动模块在每个周期开始时读取激励发生模块的数据,并传输至待测IP模块;激励发生模块包括:主机发生产生模块、从机发生产生模块、主机队列以及从机队列;主机队列以及从机队列分别继承各自基类中的约束信息,并且按照约束条件在每个时钟周期开始的一刻随机生成各个信号的值;
第二步骤:采用反馈信号收集模块在周期结束时,将激励驱动模块中从机的数据反馈给激励发生模块的主机;
第三步骤:采用激励发生模块根据反馈信号收集模块提供的数据,约束下一周期的允许输入种类列表,并在下一周期开始从允许输入种类列表中随机挑选一种种类;
第四步骤:采用监视校验模块在每个周期收集待测IP的输入输出信息并打印到log,然后检查该输入输出信息是否符合断言要求;
第五步骤:采用断言模块根据IP预定时刻的状态直接对比以判断是否符合预定协议的要求。
2.根据权利要求1所述的基于systemverilog的AHB核随机验证方法,其特征在于,断言模块则是systemverilog中的断言功能的实体化。
3.根据权利要求1所述的基于systemverilog的AHB核随机验证方法,其特征在于,主机生成向量的约束代码。
4.根据权利要求1所述的基于systemverilog的AHB核随机验证方法,其特征在于,从机生成向量的约束代码。
5.根据权利要求1所述的基于systemverilog的AHB核随机验证方法,其特征在于,主机响应从机信号的代码。
6.根据权利要求1所述的基于systemverilog的AHB核随机验证方法,其特征在于,监视校验模块包括监视模块以及校验模块,监视模块使用systemverilog中的语法,在每个周期开始的时候,打印所有的输入输出信息到log文件中;校验模块则是在对应时间点将断言中发现的违反协议的部分同时打印在log文件中。
7.根据权利要求1所述的基于systemverilog的AHB核随机验证方法,其特征在于,断言模块用于将AHB总线协议翻译为信号间逻辑关系并在每个周期开始时检查各个输入之间是否满足预定条件,然后在每个周期结束时检查各个输出是否得到了期望值。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610936104.2A CN106502900B (zh) | 2016-10-24 | 2016-10-24 | 一种基于systemverilog的AHB核随机验证方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610936104.2A CN106502900B (zh) | 2016-10-24 | 2016-10-24 | 一种基于systemverilog的AHB核随机验证方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN106502900A CN106502900A (zh) | 2017-03-15 |
CN106502900B true CN106502900B (zh) | 2019-06-28 |
Family
ID=58318995
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610936104.2A Active CN106502900B (zh) | 2016-10-24 | 2016-10-24 | 一种基于systemverilog的AHB核随机验证方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN106502900B (zh) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110096399B (zh) * | 2019-04-25 | 2023-07-07 | 湖南品腾电子科技有限公司 | 一种硬件接口的调试方法 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102117238A (zh) * | 2010-01-05 | 2011-07-06 | 上海硅知识产权交易中心有限公司 | Ip核amba总线接口兼容性通用验证方法及验证平台 |
US8479129B1 (en) * | 2010-05-21 | 2013-07-02 | Marvell International Ltd. | Dynamic time domain randomization techniques for SOC and IP verification |
CN104142876A (zh) * | 2013-05-06 | 2014-11-12 | 上海华虹集成电路有限责任公司 | Usb设备控制器模块功能验证方法及验证环境平台 |
CN104392066A (zh) * | 2014-12-11 | 2015-03-04 | 浪潮电子信息产业股份有限公司 | 一种基于SystemVerilog的随机验证平台和方法 |
CN105975726A (zh) * | 2016-05-27 | 2016-09-28 | 四川省豆萁科技股份有限公司 | 一种基于SystemVerilog语言的验证方法及平台 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7673259B2 (en) * | 2005-12-30 | 2010-03-02 | Cadence Design Systems, Inc. | System and method for synthesis reuse |
-
2016
- 2016-10-24 CN CN201610936104.2A patent/CN106502900B/zh active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102117238A (zh) * | 2010-01-05 | 2011-07-06 | 上海硅知识产权交易中心有限公司 | Ip核amba总线接口兼容性通用验证方法及验证平台 |
US8479129B1 (en) * | 2010-05-21 | 2013-07-02 | Marvell International Ltd. | Dynamic time domain randomization techniques for SOC and IP verification |
CN104142876A (zh) * | 2013-05-06 | 2014-11-12 | 上海华虹集成电路有限责任公司 | Usb设备控制器模块功能验证方法及验证环境平台 |
CN104392066A (zh) * | 2014-12-11 | 2015-03-04 | 浪潮电子信息产业股份有限公司 | 一种基于SystemVerilog的随机验证平台和方法 |
CN105975726A (zh) * | 2016-05-27 | 2016-09-28 | 四川省豆萁科技股份有限公司 | 一种基于SystemVerilog语言的验证方法及平台 |
Also Published As
Publication number | Publication date |
---|---|
CN106502900A (zh) | 2017-03-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US5099196A (en) | On-chip integrated circuit speed selection | |
US9842043B2 (en) | System and method to implement an electronic document based automated testing of a software application | |
US20110055780A1 (en) | Method for integrated circuit design verification in a verification environment | |
CN101482843A (zh) | 用于总线验证的片上电路 | |
US10606307B2 (en) | Apparatus and method for achieving glitch-free clock domain crossing signals | |
US10060955B2 (en) | Calibrating power supply voltages using reference measurements from code loop executions | |
CN105070321B (zh) | 存储器件的快速测试电路及方法 | |
Goodenough et al. | Post-silicon is too late avoiding the $50 million paperweight starts with validated designs | |
US8060847B2 (en) | Clock model for formal verification of a digital circuit description | |
CN108335718A (zh) | 一种测试方法及装置 | |
CN106502900B (zh) | 一种基于systemverilog的AHB核随机验证方法 | |
EP2824466B1 (en) | Multi-tier field-programmable gate array hardward requirements assessment and verification for airborne electronic systems | |
Iliuţă et al. | Constraint random stimuli and functional coverage on mixed signal verification | |
US8069025B2 (en) | Logic simulator and logic simulation method | |
US20140075421A1 (en) | Apparatus and method for generating assertion based on user program code, and apparatus and method for verifying processor using assertion | |
US20090077441A1 (en) | Method and apparatus for scheduling test vectors in a multiple core integrated circuit | |
Kamkin | Simulation-based hardware verification with time-abstract models | |
Deepu et al. | Validation of transactions in AXI protocol using system verilog | |
CN106802848B (zh) | 一种寄存器传输级n模冗余验证方法 | |
Cano-Quiveu et al. | An Integrated Digital System Design Framework With On-Chip Functional Verification and Performance Evaluation | |
CN110007335A (zh) | 一种测量中子能谱的反演算法 | |
Nirmaier et al. | Leveraging IEEE 1850 PSL and Mixed-Signal Assertions for Post-silicon Verification of Automotive Power Devices | |
Rosser | Verification of Readout Electronics in the ATLAS ITk Strips Detector | |
CN112989736B (zh) | 用于检测修改设计的错误实例的方法、设备及存储介质 | |
Muhammad et al. | RTL platform validation of digital intellectual property (IP) of real time clock (RTC) for customized wireless microcontroller unit |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | 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 |