面向SoC的事务级验证研究  

SoC-Oriented Transaction-Based Verification Methodology

作　　者：韩霞[1] 杨洪斌[1] 吴悦[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《计算机技术与发展》2007年第3期33-36,共4页Computer Technology and Development

基　　金：上海-应用材料研究与发展基金(06SA18)

摘　　要：随着集成电路的快速发展,一个SoC的规模已经在几百万门至几千万门左右,面对这样高的复杂度,功能验证成为芯片设计中的一个挑战。传统的验证方法已经成为SoC设计的“瓶颈”。基于事务的验证方法成为SoC设计中功能验证最有效的途径之一。文中重点阐述了基于事务验证的相关概念,给出了完成SoC事务验证的一般流程和设计方法,并详细分析了事务验证平台的设计调试和功能覆盖率分析,最后对传统的验证方法和基于事务的验证方法进行了比较,给出了基于事务验证方法的优点。With the fast development of IC, the availability of millions of transistors on a single chip has allowed the creation of more complex on - chip systems. The functional verification of such systems has become a challenge. The traditional verification methodology turns into a bottleneck of SoC＇s design, but transaction- based verification（TBV） methodology is more and more effective. Introduces the basic conception of transaction - based verification, and then shows the TBV＇ s flow and design about SoC. The debugging process and the measurement of functional coverage are analyzed in detail for TBV. Finally compares traditional verification methodology with TBV, and presents TBV＇ s advantages.

关 键 词：系统芯片 基于事务的验证 验证平台 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]