可重定位的基于事务的系统级验证  

Retargetable Transaction-Based System Level Verification

作　　者：DamianDeneault RishMcAndrew CharlieMiller RichardNewell 晓东 

机构地区：[1]美国Zaiq公司 [2]美国Aptix公司 [3]不详

出　　处：《电子设计应用》2004年第3期15-18,2-3,共4页Electronic Design & Application World

摘　　要：功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门,以及对开发和集成嵌入式软件的需求持续增加,软件模拟器已经力所不及。而本文所介绍的基于事务的验证允许代表单个或者多个时钟周期的大量数据不经多次调用而直接进入模拟器,极大地提高了模拟性能。Functional verification has become the dominant resource issue in developing SoC.This paper introduces thattransaction-based verification improves performance dramatically by allowing large amounts of data representingsingle or multiple clock cycles to be passed into simulation without multiple calls.

关 键 词：SOC芯片 系统级验证 事务处理器 功能验证 

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