中国集成电路
中國集成電路
중국집성전로
CHINA INTEGRATED CIRCUIT
2006年
11期
28-31,44
,共5页
刘杰%徐伟俊%夏宇闻%秦冀龙
劉傑%徐偉俊%夏宇聞%秦冀龍
류걸%서위준%하우문%진기룡
随机约束%SystemVerilog%功能覆盖率
隨機約束%SystemVerilog%功能覆蓋率
수궤약속%SystemVerilog%공능복개솔
随机约束在现代集成电路验证中已得到国际IC设计业界的普遍认可,并逐渐开始普及.与传统的定向测试比较,它在验证效率、验证覆盖率等方面具有诸多优势.最新公布的SystemVerilog IEEE标准中,包含了对随机约束的支持.本文举例说明了随机约束的优点、使用方法及其与断言和功能覆盖率相辅相成的关系.目前国内已有一些设计单位开始将随机约束应用于设计验证中,本文的宗旨是介绍我们的成功经验以推动这种新的验证方法在国内的推广和普及.
隨機約束在現代集成電路驗證中已得到國際IC設計業界的普遍認可,併逐漸開始普及.與傳統的定嚮測試比較,它在驗證效率、驗證覆蓋率等方麵具有諸多優勢.最新公佈的SystemVerilog IEEE標準中,包含瞭對隨機約束的支持.本文舉例說明瞭隨機約束的優點、使用方法及其與斷言和功能覆蓋率相輔相成的關繫.目前國內已有一些設計單位開始將隨機約束應用于設計驗證中,本文的宗旨是介紹我們的成功經驗以推動這種新的驗證方法在國內的推廣和普及.
수궤약속재현대집성전로험증중이득도국제IC설계업계적보편인가,병축점개시보급.여전통적정향측시비교,타재험증효솔、험증복개솔등방면구유제다우세.최신공포적SystemVerilog IEEE표준중,포함료대수궤약속적지지.본문거례설명료수궤약속적우점、사용방법급기여단언화공능복개솔상보상성적관계.목전국내이유일사설계단위개시장수궤약속응용우설계험증중,본문적종지시개소아문적성공경험이추동저충신적험증방법재국내적추엄화보급.
