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

作     者：许伟坚 周剑扬 吴伟贤 陈辉煌 XU Wei-jian;ZHOU Jian-yang;WU Wei-xian;CHEN Hui-huang

作者机构：厦门大学电子工程系 厦门大学信息科学与技术学院福建厦门361005 

出 版 物：《厦门大学学报（自然科学版）》 (Journal of Xiamen University：Natural Science)

年 卷 期：2005年第44卷第3期

页      面：337-340页

核心收录：

学科分类：08[工学] 0805[工学-材料科学与工程（可授工学、理学学位）] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：福建省自然科学基金(F011009)资助 

主　　题：RISC PSL 语言 模块 Cadence公司 流水线结构 验证工作 随机测试 实验证明 验证工具 技术保障 开发周期 ABV 多样性 机器码 RTL 产品化 SOC 工作量 覆盖率 指令 芯片 

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