首页 | 本学科首页   官方微博 | 高级检索  
     

纯SV语言搭建验证平台
引用本文:张静,卜刚.纯SV语言搭建验证平台[J].计算机技术与发展,2020(4):52-56.
作者姓名:张静  卜刚
作者单位:南京航空航天大学电子信息工程学院
基金项目:江苏省自然科学基金(BK2012792)。
摘    要:面对日益复杂的芯片系统设计和IP的高度集成方式,验证的重要性日益增加。传统的验证主要依赖于直接测试,虽然直接测试平台也可以采用有限的随机方式,但是通常是通过产生随机数的方式来实现的,而不是在每个数据单元简单地写入预先设定的值。直接测试方法适合于小设计,但一个典型SoC设计需要上千个测试用例,耗时太长。因此提升验证产量的唯一方法是减少产生测试所消耗时间。基于SystemVerilog具有丰富语言能力、能描述复杂验证环境、产生带约束的随机激励、面向对象编程、功能覆盖率统计等诸多优点,因此可以采用SystemVerilog语言功能构建一个验证平台。搭建验证环境时,可以应用带约束随机激励产生方法以及覆盖率驱动来提高验证效率,缩短验证周期,平台在queastasim上进行了仿真验证,并取得了比较好的结果。

关 键 词:SYSTEMVERILOG  SOC  随机激励  功能覆盖率  验证

Building of Verification Platform Using Pure SV Language
ZHANG Jing,BU Gang.Building of Verification Platform Using Pure SV Language[J].Computer Technology and Development,2020(4):52-56.
Authors:ZHANG Jing  BU Gang
Affiliation:(School of Electronic Information Engineering,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China)
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.
Keywords:SystemVerilog  SoC  random excitation  functional coverage  verification
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号