vmm验证方法学分析及usb验证实践

《vmm验证方法学分析及usb验证实践》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、摘要摘要集成电路经过几十年的发展，设计规模越来越大，功能日趋复杂。这种情况给验证工作带来了极大的挑战。产业内为了应对这种挑战，不断开发新的验证技术，发明新的验证语言，针对复杂设计提出新的验证方法学。本文以如今业内流行的SystemVerilog语言作为研究工具，对业内最新提出的vMM验证方法学的实现进行研究，并通过USBIP核的验证完成方法学的实践。本文意在研究新的验证方法学，掌握主流验证技术的发展趋势。本文首先对AISC前端验证中使用的技术进行深入讨论，并对业内使用的验证语言的特点进行归纳总结。这些内容是高级验证方法学和SystemVerilog语言存在的基础。本文随后对S

2、ystemVerilog语言和VMM验证方法学进行了深入研究。通过对二者的深入剖析，理解面向对象的编程方法和vMM验证方法学的四个重要特点，即抽象化、自动化、重用性强和断言。最后，本文使用VIP搭建了基于VMM验证方法学的验证平台，并通过该平台对USBIP核进行了验证实践。本文的验证结果通过报告的形式进行观察，摒弃了传统验证中的波形观察的方式。这对系统验证来说具有很强的易用性。关键词：VMMSystanVerilogIP核重用AbstractAbstractWiththedevelopmentformanytenyears，thedesignscaleofintegratec

3、ircuitisbecomingmoreandmorelargeranditsfunctionisturningtobemoreandmorecomplex．Itisaseriouschallengeforverification．Inordertomeettheincreasingrequirement,manufacturersdevelopnewverificationtechniques，inventnewverificationlanguagesandsummarizenewverificationmethodologyforcomplexdesign．VMMist

4、heshortenedformoftheverificationmethodologymanual．ItispresentedbySynopsys，whichisthebesttoolcorporationinthisarea．SystemVerilogisalsoanewbornlanguage．Itunitesbothdesignandverificationengineerforitsnewcharacter．Thepaperintroducestheusualverificationtechniquesandlanguages，whicharethefoundatio

5、noftheVMM．AndthenthePapel"discussesthecharacteristicofSystemVerilogandVMM．SystemVerilogisanObjectOrientedProgramming(OOP)language．TheplatformbasedonVMMisdividedintofivelayers．Ithasfourspecificpoint，abstraction,automazition,reuseandassertion．Finally,theVMM-basedplatformconfirmsthefunctionofa

6、nUSBIPcore．Itreportstheresultbytextinsteadofthewaveforill．Keyword：VMMSystemVerilogIPcorereuseII第一章绪论第一章绪论第一节研究背景1．1．1ASlC设计技术发展摩尔定律【l】指出集成电路的晶体管数量每18个月翻一番。集成电路诞生于1958年。世界上一款集成电路是由美国德州仪器公司(TI)发明的。此后，半导体工艺中的硅平面技术不断改进，在20世纪60年代中后期，集成电路中非常重要的两个类别：双极型和MOS型电路被发明出来。此后50年间，集成电路的设计规模从小型单元电路发展到电路系统；集

7、成电路产品经历了小规模集成电路(SSI)、中规模集成电路(MSI)、大规模集成电路(LSI)、超大规模集成电路(vLSI)、特大规模集成电路(ULSI)以及巨大规模集成电路(GSI)这几个阶段，电路产品从传统的板上系统(System．On．Board)演进至片上系统(System．On．Chip)。同时，制造工艺的快速进步迫使设计能力被动提高，即使如此，设计能力与同期的制造能力相比仍有相当大的差距。生产工艺与同期设计能力和验证能力之间的关系如图1．1所示。'嘲''92'9—，●20002∞●图1．1生产