中国集成电路
中國集成電路
중국집성전로
CHINA INTEGRATED CIRCUIT
2007年
7期
58-62
,共5页
徐伟俊%杨鑫%陈先勇%夏宇闻
徐偉俊%楊鑫%陳先勇%夏宇聞
서위준%양흠%진선용%하우문
功能覆盖率%SystemVerilog%覆盖率组%覆盖率属性
功能覆蓋率%SystemVerilog%覆蓋率組%覆蓋率屬性
공능복개솔%SystemVerilog%복개솔조%복개솔속성
本文在介绍传统验证过程及其局限性的基础上,阐述了针对功能覆盖率验证(coverage driven verification)的概念和必要性,通过举例简要地说明了该验证过程的步骤,帮助读者理解为什么学习systemVerilog语言,掌握一些基本的针对功能覆盖率验证库的使用方法,就可以显著提高验证的效率和可信度,并使得复杂验证过程的管理变得容易.
本文在介紹傳統驗證過程及其跼限性的基礎上,闡述瞭針對功能覆蓋率驗證(coverage driven verification)的概唸和必要性,通過舉例簡要地說明瞭該驗證過程的步驟,幫助讀者理解為什麽學習systemVerilog語言,掌握一些基本的針對功能覆蓋率驗證庫的使用方法,就可以顯著提高驗證的效率和可信度,併使得複雜驗證過程的管理變得容易.
본문재개소전통험증과정급기국한성적기출상,천술료침대공능복개솔험증(coverage driven verification)적개념화필요성,통과거례간요지설명료해험증과정적보취,방조독자리해위십요학습systemVerilog어언,장악일사기본적침대공능복개솔험증고적사용방법,취가이현저제고험증적효솔화가신도,병사득복잡험증과정적관리변득용역.
