«上一篇/Previous Article|本期目录/Table of Contents|下一篇/Next Article»

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:

30

期数:

2020年04期

页码:

52-56

栏目:

智能、算法、系统工程

出版日期:

2020-04-10

文章信息/Info

Title:

Building of Verification Platform Using Pure SV Language

文章编号:

1673-629X(2020)04-0052-05

作者:

张 静; 卜 刚

南京航空航天大学 电子信息工程学院,江苏 南京 211106

Author(s):

ZHANG Jing; BU Gang

School of Electronic Information Engineering,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China

关键词:

SystemVerilog; SoC; 随机激励; 功能覆盖率; 验证

Keywords:

SystemVerilog; SoC; random excitation; functional coverage; verification

分类号:

TP31

DOI:

10. 3969 / j. issn. 1673-629X. 2020. 04. 010

摘要:

面对日益复杂的芯片系统设计和 IP 的高度集成方式,验证的重要性日益增加。 传统的验证主要依赖于直接测试, 虽然直接测试平台也可以采用有限的随机方式,但是通常是通过产生随机数的方式来实现的,而不是在每个数据单元简单地写入预先设定的值。 直接测试方法适合于小设计,但一个典型 SoC 设计需要上千个测试用例,耗时太长。 因此提升验证产量的唯一方法是减少产生测试所消耗时间。 基于 SystemVerilog 具有丰富语言能力、能描述复杂验证环境、产生带约束的随机激励、面向对象编程、功能覆盖率统计等诸多优点,因此可以采用 SystemVerilog 语言功能构建一个验证平台。搭建验证环境时,可以应用带约束随机激励产生方法以及覆盖率驱动来提高验证效率,缩短验证周期,平台在 queastasim上进行了仿真验证,并取得了比较好的结果。

Abstract:

In the face of increasingly complex chip system design and a highly integrated approach to IP, verification is increasingly important. Traditional verification relies mainly on direct testing. Although direct test platforms can also use a limited random approach,they are usually implemented by generating random numbers instead of simply writing pre - set values in each data unit. Direct test methods are suitable for small designs,but a typical SoC design requires thousands of test cases and takes too long. Therefore,the only way to increase verification yield is to reduce the time? ? ? ?it takes to generate a test. Based on the advantages of SystemVerilog,such as rich language ability,describing complex verification environment, generating constrained random excitation,object - oriented programming,function coverage statistics and so on,therefore,a verification platform can be built by the SystemVerilog language function. When constructing the verification environment,the constrained random excitation generation method and coverage drive can be applied to improve the verification efficiency and shorten the verification period. The platform is simulated and verified on queastasim,and ideal results are obtained.

常用功能

更新日期/Last Update: 2020-04-10