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