基于FPGA组的ASIC逻辑验证技术研究
随着ASIC设计规模的增长,功能验证已成为整个开发周期的瓶颈。传统的基于软件模拟和硬件仿真的逻辑验证方法已难以满足应用的要求,基于FPGA组的原型验证方法能有效缩短系统的开发周期,可提供更快更全面的验证。由于FPGA芯片容量的增加跟不上ASIC设计规模的增长,单芯片已无法容纳整个设计,所以常常需要对...
随着ASIC设计规模的增长,功能验证已成为整个开发周期的瓶颈。传统的基于软件模拟和硬件仿真的逻辑验证方法已难以满足应用的要求,基于FPGA组的原型验证方法能有效缩短系统的开发周期,可提供更快更全面的验证。由于FPGA芯片容量的增加跟不上ASIC设计规模的增长,单芯片已无法容纳整个设计,所以常常需要对...
在永磁直流电机中,即使电枢绕组不通电,由于永磁体产生的磁场同电枢铁芯的齿槽相互作用而产生转矩,即齿槽定位力矩(CoggingTorque)。定位力矩使电机输出转矩波动,产生振动及噪声。文中阐述了产生定位力矩的原理,综述了包括德昌电机公司的技术在内的抑制定位力矩的方法和研究现状。抑制定位力矩的方法,主...
介绍一种利用光电技术动态检测轨道不平顺的方法,装置安装在运营机车上,由线阵CCD传感器、红外线光源、轨道检测单元板、数据转储器和地面微机处理系统等部分组成。阐述了直接测量法原理、硬件电路、浮动二值化以...
小波变换是一种新兴的理论,是数学发展史上的重要成果。它无论对数学还是对工程应用都产生了深远的影响。最新的静态图像压缩标准JPEG2000就以离散小波变换(DWT)作为核心变换算法。 本文首先较为详细地分析了小波变换的理论基础,对多分辨率分析、Mallat算法和提升算法做了介绍。然后分析了JPEG20...
遥感图像在人类生活和军事领域的应用日益广泛,适合各种要求的遥感图像编码技术具有重要的现实意义。基于小波变换的内嵌编码技术已成为当前静止图像编码领域的主流,其中就包括基于分层树集合分割排序(Set Partitioning inHierarchical Trees,SPIHT)的内嵌编码算法。这种算法...