由于RISC具有流水线结构和指令多样性的特点,传统的Co-Verification方法使RISC验证工作复杂而艰巨。在用PERL语言编写产生的随机测试机器码的基础上,利用Accellera组织提出的PSL/Sugar语言,结合Cadence公司的ABV验证工具,探讨了一种新颖的RTL级RISC模块的ABV验证模式。