基于FPGA组的ASIC逻辑验证技术研究
随着ASIC设计规模的增长,功能验证已成为整个开发周期的瓶颈。传统的基于软件模拟和硬件仿真的逻辑验证方法已难以满足应用的要求,基于FPGA组的原型验证方法能有效缩短系统的开发周期,可提供更快更全面的验证。由于FPGA芯片容量的增加跟不上AS...
取证技术技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
随着ASIC设计规模的增长,功能验证已成为整个开发周期的瓶颈。传统的基于软件模拟和硬件仿真的逻辑验证方法已难以满足应用的要求,基于FPGA组的原型验证方法能有效缩短系统的开发周期,可提供更快更全面的验证。由于FPGA芯片容量的增加跟不上AS...
在网格环境中,为了能使用户安全、方便地使用他们的认证证书,我们必须对证书进行有效管理。本文主要介绍了网格安全基础设施和在线证书仓库对网格用户证书的管理过程,最后对在线证书仓库的一个实例进行了分
本文针对目前芯片验证中出现的瓶颈问题,阐述了当前流行的验证技术和部分硬件验证语言。文中介绍了SystemC 和E 语言,以及多种功能验证技术。最后通过对Rana接口芯片的功能验证探讨了
本文讨论了当前在网络拓扑发现研究工作中广泛应用的一些获取网络拓扑信息的关键技术和方法,并且将它们按照各自所属的协议即ICMP 协议、SNMP 协议、BGP 和OSPF 等路由协议、Whois/RWho
讨论了软件无线电接收机中数字下变频处理技术中的CIC抽取滤波器结构原理,分析了CIC滤波器级联ISOP滤波器进行抽取滤波的设计技术。验证了ISOP滤波器对CIC滤波器带内衰减补偿的有效性;采用了CIC
提出了一种基于空间域的相关性数据隐藏算法,并利用相关性原理能够在不参考原始载体的情况下对数字图像进行内容认证和密文提取,通过提取数字图像中的嵌入数据,为司法机关提供证据,实现数字取证。多
针对大型构件内部微损伤难以及时发现排除,给生活生产造成安全隐患的现状,基于波包提取技术,利用波包的虚拟时间逆传播,设计了一种新的传感器阵列,并在理论上推导了该传感器阵列二维成像的运算公式,最后利用MATLAB编程模拟仿真了用该传感器阵列进行...