基于事务自动化验证平台的的研究与实现

《基于事务自动化验证平台的的研究与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、摘要随着半导体工艺水平的提高，集成电路的设计已经变得越来越困难。同样，集成电路的验证也面临着越来越大的挑战，主要表现在：1.更高的集成度要求改进验证方案；2.日益增长的复杂性需要提高验证的重用性；3.面市时间的缩短需要提高验证的效率。针对上述问题，本文对集成电路的验证方法和如何构建高重用性、高自动化的验证平台进行了研究。本文首先介绍了前端验证的相关概念和前端验证的一般方法，并分析了它们的优缺点。验证平台是围绕待验证设计而建立起来的所有代码，传统的验证平台直接在引脚层上对设计对象进行验证，因而存在着层次低、重用性差的缺陷。针对这一问题，本文对验证平台的重用性进行研究，提出了

2、验证重用的关键要素，并分析了基于事务的验证平台高重用性的特点。本文还对验证平台的自动化进行研究，并一一介绍了验证中可以提高自动化程度的操作。在基于事务的验证方法的基础上，本文提出了一个验证平台的方案。该平台使用SystemC对参与仿真的所有模块进行事务级的建模，并建立将数据从事务级转换至引脚级的事务验证模块，通过层次的有效划分实现了验证平台的重用。此外，该平台使用Cshell脚本对整个仿真进行自动化的控制，扩展TCL命令使得用户可以通过TCL文件自动产生仿真需要的激励数据、配置数据和控制数据，并使用Perl脚本自动更新验证报表，从而实现了验证平台的高自动化。最后，本文对在

3、实际项目中使用该验证平台进行验证的数据进行统计，并对最终结果进行了分析。在数字芯片系统的开发过程中，该验证平台成功的设计并应用在了对数字芯片的前端验证中。实践证明了验证平台的可行性、高效性、高重用性和高自动化。关键词:集成电路,前端验证,验证平台,重用性,自动化,事务IAbstractAsthelevelofsemiconductortechniquesgetenhanced,thedesignofintegratedcircuitisbecomingmuchharder.Similarly,theverificationofintegratedcircuitisface

4、dwithlargerchallenges:1)improvingverificationmethodology,2)increasingverificationplatform’sreusability,3)increasingverification'sefficiency.Thisthesismainlyfocusesontheresearchofverificationmethodologyandhowtobuildareusableandautomaticverificationplatform.Firstly,thethesisintroducesintegr

5、atedcircuits’front-endverificationandsomeuniversalmethods.Averificationplatformisallthecodeswrittentocheckdesign’sfunction.Traditionalverificationplatformhaslimitationoflowlevelandlowreusabilitybecauseitverifiesdesigndirectlyatpinlevel.Thus,thethesisresearchesatreusabilityandautomationofv

6、erificationplatformandpointsoutthekeyelementstoachievethepurpose.Withthebaseoftransaction-basedverification,thethesisputsforwardareusableandautomaticverificationplatform.TheplatformusesSystemCtomodelallthemodulesofplatformattransactionlevelandbuildtransactionverificationmodeltotransformda

7、tafromtransactionleveltopinlevel.Withsuchstructure,itisreusableinsimilarproject.Furthermore,theplatformusesaCshellscripttocontrolthesimulation,extendsTCLcommandtogeneratestimulusdata,configurationdataandcontroldataandusesaPerlscripttoupdatetheverificationreportautom