信息验证

信息验证技术资料下载专区,收录7,592份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

7,592 份资源
源代码 10,000

信息验证 热门资料

查看全部 7,592 份 →
PDF文档

随着集成电路设计水平的进步,电路规模日益增大,电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要,形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证可以分为组合电路的等价验证和时序电路的等...

1 次下载
PDF文档

FPGA原型验证是SoC有效的验证途径,FPGA原 型验证平台能以实时的方式进行软硬件协同验证,从而可以缩短SoC的开发周期,提高验证工作的可靠性,降低$oc系统的开 发成本。...

5 次下载 默默
PDF文档

该验证平台基于 VMM 架构, 采用 Syste mVer ilog语言编写所需的验证组件和功能覆盖率代码,并在设计代码中插入断言 ( SVA), 将两者结合起来, 能够快速、 准确的定位出网络处理器在执行过程中发生的错误,有效对其进行功能...

4 次下载 shjgzh

信息验证 源代码

查看全部 10,000 份 →