vmm验证方法研究及usb验证实践.pdfVIP

摘要 摘要 集成电路经过几十年的发展，设计规模越来越大，功能日趋复杂。这种情 况给验证工作带来了极大的挑战。产业内为了应对这种挑战，不断开发新的验 证技术，发明新的验证语言，针对复杂设计提出新的验证方法学。本文以如今 法学的实现进行研究，并通过USBIP核的验证完成方法学的实践。本文意在研 究新的验证方法学，掌握主流验证技术的发展趋势。 本文首先对AISC前端验证中使用的技术进行深入讨论，并对业内使用的验 证语言的特点进行归纳总结。这些内容是高级验证方法学和SystemVerilog语 研究。通过对二者的深入剖析，理解面向对象的编程方法和vMM验证方法学的 四个重要特点，即抽象化、自动化、重用性强和断言。最后，本文使用VIP搭 IP核进行了验证实 建了基于VMM验证方法学的验证平台，并通过该平台对USB 践。本文的验证结果通过报告的形式进行观察，摒弃了传统验证中的波形观察 的方式。这对系统验证来说具有很强的易用性。 关键词：VMM IP核 重用 SystanVerilog Abstract Abstract With for ten scaleof circuitis the design integrate manyyears，the development to andmore itsfunctionis bemore moreandmore and turning becoming larger ordertomeetthe isaserious forverification．In increasing complex．It challenge new newverification invent manufacturers techniques， requirement, develop andsummarizenewverification for verification methodologycomplex languages oftheverification manual．Itis istheshortenedform methodology design．VMM isthebesttool inthis area．SystemVerilog bySynopsys，which corporation presented itsnew anewborn unitesboth an