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.

• 在用PERL语言编写产生的随机测试机器码的基础上；利用Accellera组织提出的PSL/Sugar语言；结合Cadence公司的ABV验证工具；探讨了一种新颖的RTL级RISC模块的ABV验证模式.