厦门大学学报(自然科学版)
廈門大學學報(自然科學版)
하문대학학보(자연과학판)
JOURNAL OF XIAMEN UNIVERSITY (NATURAL SCIENCE)
2005年
3期
337-340
,共4页
许伟坚%周剑扬%吴伟贤%陈辉煌
許偉堅%週劍颺%吳偉賢%陳輝煌
허위견%주검양%오위현%진휘황
PSL/Sugar%ABV%规格书(Specification)%RISC
PSL/Sugar%ABV%規格書(Specification)%RISC
PSL/Sugar%ABV%규격서(Specification)%RISC
由于RISC具有流水线结构和指令多样性的特点,传统的Co-Verification方法使RISC验证工作复杂而艰巨.在用PERL语言编写产生的随机测试机器码的基础上,利用Accellera组织提出的PSL/Sugar语言,结合Cadence公司的ABV验证工具,探讨了一种新颖的RTL级RISC模块的ABV验证模式.实验证明,该方法简单、快捷、可靠,能保证验证功能覆盖率达到100%,可以节省大量验证工作量,缩短SOC的开发周期,为加快芯片从设计到产品化的过程增加了一道安全的技术保障.
由于RISC具有流水線結構和指令多樣性的特點,傳統的Co-Verification方法使RISC驗證工作複雜而艱巨.在用PERL語言編寫產生的隨機測試機器碼的基礎上,利用Accellera組織提齣的PSL/Sugar語言,結閤Cadence公司的ABV驗證工具,探討瞭一種新穎的RTL級RISC模塊的ABV驗證模式.實驗證明,該方法簡單、快捷、可靠,能保證驗證功能覆蓋率達到100%,可以節省大量驗證工作量,縮短SOC的開髮週期,為加快芯片從設計到產品化的過程增加瞭一道安全的技術保障.
유우RISC구유류수선결구화지령다양성적특점,전통적Co-Verification방법사RISC험증공작복잡이간거.재용PERL어언편사산생적수궤측시궤기마적기출상,이용Accellera조직제출적PSL/Sugar어언,결합Cadence공사적ABV험증공구,탐토료일충신영적RTL급RISC모괴적ABV험증모식.실험증명,해방법간단、쾌첩、가고,능보증험증공능복개솔체도100%,가이절성대량험증공작량,축단SOC적개발주기,위가쾌심편종설계도산품화적과정증가료일도안전적기술보장.