计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
15期
238-240
,共3页
方亮%戎蒙恬%刘文江%毛军发
方亮%戎矇恬%劉文江%毛軍髮
방량%융몽념%류문강%모군발
SystemC验证库%SystemC%事务级验证
SystemC驗證庫%SystemC%事務級驗證
SystemC험증고%SystemC%사무급험증
结合SystemC验证库(SCV)的特点,提出了一种新的事务级验证模型,对其中部分主要模块进行了描述.该模型具有事务级交易记录、结果自检测以及随机测试等特性,通过该模型能够构建事务级验证平台.通过RAM实例,描述了验证平台的构建过程.
結閤SystemC驗證庫(SCV)的特點,提齣瞭一種新的事務級驗證模型,對其中部分主要模塊進行瞭描述.該模型具有事務級交易記錄、結果自檢測以及隨機測試等特性,通過該模型能夠構建事務級驗證平檯.通過RAM實例,描述瞭驗證平檯的構建過程.
결합SystemC험증고(SCV)적특점,제출료일충신적사무급험증모형,대기중부분주요모괴진행료묘술.해모형구유사무급교역기록、결과자검측이급수궤측시등특성,통과해모형능구구건사무급험증평태.통과RAM실례,묘술료험증평태적구건과정.