abv

摘要：由于RISC具有流水线结构和指令多样性的特点，传统的Co-Verification方法使RISC验证工作复杂而艰巨。在用PERL语言编写产生的随机测试机器...

PSL/Sugar ABV ABV验证 RISC 2007-04-05

摘要:本文在传统的图像客观测试峰值信噪比的基础上,对比了重建图像与原始图像,改进了测试模糊及方块效应等关键质量指标的算法,同时提出了预处理的方案. 实用中可与图...

数据采集　声卡　L abV IEW 2006-11-24

摘要：本文介绍了如何用PSL语言进行基于断言的仿真和形式验证。这是现在芯片设计领域广泛采用的高效验证方法，可以极大地缩短验...

|ABV|属性描述语言|寄存器传输级| 2005-12-10

在线研讨会

焦点