资源描述：
《基于事务的自动化验证平台的研究与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、华中科技大学硕士学位论文基于事务的自动化验证平台的研究与实现姓名：黄飞申请学位级别：硕士专业：通信与信息系统指导教师：杜旭20070208摘要随着半导体工艺水平的提高，集成电路的设计已经变得越来越困难。同样，集成电路的验证也面临着越来越大的挑战，主要表现在：1.更高的集成度要求改进验证方案；2.日益增长的复杂性需要提高验证的重用性；3.面市时间的缩短需要提高验证的效率。针对上述问题，本文对集成电路的验证方法和如何构建高重用性、高自动化的验证平台进行了研究。本文首先介绍了前端验证的相关概念和前端验证的一般方法，并分析了它们的优缺点
2、。验证平台是围绕待验证设计而建立起来的所有代码，传统的验证平台直接在引脚层上对设计对象进行验证，因而存在着层次低、重用性差的缺陷。针对这一问题，本文对验证平台的重用性进行研究，提出了验证重用的关键要素，并分析了基于事务的验证平台高重用性的特点。本文还对验证平台的自动化进行研究，并一一介绍了验证中可以提高自动化程度的操作。在基于事务的验证方法的基础上，本文提出了一个验证平台的方案。该平台使用SystemC对参与仿真的所有模块进行事务级的建模，并建立将数据从事务级转换至引脚级的事务验证模块，通过层次的有效划分实现了验证平台的重用。此
3、外，该平台使用Cshell脚本对整个仿真进行自动化的控制，扩展TCL命令使得用户可以通过TCL文件自动产生仿真需要的激励数据、配置数据和控制数据，并使用Perl脚本自动更新验证报表，从而实现了验证平台的高自动化。最后，本文对在实际项目中使用该验证平台进行验证的数据进行统计，并对最终结果进行了分析。在数字芯片系统的开发过程中，该验证平台成功的设计并应用在了对数字芯片的前端验证中。实践证明了验证平台的可行性、高效性、高重用性和高自动化。关键词:集成电路,前端验证,验证平台,重用性,自动化,事务IAbstractAsthelevelo
4、fsemiconductortechniquesgetenhanced,thedesignofintegratedcircuitisbecomingmuchharder.Similarly,theverificationofintegratedcircuitisfacedwithlargerchallenges:1)improvingverificationmethodology,2)increasingverificationplatform’sreusability,3)increasingverification'seff
5、iciency.Thisthesismainlyfocusesontheresearchofverificationmethodologyandhowtobuildareusableandautomaticverificationplatform.Firstly,thethesisintroducesintegratedcircuits’front-endverificationandsomeuniversalmethods.Averificationplatformisallthecodeswrittentocheckdesi
6、gn’sfunction.Traditionalverificationplatformhaslimitationoflowlevelandlowreusabilitybecauseitverifiesdesigndirectlyatpinlevel.Thus,thethesisresearchesatreusabilityandautomationofverificationplatformandpointsoutthekeyelementstoachievethepurpose.Withthebaseoftransactio
7、n-basedverification,thethesisputsforwardareusableandautomaticverificationplatform.TheplatformusesSystemCtomodelallthemodulesofplatformattransactionlevelandbuildtransactionverificationmodeltotransformdatafromtransactionleveltopinlevel.Withsuchstructure,itisreusableins
8、imilarproject.Furthermore,theplatformusesaCshellscripttocontrolthesimulation,extendsTCLcommandtogeneratestimulusdata,configurationd
