随着ASIC设计规模的增长，功能验证已成为整个开发周期的瓶颈。传统的基于软件模拟和硬件仿真的逻辑验证方法已难以满足应用的要求，基于FPGA组的原型验证方法能有效缩短系统的开发周期，可提供更快更全面的验证。由于FPGA芯片容量的增加跟不上ASIC设计规模的增长，单芯片已无法容纳整个设计，所以常常需要对设计进行逻辑分割，将子逻辑块映射到FPGA阵列中。 本文对逻辑验证系统的可配置互连结构和ASIC逻辑分割算法进行了深入的研究，提出了FPGA阵列的非对称可配置互连结构。与现有的对称互连结构相比，该结构能提供更多的互连通道，可实现对I/O数量、电平类型和互连路径的灵活配置。 本文对逻辑分割算法进行了较深入的研究。针对现有的两类分割算法存在的不足，提出并实现了基于设计模块的逻辑分割算法，该算法有三个重要特征：1)基于设计代码；2)以模块作为逻辑分割的最小单位；3)使用模块资源信息指导逻辑分割过程，避免了设计分割过程的盲目性，简化了逻辑分割过程。 本文还对并行逻辑分割方法进行了研究，提出了两种基于不同任务分配策略的并行分割算法，并对其进行了模拟和性能分析；验证了采用并行方案对ASIC逻辑进行分割和映射的可行性。 最后基于改进的芯片互连结构，使用原型系统验证方法对某一大规模ASIC设计进行了逻辑分割和功能验证。实验结果表明，使用改进后的FPGA阵列互连结构可以更方便和快捷地实现ASIC设计的分割和验证，不但能显著提高芯片间互连路径的利用率，而且能给逻辑分割乃至整个验证过程提供更好的支持，满足现在和将来大规模ASIC逻辑验证的需求。
上传时间： 2013-06-12
上传用户：极客
在永磁直流电机中，即使电枢绕组不通电，由于永磁体产生的磁场同电枢铁芯的齿槽相互作用而产生转矩，即齿槽定位力矩(CoggingTorque)。定位力矩使电机输出转矩波动，产生振动及噪声。文中阐述了产生定位力矩的原理，综述了包括德昌电机公司的技术在内的抑制定位力矩的方法和研究现状。抑制定位力矩的方法，主要就是减小电枢旋转过程中气隙中磁场能量的变化。 文中以少槽永磁直流电机为例，通过有限元分析，以及DOE实验验证，对转子冲片增加辅助凹槽、充磁方式和转子冲片不同类型对定位力矩的影响进行了研究，深入分析了冲片辅助凹槽对抑制少槽永磁直流电机定位力矩的作用，结果表明，同一冲片上在对称位置上排布辅助凹槽能取得很好的效果，而以冲片中心线对称地加两个辅助凹槽时，辅助凹槽角度不同作用不同。对不同冲片，适合的辅助凹槽角度也是不同的。文中找出了一个较成熟的抑制少槽永磁直流电机定位力矩的系统方法，给出了生产中实用的抑制方法，同时通过实验给出了这些方法对电机性能的影响。 DOE方法能从不同因素中找出对定位力矩起主要作用的变异因素，并且寻找到各变异因素之间的影响作用，给出抑制定位力矩各变量的最佳组合，相比现时生产中的方法，该组合可将定位力矩降低70％。
上传时间： 2013-07-10
上传用户：ljthhhhhh123
介绍一种利用光电技术动态检测轨道不平顺的方法，装置安装在运营机车上，由线阵CCD传感器、红外线光源、轨道检测单元板、数据转储器和地面微机处理系统等部分组成。阐述了直接测量法原理、硬件电路、浮动二值化以
上传时间： 2013-05-23
上传用户：1966640071
小波变换是一种新兴的理论，是数学发展史上的重要成果。它无论对数学还是对工程应用都产生了深远的影响。最新的静态图像压缩标准JPEG2000就以离散小波变换(DWT)作为核心变换算法。 本文首先较为详细地分析了小波变换的理论基础，对多分辨率分析、Mallat算法和提升算法做了介绍。然后分析了JPEG2000所采用的小波滤波器，并引入了一个新的LS97小波。该小波系数简单、易于硬件实现，并且与CDF97小波有很好的兼容性，可作为CDF97小波的替代者。使用Matlab对CDF97小波和LS97小波的兼容性做仿真测试，结果表明这两个小波具有几乎相同的性能。在确定所用的小波后，本文设计了二维离散小波变换的硬件结构。设计过程中对标准二维小波变换做了优化，即将行变换和列变换的归一化步骤合并计算，这样可以减少两次乘法操作。另外还使用移位加代替乘法，提取移位加中的公共算子等方式来优化设计。对于边界数据的处理，本文采用了嵌入式对称延拓技术，不需要额外的缓存，节约了硬件资源。为提高硬件利用率，本文将LeGall53小波变换和LS97小波变换统一起来，只要一个控制信号就可实现两者之间的转换。本文所提出的结构采用基于行的变换方式，只需要六行中间数据即可完成全部行数据的小波变换。采用流水线技术提高了整个设计的运行速度。最后也给出了二维离散小波反变换的实现结构。 在完成硬件结构设计的基础上，使用Verilog硬件描述语言对整个设计进行了完全可综合的RTL级描述，采用同步设计，提高了可靠性。在Xilinx公司的FPGA开发软件ISE6.3i中对正反小波变换做了仿真和实现，结果表明，本设计能高速高精度地完成正反可逆和不可逆小波变换，可以满足各种实时性要求。
上传时间： 2013-07-25
上传用户：sn2080395
遥感图像在人类生活和军事领域的应用日益广泛，适合各种要求的遥感图像编码技术具有重要的现实意义。基于小波变换的内嵌编码技术已成为当前静止图像编码领域的主流，其中就包括基于分层树集合分割排序(Set Partitioning inHierarchical Trees，SPIHT)的内嵌编码算法。这种算法具有码流可随机获取以及良好的恢复图像质量等特性，因此成为实际应用中首选算法。随着对图像编码技术需求的不断增长，尤其是在军事应用领域如卫星侦察等方面，这种编码算法亟待转换为可应用的硬件编码器。 在静止图像编码领域，高性能的图像编码器设计一直是相关研究人员不懈追求的目标。本文针对静止图像编码器的设计作了深入研究，并致力于高性能的图像编码算法实现结构的研究，提出了具有创新性的降低计算量、存储量，提高压缩性能的算法实现结构，并成功应用于图像编码硬件系统中。这个方案还支持压缩比在线可调，即在不改变硬件框架的条件下可按用户要求实现16倍到2倍的压缩，以适应不同的应用需求。本文所做的工作包括了两个部分。 1．一种基于行的实时提升小波变换实现结构：该结构同时处理行变换和列变换，并且在图像边界采用对称扩展输出边界数据，使得图像小波变换时间与传统的小波变换相比提高了将近2.6倍，提高了硬件系统的实时性。该结构还合理地利用和调度内部缓冲器，不需要外部缓冲器，大大降低了硬件系统对存储器的要求。 2．一种采用左遍历的比特平面并行SPIHT编码结构：在该编码结构中，空间定位生成树采用深度优先遍历方式，比特平面同时处理极大地提高了编码速度。
上传时间： 2013-06-17
上传用户：abc123456.
采用现场可编程门阵列(FPGA)可以快速实现数字电路，但是用于生成FPGA编程的比特流文件的CAD工具在编制大规模电路时常常需要数小时的时间，以至于许多设计者甚至通过在给定FPGA上采用更多的资源，或者以牺牲电路速度为代价来提高编制速度。电路编制过程中大部分时间花费在布线阶段，因此有效的布线算法能极大地减少布线时间。 许多布线算法已经被开发并获得应用，其中布尔可满足性(SAT)布线算法及几何查找布线算法是当前最为流行的两种。然而它们各有缺点：基于SAT的布线算法在可扩展性上有很大缺陷；几何查找布线算法虽然具有广泛的拆线重布线能力，但当实际问题具有严格的布线约束条件时，它在布线方案的收敛方面存在很大困难。基于此，本文致力于探索一种能有效解决以上问题的新型算法，具体研究工作和结果可归纳如下。 1、在全面调查FPGA结构的最新研究动态的基础上，确定了一种FPGA布线结构模型，即一个基于SRAM的对称阵列(岛状)FPGA结构作为研究对象，该模型仅需3个适合的参数即能表示布线结构。为使所有布线算法可在相同平台上运行，选择了美国北卡罗来纳州微电子中心的20个大规模电路作为基准，并在布线前采用VPR399对每个电路都生成30个布局，从而使所有的布线算法都能够直接在这些预制电路上运行。 2、详细研究了四种几何查找布线算法，即一种基本迷宫布线算法Lee，一种基于协商的性能驱动的布线算法PathFinder，一种快速的时延驱动的布线算法VPR430和一种协商A
上传时间： 2013-05-18
上传用户：ukuk
·UPS不间断电源剖析与应用
上传时间： 2013-06-28
上传用户：evil
山特UPS-500不间断电源电路图，多款电路图
上传时间： 2013-04-24
上传用户：sardinescn
verilog 代码，读写SDRAM 不带仿真，需要自己编写测试文件
上传时间： 2013-08-13
上传用户：zh_901
VHDL设计的经验，高人手记，让你在编写VHDL代码时避免不应用的错误和修改错误。
上传时间： 2013-08-19
上传用户：sammi
