一种基于事务的SoC功能验证方法  

A transaction-based SoC functional verification methodology

作　　者：常勇[1] 申敏[1] 

机构地区：[1]重庆邮电大学,400065

出　　处：《微计算机信息》2008年第17期137-139,共3页Control & Automation

基　　金：国家863计划引导项目编编号:(2004AAO01390)

摘　　要：本文介绍了基于事务的SoC验证方法,详细说明了事务、事务处理器的概念和事务级验证平台的功能结构。Synopsys公司的RVM验证方法学是当前比较流行的基于事务的SoC验证方法,文中详细介绍了RVM验证平台的层次结构,并且以一个UART模块的功能验证为例,描述了如何利用RVM验证方法学搭建一个高效的可重用的验证平台。This paper presents the transaction-based SoC verification methodology, and details what is transaction,transactor and so on. The paper introduces the strucure of a transaction level testbench. This paper exhibits the reference verification methodology （RVM） and how it is applied to a UART design case. Finally, by the way of resusing of IP module in SoC testbench, we can increase the effect of the verification environment.

关 键 词：基于事务的验证 验证平台 RVM SOC 

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