SIA OpenIR  > 工业信息学研究室
利用VMM建立基于事务的层次化验证平台
Alternative TitleBuilding a Transaction-based Layered Verification Platform Using VMM
林健; 杨志家
Department工业信息学研究室
Source Publication微计算机信息
ISSN1008-0570
2010
Volume26Issue:11Pages:97-98
Indexed ByCSCD
CSCD IDCSCD:4027938
Contribution Rank1
Keyword验证 Vmm 事务 验证平台
AbstractVMM是一种基于SystemVerilog语言的验证方法学,它通过引入断言、抽象化、自动化与重用这四种机制提高了项目验证的生产率。本文通过一个实例介绍怎样利用VMM建立基于事务的可重用的层次化验证平台。
Other AbstractVMM 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. 
Language中文
Citation statistics
Document Type期刊论文
Identifierhttp://ir.sia.cn/handle/173321/7022
Collection工业信息学研究室
Corresponding Author林健
Affiliation1.中国科学院沈阳自动化研究所
2.中国科学院研究生院
Recommended Citation
GB/T 7714
林健,杨志家. 利用VMM建立基于事务的层次化验证平台[J]. 微计算机信息,2010,26(11):97-98.
APA 林健,&杨志家.(2010).利用VMM建立基于事务的层次化验证平台.微计算机信息,26(11),97-98.
MLA 林健,et al."利用VMM建立基于事务的层次化验证平台".微计算机信息 26.11(2010):97-98.
Files in This Item: Download All
File Name/Size DocType Version Access License
ZWQK000960.pdf(202KB) 开放获取CC BY-NC-SAView Download
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[林健]'s Articles
[杨志家]'s Articles
Baidu academic
Similar articles in Baidu academic
[林健]'s Articles
[杨志家]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[林健]'s Articles
[杨志家]'s Articles
Terms of Use
No data!
Social Bookmark/Share
File name: ZWQK000960.pdf
Format: Adobe PDF
This file does not support browsing at this time
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.