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

Building a Transaction-based Layered Verification Platform Using VMM

作　　者：林健[1,2] 杨志家[1] 

机构地区：[1]中国科学院沈阳自动化研究所,沈阳110016 [2]中国科学院研究生院,100049

出　　处：《微计算机信息》2010年第11期97-98,21,共3页Control & Automation

摘　　要：VMM是一种基于SystemVerilog语言的验证方法学,它通过引入断言、抽象化、自动化与重用这四种机制提高了项目验证的生产率。本文通过一个实例介绍怎样利用VMM建立基于事务的可重用的层次化验证平台。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.

关 键 词：验证 VMM 事务 验证平台 

分 类 号：TN407[电子电信—微电子学与固体电子学]