现代电子技术
現代電子技術
현대전자기술
MODERN ELECTRONICS TECHNIQUE
2008年
6期
1-3,11
,共4页
功能验证%事务%测试平台%IC设计
功能驗證%事務%測試平檯%IC設計
공능험증%사무%측시평태%IC설계
功能验证是百万门级IC设计中的一个重要瓶颈.基于事务的验证方法把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率.介绍这种功能验证方法及其测试平台的建立.
功能驗證是百萬門級IC設計中的一箇重要瓶頸.基于事務的驗證方法把驗證工作提高到一箇更高的抽象層次,減少瞭驗證中對信號級時序細節的攷慮,更註重于事務級行為的驗證,併可提高驗證代碼編寫的重用性,有利于提高驗證的工作效率.介紹這種功能驗證方法及其測試平檯的建立.
공능험증시백만문급IC설계중적일개중요병경.기우사무적험증방법파험증공작제고도일개경고적추상층차,감소료험증중대신호급시서세절적고필,경주중우사무급행위적험증,병가제고험증대마편사적중용성,유리우제고험증적공작효솔.개소저충공능험증방법급기측시평태적건립.
