文档介绍：西安电子科技大学学位论文独创性声明秉承学校严谨的学风和优良的科学道德,本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知,除了文中特别加以标注和致谢中所罗列的内容以外,论文中不包含其他人已经发表或撰写过的研究成果;也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说明并表示了谢意。申请学位论文与资料若有不实之处,本人承担一切法律责任。本人签名:日期:西安电子科技大学关于论文使用授权的说明本人完全了解西安电子科技大学有关保留和使用学位论文的规定,即:研究生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保留送交论文的复印件,允许查阅和借阅论文;学校可以公布论文的全部或部分内容,可以允许采用影印、缩印或其它复制手段保存论文。同时本人保证,毕业后结合学位论文研究课题再撰写的文章一律署名单位为西安电子科技大学。(保密的论文在解密后遵守此规定)本学位论文属于保密,在年解密后适用本授权书。本人签名:导师签名:日期:日期:摘要随着大规模集成电路的设计与生产技术飞速发展,现有的验证技术包括验证工具和验证方法,逐渐无法满足复杂的设计要求。验证团队所面临的挑战包括验证层次性、可重用性、高效性以及完备性等等。一个高效有序的验证平台可以为验证团队带来很大的帮助,特别是减少了流片以后才发现功能不全的风险。虽然国外的技术已经在很大程度上领先于国内的技术,但是从行业发展来看,国内的公司或者研究机构已经引入了大量的先进技术,这对于芯片的发展是一个很好的推动。AF D X网络交换机芯片是随着新一代航空网络技术兴起的机载设备,AF DX是目前较为先进的航电数据传输技术之一,主要特点是较高的集成度、较大的带宽、出色的实时性和可靠性,使其在航空电子领域有着很大的潜力,而基于AF DX的交换机芯片正是满足行业内所需求的所能够达到机载设备要求的集成电路,前景不可估量。在结合了验证规范搭建好平台之后,例举了几个利用该验证平台进行验证的例子,并且利用验证平台评测出交换机芯片的性能,并以表格和数据的形式展示出交换机芯片的性能,对交换机芯片的验证平台有了最全面的剖析。最后结合本交换机芯片项目的实际情况及验证经验,从完备性、重用性以及可靠性等方面对本验证平台做出了一些总结,包括从实际项目经验中总结出来的优点和缺点,论文最后又针对未来的验证平台的一些相关技术进行展望,指出了未来的主流验证技术及其在提升虚拟平台验证效率方面的作用。关键词:虚拟验证平台AF D X网络交换机平台搭建验证规范Abs t ra c tAbs t ra c tAbs t ra c tAbs t ra c tWiththerapiddeve lopme nto nbothdesigningandproducingoftheLS I,theexist ingverific at iontechnologie swhic hinc ludingverific at iontoolsandva li- datio ple xdesignrequir ementgra re ntkindsofchalle ngesfacedbyever yverific a tio nteaminclud ever ific a tio nlevel,reusabili t y,effic ple teness , ientandorderlyverifi c atio nplatfor mcanmakegreathe lpsforver ific atio nteams ,especia llytheycanreducetheris ksofdysfunct ionsafterthetap- out .F oreigntechnologie shavebeenlargelyleadingmostofdomest ictechnolo giesthough,fromthedevelo pmentofthewholeindust ry,thedomest panie sorresearc hinst it utionshaveint roducedlotsofadvance dtechnolo gytomaketheve rific at ionworkmoveforw D Xnet wor kswit chchip,whichisanewemergingtechnologyforthenewgenerat ionairbor neequipme ntsinavionic ssys D Xisone