基于PSL/Sugar语言的RISC模块验证

• 作者: 吴伟贤 周剑扬 许伟坚 陈辉煌
• 来源期刊: 厦门大学学报（自然科学版）
• 学科: 工学
• 关键词: PSL/Sugar ABV 规格书(Specification) RISC
• 年，卷（期）: 2005,（3）
• 所属期刊栏目: 研究论文
• 页码范围: 337-340
• 页数: 4页
• 分类号: TP391.9
• 字数: 3492字
• 语种: 中文
• DOI: 10.3321/j.issn:0438-0479.2005.03.012

摘要

由于RISC具有流水线结构和指令多样性的特点,传统的Co-Verification方法使RISC验证工作复杂而艰巨.在用PERL语言编写产生的随机测试机器码的基础上,利用Accellera组织提出的PSL/Sugar语言,结合Cadence公司的ABV验证工具,探讨了一种新颖的RTL级RISC模块的ABV验证模式.实验证明,该方法简单、快捷、可靠,能保证验证功能覆盖率达到100%,可以节省大量验证工作量,缩短SOC的开发周期,为加快芯片从设计到产品化的过程增加了一道安全的技术保障.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈辉煌	厦门大学信息科学与技术学院	35	365	10.0	18.0
2	周剑扬	厦门大学信息科学与技术学院	30	233	6.0	14.0
3	许伟坚	厦门大学电子工程系	4	10	2.0	3.0
4	吴伟贤	厦门大学电子工程系	2	9	2.0	2.0