PDF文档
时序电路的等价验证方法
随着集成电路设计水平的进步，电路规模日益增大，电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要，形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证可以分为组合电路的等价验证和时序电路的等...
生物特征验证
生物特征验证技术资料下载专区，收录2,656份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
共 2,656 份资源
源代码 7,437
生物特征验证 热门资料
查看全部 2,656 份 →
PDF文档
ARM+SoC的FPGA原型验证
FPGA原型验证是SoC有效的验证途径，FPGA原 型验证平台能以实时的方式进行软硬件协同验证，从而可以缩短SoC的开发周期，提高验证工作的可靠性，降低$oc系统的开 发成本。...
PDF文档
基于sv的网络处理验证平台
该验证平台基于 VMM 架构, 采用 Syste mVer ilog语言编写所需的验证组件和功能覆盖率代码,并在设计代码中插入断言 ( SVA), 将两者结合起来, 能够快速、 准确的定位出网络处理器在执行过程中发生的错误,有效对其进行功能...