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

RISC Model Verification Based on PSL/Sugar Language

作　　者：许伟坚[1] 周剑扬[2] 吴伟贤[1] 陈辉煌[2] 

机构地区：[1]厦门大学电子工程系 [2]厦门大学信息科学与技术学院,福建厦门361005

出　　处：《厦门大学学报（自然科学版）》2005年第3期337-340,共4页Journal of Xiamen University：Natural Science

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

摘　　要：由于RISC具有流水线结构和指令多样性的特点,传统的Co Verification方法使RISC验证工作复杂而艰巨.在用PERL语言编写产生的随机测试机器码的基础上,利用Accellera组织提出的PSL/Sugar语言,结合Cadence公司的ABV验证工具,探讨了一种新颖的RTL级RISC模块的ABV验证模式.实验证明,该方法简单、快捷、可靠,能保证验证功能覆盖率达到100%,可以节省大量验证工作量,缩短SOC的开发周期,为加快芯片从设计到产品化的过程增加了一道安全的技术保障.Because the RISC has pipeline structure and various instructions,the traditional verification process Co-Verification is very complex and arduous.Based on the PSL/Sugar language and implemented by the ABV verification tool of Cadence,this article discussed a novel ABV verification method on RISC model.Here we used PERL programs to produce the binary random machine codes for RISC.The experimental result showed that the verification method was quite simple and powerful,and it can reach 100% function coverage and shorten the SOC developing period.It’s another important technical safeguard for the SOC before it’s design sign-off.

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

分 类 号：TP332[自动化与计算机技术—计算机系统结构] TN104.3[自动化与计算机技术—计算机科学与技术]