虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

验证模型

  • 基于FPGA组的ASIC逻辑验证技术研究

    随着ASIC设计规模的增长,功能验证已成为整个开发周期的瓶颈。传统的基于软件模拟和硬件仿真的逻辑验证方法已难以满足应用的要求,基于FPGA组的原型验证方法能有效缩短系统的开发周期,可提供更快更全面的验证。由于FPGA芯片容量的增加跟不上ASIC设计规模的增长,单芯片已无法容纳整个设计,所以常常需要对设计进行逻辑分割,将子逻辑块映射到FPGA阵列中。 本文对逻辑验证系统的可配置互连结构和ASIC逻辑分割算法进行了深入的研究,提出了FPGA阵列的非对称可配置互连结构。与现有的对称互连结构相比,该结构能提供更多的互连通道,可实现对I/O数量、电平类型和互连路径的灵活配置。 本文对逻辑分割算法进行了较深入的研究。针对现有的两类分割算法存在的不足,提出并实现了基于设计模块的逻辑分割算法,该算法有三个重要特征:1)基于设计代码;2)以模块作为逻辑分割的最小单位;3)使用模块资源信息指导逻辑分割过程,避免了设计分割过程的盲目性,简化了逻辑分割过程。 本文还对并行逻辑分割方法进行了研究,提出了两种基于不同任务分配策略的并行分割算法,并对其进行了模拟和性能分析;验证了采用并行方案对ASIC逻辑进行分割和映射的可行性。 最后基于改进的芯片互连结构,使用原型系统验证方法对某一大规模ASIC设计进行了逻辑分割和功能验证。实验结果表明,使用改进后的FPGA阵列互连结构可以更方便和快捷地实现ASIC设计的分割和验证,不但能显著提高芯片间互连路径的利用率,而且能给逻辑分割乃至整个验证过程提供更好的支持,满足现在和将来大规模ASIC逻辑验证的需求。

    标签: FPGA ASIC 逻辑 验证技术

    上传时间: 2013-06-12

    上传用户:极客

  • 基于FPGA的模糊控制器的设计与实现

    模糊控制是智能控制的重要组成部分,它能对那些不能建立精确数学模型的场合进行有效的控制;近年来,FPGA及EDA技术发展迅速。本论文就是要结合这两种先进技术,在一块FPGA芯片上实现一个双输入单输出的模糊控制器,并尝试将ADC和DAC集成在该芯片中,以简化系统设计。 首先阐述了模糊控制的理论基础,重点介绍了双输入单输出的模糊控制算法;然后在简单介绍FPGA结构和VHDL语言的基础上,采用自项向下的设计方法,应用主流EDA工具进行模糊控制各模块的设计,并对每个模块进行仿真;最后将各模块组成一完整的模糊控制器,在EDA工具上进行仿真验证和编程下载,并用一个温度控制实验验证了控制器的功能,证明该控制器满足一般控制应用的要求。 本论文是以VHDL和FPGA为代表的现代数字系统设计技术在智能控制领域应用的一个尝试,拓宽了模糊控制器的实现形式,相比于传统的以单片机为载体的模糊控制器,在系统的简单性、实时性和经济性方面都有显著的增强,是一种值得采用的方法。 由于在算法的处理上采取了一定的简化,所以损失了一定的精度。今后可以在算法上进行完善,设计出高精度的模糊控制器。

    标签: FPGA 模糊控制器

    上传时间: 2013-06-07

    上传用户:haoxiyizhong

  • 基于FPGA的MPEG-2预处理TS流复用设计及验证

      本文着重研究了多路数字节目复用器中的对多路预处理TS流复用的原理和基于FPGA的实现方法。首先论述了关于数字电视系统的一些基本概念,介绍了MPEG-2/DVB标准以及数字电视节目专用信息(PSI),并结合多路数字节目复用的基本原理提出了一套基于FPGA的设计方案。通过对复用器输入部分、复用控制逻辑和PCR校正等一系列模块的设计及仿真验证,达到了设计的要求,取得了一定的研究成果。

    标签: FPGA MPEG 预处理 TS流

    上传时间: 2013-06-09

    上传用户:bugtamor

  • 基于FPGA的高速IPSec协议实现技术研究

    随着国际互联网络的迅猛发展,网络应用的不断丰富,Intenret已经从最初以学术交流为目的而演变为商业行为,网络安全性需求日益增加,高速网络安全保密成为关注的焦点,在安全得到保障的情况下,为了满足网速无限制的追求,高速网络硬件加密设备也必将成为需求热点。另一方面,IPSec协议被广泛的应用于防火墙和安全网关中,但对IPSec协议的处理会大大增加网关的负载,成为千兆网实现的瓶颈。本文便是针对上述现状,研究基于高性能FPGA实现千兆IPSec协议的设计技术。 目前,国外IPSec协议实现已经芯片化,达到几千兆的速率,但是国内产品多以软件实现,速度难以提高。本文采用的基于FPGA的IPSec技术方案,采用硬件实现隧道模式下的IPSec协议,为IP分组及其上层协议数据提供机密性、数据完整性验证以及数据源验证等安全服务。在以VPN为实施方案的基础上,构建了以KDIPSec为设备原型以IPSec协议为出发点的千兆网络系统环境模型,从硬件体系结构到各个模块的划分以及各个模块实现的功能这几个方面描述了KDIPSec实现技术,最后描述了一些关键模块的FPGA设计和和仿真。所有处理模块均在Xilinx公司的FPGA芯片中实现,处理速率超过1Gb/s。

    标签: IPSec FPGA 协议 实现技术

    上传时间: 2013-07-03

    上传用户:wfl_yy

  • 高分辨率合成孔径雷达视频模拟器FPGA实现技术研究

    在合成孔径雷达的研究和研制工作中,合成孔径雷达模拟技术具有十分重要的作用。本文以440MHz带宽线性调频信号,采样频率500MHz高分辨合成孔径雷达视频模拟器为研究对象。首先对模拟器的几项主要技术进行分析,在对点目标回波信号模型分析研究的基础上,对点目标原始回波数据进行模拟并做了成像验证,从而为硬件实现提供了正确的信号模型;针对传统的“波形存储直读法”方案,即在计算机平台上用模拟软件产生原始回波数据并存储,再通过计算机接口实现数据传输,最后完成数模转换产生视频信号这一过程,分析指出该方案在实现高分辨率时的速度和容量瓶颈。  针对具体的设计要求,围绕速度和容量问题,本文着眼于高分辨率SAR模拟器的FPGA实现研究,指出FPGA实时生成点目标原始回波数据是其实现的核心;针对这一核心问题,充分利用现代VLSI设计中的流水线技术与并行阵列技术以及FPGA的优良性能和丰富资源,在时间上采用同步流水结构、空间上采用并行阵列形式,将速度和容量问题统一为数据的高速生成问题;给出了系统总体设计思想,该方案不需要大容量存储器单元,大大减少模拟器复杂度;对原始回波数据实时生成模块的各主要单元给出了结构并进行了仿真,结果表明FPGA可以满足课题设计要求;同时,对该模拟器片上系统的实现、增强人机交互性,给出了人机界面的设计思路。  分析指出了点目标原始回波数据实时生成模块通过并行扩展即可实现多点目标的原始回波数据实时生成;最后对复杂场景目标模拟器的实现进行了构思,指出了传统方案在改进的基础上实现高分辨率视频模拟器的可行性。本文首次提出以FPGA实现高分辨率合成孔径雷达原始回波数据实时生成的思想,为国内业界在此方向做了一些理论和实践上的有益探索,对于国内高分辨率合成孔径雷达的研制具有一定的实际意义。

    标签: FPGA 高分辨率 合成孔径 雷达视频

    上传时间: 2013-04-24

    上传用户:阿四AIR

  • 基于USB和FPGA技术的高性能数据采集模块的设计与实现

    在合成孔径雷达的研究和研制工作中,合成孔径雷达模拟技术具有十分重要的作用。本文以440MHz带宽线性调频信号,采样频率500MHz高分辨合成孔径雷达视频模拟器为研究对象。首先对模拟器的几项主要技术进行分析,在对点目标回波信号模型分析研究的基础上,对点目标原始回波数据进行模拟并做了成像验证,从而为硬件实现提供了正确的信号模型;针对传统的“波形存储直读法”方案,即在计算机平台上用模拟软件产生原始回波数据并存储,再通过计算机接口实现数据传输,最后完成数模转换产生视频信号这一过程,分析指出该方案在实现高分辨率时的速度和容量瓶颈。  针对具体的设计要求,围绕速度和容量问题,本文着眼于高分辨率SAR模拟器的FPGA实现研究,指出FPGA实时生成点目标原始回波数据是其实现的核心;针对这一核心问题,充分利用现代VLSI设计中的流水线技术与并行阵列技术以及FPGA的优良性能和丰富资源,在时间上采用同步流水结构、空间上采用并行阵列形式,将速度和容量问题统一为数据的高速生成问题;给出了系统总体设计思想,该方案不需要大容量存储器单元,大大减少模拟器复杂度;对原始回波数据实时生成模块的各主要单元给出了结构并进行了仿真,结果表明FPGA可以满足课题设计要求;同时,对该模拟器片上系统的实现、增强人机交互性,给出了人机界面的设计思路。  分析指出了点目标原始回波数据实时生成模块通过并行扩展即可实现多点目标的原始回波数据实时生成;最后对复杂场景目标模拟器的实现进行了构思,指出了传统方案在改进的基础上实现高分辨率视频模拟器的可行性。本文首次提出以FPGA实现高分辨率合成孔径雷达原始回波数据实时生成的思想,为国内业界在此方向做了一些理论和实践上的有益探索,对于国内高分辨率合成孔径雷达的研制具有一定的实际意义。

    标签: FPGA USB 性能 数据采集模块

    上传时间: 2013-05-26

    上传用户:alia

  • 嵌入式USB总线器件端处理器的FPGA实现研究

      本文提出了一种适合于嵌入式SoC的USB器件端处理器的硬件实现结构。并主要研究了USB器件端处理器的RTL级实现及FPGA原型验证、和ASIC实现研究,包括从模型建立、算法仿真、各个模块的RTL级设计及仿真、FPGA的下载测试和ASIC的综合分析。它的速度满足预定的48MHz,等效门面积不超过1万门,完全可应用于SOC设计中。  本文重点对嵌入式USB器件端处理器的FPGA实现作了研究。为了准确测试本处理器的运行情况,本文应用串口传递测试数据入FPGA开发板,测试模块读入测试数据,发送入PC机的主机端。通过NI-VISA充当软件端,检验测试数据的正确。     

    标签: FPGA USB 嵌入式 器件

    上传时间: 2013-07-24

    上传用户:1079836864

  • 数字电视环境下JVM在FPGA上的实现

    本文通过对当前国际上现有的数字电视标准和数字电视中间件标准进行比较,根据我国市场的实际情况,选择了欧洲数字电视(DVB)中间件标准DVB-MHP,深入分析了基于MHP的数字电视中间件模型.Java平台是基于MHP中间件模型的核心,本文通过深入分析Java平台的构成和Java虚拟机(JVM)的结构和运行原理,并结合适合嵌入式环境的KVM的原理及体系结构,提出了将KVM以FPGA的硬件方式实现的方案.根据数字电视的实际需要对KVM进行适当剪裁,以适应数字电视的嵌入式环境,并设计了相应的功能模块,最后在设计基础上用VHDL加以实现,对于核心模块做了仿真和验证.此外,本文还综述了EDA技术和FPGA器件的发展概况,并较为详细的介绍利用EDA技术进行设计开发的一般流程,最后在FPGA上实现JVM.

    标签: FPGA JVM 数字电视 环境

    上传时间: 2013-07-02

    上传用户:dba1592201

  • 基于ARM的大滞后控制系统研究

    在工业过程中,许多对象具有滞后特性,由于纯滞后的存在,使得系统的超调量变大,调节时间变长。因此滞后过程被公认为较难控制的对象,而且纯滞后占整个动态过程的时间越长,难控的程度越大。所以大纯滞后对象的控制一直是困扰自动控制和计算机应用领域的一大难题。而这类对象又广泛存在于石油、化工、酿造、制药、冶金等工业生产过程中。因此对该问题的研究具有重大的实际意义。 传统的PID配合Smith预估补偿器的控制方法,对模型误差反映比较灵敏,当存在建模误差或干扰时,控制效果并不能取得令人满意的效果。近年来随着模糊控制、神经网络控制等智能控制研究的不断深入,有些学者将它们与Smith预估控制、PID控制及预测控制等相结合,提出了针对不确定大滞后系统的新的控制方法。虽然有些控制方案效果不错,但系统的复杂程度和调试难度也随之增加。因此设计简单、快速、可靠的控制器,仍是一个重大课题。 本文首先介绍了大滞后过程的控制特点,概述了常用的大滞后过程的控制方法及其优缺点。接着概要地介绍了嵌入式系统的优点、发展历史、现状及前景。并针对性地介绍了ARM控制器的概况以及它的应用领域。然后本文针对大滞后对象提出了自抗扰控制器与Smith预估补偿器相结合的设计方案。通过仿真对比了本方案、PID配合Smith预估补偿器及单一的自抗扰控制器的控制效果,表明自抗扰控制器与Smith预估补偿器的结合有效地改善了大滞后对象的控制效果,增强了系统的鲁棒性和抗干扰能力。为验证该控制方案的实际控制效果,我们以PCT-II型过程控制实验装置中的具有大滞后特性的盘管内部的温度为被控对象,以JX44BO开发板作为主要的控制平台设计并完成大滞后控制实验。所以接下来本文介绍了实现这个嵌入式温度大滞后控制系统所涉及到的硬件平台、系统框图以及实验内容。然后本文介绍了嵌入式控制平台的控制界面以及各个主要功能的程序的实现,以及远程客户端程序在以太网通讯方面的程序实现和远程客户端程序的操作界面。最后本文给出了本次实验的参数设置以及最终的实验结果。实验结果表明在实际应用中本文所提出的方案对于大滞后对象具有较好的控制效果。

    标签: ARM 控制 系统研究

    上传时间: 2013-06-11

    上传用户:baitouyu

  • 变速恒频恒压无刷双馈电机风力发电系统的研究

    在能源消耗日益增长、环境污染日渐严重的今天,在当今对可再生能源的开发利用中,风能由于其突出的优点而成为世界各国普遍重视的能源,风力发电技术也成为各国学者竞相研究的热点.而其中变速恒频风力发电技术因其高效性和实用性正受到越来越多的重视.无刷双馈电机是一种结构简单、坚固可靠、异同步通用的电机,可在无刷情况下实现双馈.它具有功率因数可调、高效率的特点,比较适用于变速恒频恒压发电系统中.该文在传统风力发电的基础上,致力于研究变速恒频风力发电技术,以作为变速恒频风力发电机用的笼型转子型式的无刷双馈电机为主要研究对象,进行了深入的研究,主要包括以下几方面:1.对国内外风力发电研究现状作了较为全面的综述,介绍了无刷双馈电机发展概况和国内外研究现状.2.研究了无刷双馈电机的原型及发展,基本结构和运行原理,电磁设计特点.解释了将无刷双馈电机应用于变速恒频风力发电的可行性和优越性.探讨了无刷双馈电机的特性.3.首次推导了适用于变速恒频风力发电无刷双馈电机的功率控制数学模型提出无刷双馈电机变速恒频风力发电系统的功率控制策略.通过仿真分析验证了模型和控制策略的正确性.4.研究了无刷双馈电机作变速恒频风力发电机运行时的定子功率绕组磁链定向矢量控制策略.5.在总结无刷双馈电机传统各种控制策略的基础上,探讨了智能控制在无刷双馈电机的应用.通过仿真分析验证了模糊功率因数控制策略的正确性.

    标签: 变速恒频 双馈 恒压 无刷

    上传时间: 2013-06-24

    上传用户:bg6jsx