基于vera语言mac验证环境实现论文

《基于vera语言mac验证环境实现论文》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、摘要MAC(MediaAccessContr01)一媒体接入控制，是以太网中最常用的物理层到数据链路层的接口电路。随着以太网技术的不断发展，MAC的规格也变的越来越复杂、越来越多样：速度分10M、100M、1000M；模式有全双工和半双工；接口形式分为MII、RMII、GMII、RGMII、TBI等等，而本课题中所要验证的MAC即为支持所有以上提到功能的IP。Vera语言是Synopsys公司推出的一种直观的、面向对象的高级语言，它是专门为了满足功能测试的独特需求而开发的，它提供了例如“类”这样强大的

2、数据结构和方便的进程监控等软件功能，同时又支持众多的硬件特性。目前商用的最高版本是Linux下的2005．06SPl(至2006年9月)。本文的内容就是利用Vera语言搭建一个可重用的、模块化的、层次化的通用MAC的验证环境，研究了验证平台中的各个功能模块的设计方法，分析了IP单独验证平台的设计方法，并在此基础上讨论常用的验证模块的可重用性，对可重用的验证方法学展开研究(包括验证模块的重用和验证平台的重用)关键词：VeraMAC验证平台重用lPAbstractMAC：MediaAccessContro

3、l，ismostlyusedinEthemet，itusedforconnettingphysicallayerwithdatalinklayef．AlongwiththedevelopmentofEthemet，theMACfunctionalsobecomesmoreandmorecomplicated，moremultiplicity：forspeed，itoffersIOM，100M，1000M；forcontrolcharacteristics，provideshalfduplexandfu

4、llduptex，forconnectmode，containsMII，RMII，GMII，RGMII，TBI．．．etc。TheMACwewillverifyisallIPthatsustainthewholefunctionswetouchedupon．111elanguageVeraisfetchedbySynopsys。itisallintuitionistic,ObjectOriented,advancedlanguagethatusedforverification．Itisspecial

5、izedforsatisfyingthespecialneedoffunctiontest．Itprovidedsuchas"class”，thusstrongdatastructureandconvenientprocesssupervision，supportingnumeroushardwarecharacteristicsatthesametime．CurrentlytheneweMditionthatusedis2005．06SPlinLinux(until2006·9)．Thisdisse

6、rtationistodiscusshowtoUSeVeratobuildareuse,Mocking,hiberarchyverificationenvironmenttllatusedfortestuniversalMAC，analyzedthedesignmethodofeverymoduleintheverificationplatform，investigatethedesignmethodofreuseverificationplatformofIP,andthenstudiesthere

7、usemethodologyintheverification(includereuseofbothmoduleandveficationconfiguration)．Keyword：VeraMAC(MediaAccessContr01)VerificationPlatformReuseIP(IntelletualProperty)声明创新性声明秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容

8、以外，论文中不包括其他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说明并表示了谢意。。本人签名：缝麴盗关于论文使用授权的说明本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内容，可以