现代电子技术
現代電子技術
현대전자기술
MODERN ELECTRONICS TECHNIQUE
2010年
10期
5-7,14
,共4页
验证方法%SVA%时序特性%因果特性
驗證方法%SVA%時序特性%因果特性
험증방법%SVA%시서특성%인과특성
基于断言SVA的验证是一种有价值的主流验证技术.断言特别适合于描述时序特性和因果特性.作为System Verilog的重要组成部分,SVA提供了丰富的断言指令,能有效地提高验证测试工作的质量和效率.在此,首先介绍断言验证语言SVA,通过与Verilog验证对比,说明SVA在时序特性和因果特性验证上的优势.证明基于断言的验证是SoC设计验证的一种有效方法,能够有效地提高验证效率.
基于斷言SVA的驗證是一種有價值的主流驗證技術.斷言特彆適閤于描述時序特性和因果特性.作為System Verilog的重要組成部分,SVA提供瞭豐富的斷言指令,能有效地提高驗證測試工作的質量和效率.在此,首先介紹斷言驗證語言SVA,通過與Verilog驗證對比,說明SVA在時序特性和因果特性驗證上的優勢.證明基于斷言的驗證是SoC設計驗證的一種有效方法,能夠有效地提高驗證效率.
기우단언SVA적험증시일충유개치적주류험증기술.단언특별괄합우묘술시서특성화인과특성.작위System Verilog적중요조성부분,SVA제공료봉부적단언지령,능유효지제고험증측시공작적질량화효솔.재차,수선개소단언험증어언SVA,통과여Verilog험증대비,설명SVA재시서특성화인과특성험증상적우세.증명기우단언적험증시SoC설계험증적일충유효방법,능구유효지제고험증효솔.
