中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
利用VMM建立基于事务的层次化验证平台

文献类型:期刊论文

作者杨志家
刊名微计算机信息
出版日期2010
卷号26期号:11页码:97-98
关键词验证 VMM 事务 验证平台
ISSN号1008-0570
其他题名Building a Transaction-based Layered Verification Platform Using VMM
产权排序1
通讯作者林健
中文摘要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. 
收录类别CSCD
语种中文
CSCD记录号CSCD:4027938
公开日期2012-05-29
源URL[http://ir.sia.ac.cn/handle/173321/7022]  
专题沈阳自动化研究所_工业信息学研究室
推荐引用方式
GB/T 7714
杨志家. 利用VMM建立基于事务的层次化验证平台[J]. 微计算机信息,2010,26(11):97-98.
APA 杨志家.(2010).利用VMM建立基于事务的层次化验证平台.微计算机信息,26(11),97-98.
MLA 杨志家."利用VMM建立基于事务的层次化验证平台".微计算机信息 26.11(2010):97-98.

入库方式: OAI收割

来源:沈阳自动化研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。