利用VMM建立基于事务的层次化验证平台.pdfVIP

您的论文得到两院院士关注 片上系统 SOC 文章编号:1008-0570(2010)04-2-0097-02 利用VMM 建立基于事务的层次化验证平台 Building a Transaction-based Layered Verification Platform Using VMM 1,2 1 中国科学院沈阳自动化研究所 中国科学院研究生院 林 健 杨志家 (1. ;2. ) LIN Jian YANG Zhi-jia 摘要 是一种基于 语言的验证方法学 它通过引入断言 抽象化 自动化与重用这四种机制提高了项目验 : VMM SystemVerilog , 、 、 证的生产率 本文通过一个实例介绍怎样利用 建立基于事务的可重用的层次化验证平台 。 VMM 。 关键词 验证 事务 验证平台 : ; VMM; ; 中图分类号: TN407 文献标识码: A Abstract: VMM is a SystemVerilog -based verification methodology.It improves the productivity of a verification project through four different mechanisms: assertions, abstraction, automation and reuse. This paper describes how to make use of VMM to build a transaction-based, reusable and layered verification platform through an example. Key words: Verification; VMM; Transaction; Testbench 技 序地利用了 的面向对象编程的优点通过一系列 引言 SystemVerilog , 机制提高了验证的生产率。 术 随着集成电路深亚微米时代的到来 集成电路的规模不断