>
首页
业界动态
市场趋势
新品速递
技术文章
解决方案
首页
>abv验证
基于PSL/Sugar语言的RISC模块验证
摘要:由于RISC具有流水线结构和指令多样性的特点,传统的Co-Verification方法使RISC验证工作复杂而艰巨。在用PERL语言编写产生的随机测试机器...
PSL/Sugar
ABV
ABV验证
RISC
2007-04-05
1
在线研讨会
焦点