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

验证语言

  • USB20加密接口芯片的设计及其FPGA验证.rar

    信息安全在当今的社会生产生活中已经被广为关注,对敏感信息进行加密是提高信息安全性的一种常见的和有效的手段。 常见的加密方法有软件加密和硬件加密。软件加密的方法因为加密速度低、安全性差以及安装不便,在一些高端或主流的加密处理中都采用硬件加密手段对数据进行处理。硬件加密设备如加密狗和加密卡已经广泛地应用于信息加密领域当中。 但是加密卡和加密狗因为采用的是多芯片结构,即采用独立的USB通信芯片和独立的加密芯片来分别实现数据的USB传输和加密功能,如果在USB芯片和加密芯片之间进行数据窃听的话,很轻易地就可以获得未加密的明文数据。作者提出了一种新的基于单芯片实现的USB加密接口芯片的构想,采用一块芯片实现数据的USB2.0通信和AES加密功能,命名为USB2.0加密接口芯片。 USB2.0加密接口芯片采用了USB2.0接口标准和AES加密算法。该加密芯片可以实现与主机的快速通信,具有快速的密码处理能力,对外提供USB接口,支持基于USB密码载体的自身安全初始化方式。 根据设计思想,课题研究并设计了USB2.0加密接口芯片的总体硬件架构,设计了USB模块和AES加密模块。为了解决USB通信模块与AES加密模块之间存在的数据处理单元匹配以及速度匹配问题,本文设计了AESUSB缓冲器,优化了AES有限域加密算法。最后,利用VerilogHDL语言在FPGA芯片上实现了USB2.0加密接口芯片的功能,并在此基础之上对加密芯片的通信和加密性能进行了测试和验证。

    标签: FPGA USB 20

    上传时间: 2013-05-24

    上传用户:黄华强

  • 基于FPGA的MCS51核的VHDL语言设计与实现.rar

    本文以研究嵌入式微处理器为主,自主地设计了能够运行MCS-51系列单片机指令的MCU系统。系统采用了VHDL 语言与原理框图的综合设计方法,并且在Altera公司的FPGA上通过验证。论文深入地研究了微处理器的指令系统和数据地址通路,采用VHDL 语言完成了取指单元,指令译码器单元,存储器单元和逻辑运算单元的电路模块的设计与实现;研究了控制单元的实现方法和基于全局状态机的设计理论,采用硬件描述语言完成了对各个控制线的相关设计与实现。论文通过原理示意图和示例代码的演示,着重介绍了指令译码器的实现方式,基于此种方式形成的译码电路还能够实现更为复杂的CISC指令。 本系统采用分模块的设计方式,把具有相同功能的逻辑电路集中到一个框图里,使得系统的可移植性大大地提高。系统还采用层次框图的设计方式,把明显地具有主从关系的电路放在不同的层次里,这也使得系统模块功能的可扩展性大大地增强。内部逻辑共分为数据存储器模块;程序存储器模块;时序控制模块;特殊功能寄存器模块和Core核心模块这五个部分,文中对各个模块的设计作了详细的介绍。本文在最后对已实现的部分典型指令进行了逻辑仿真测试,测试结果表明,本文所设计的MCU系统能够如预期地执行相应的指令。在指令执行的过程中,相应寄存器和总线上的值也均符合设计要求,实现了设计目标。

    标签: FPGA VHDL MCS

    上传时间: 2013-05-20

    上传用户:2525775

  • 基于FPGA的SOC和IPCore验证平台

    随着半导体技术与数字集成电路(微处理器、存贮器以及标准逻辑门电路等)技术的迅速发展,特别是随着计算机技术的发展,在工业生产和科学技术研究的各行各业中,人们利用PC机的强大处理功能代替传统仪器的某些部件,开发出各种测量仪器(虚拟仪器),传统仪器的数字逻辑部分多是采用分立集成电路(IC)组成,分立IC愈多,给系统的电路设计、调试及维护带来诸多不便。而随着EDA技术的飞速发展,大规模可编程逻辑芯片CPLD / FPGA应运而生。这类芯片可以替代几十甚至上百块通用IC芯片,而且,因其可用硬件描述语言进行芯片设计、支持在线编程和在系统编程等优点而备受青睐。本课题主要是用FPGA实现一个验证平台。用于SOC及IPCore的验证。用FPGA系统验证板实现在实际硬件环境中的验证可以弥补ASIC 设计流程中仿真的不足, 通过该验证也可以加快ASIC设计且降低由于逻辑问题所造成ASIC 开发中的成本损耗。本文首先介绍了EDA技术的发展,然后介绍了FPGA,SOC,和IPCore的一些基本概念,分析了FPGA在现代集成电路设计领域的一些应用。最后,具体设计了一块用设计验证的开发板,并讨论了其设计结构,流程及验证方法。

    标签: IPCore FPGA SOC

    上传时间: 2013-05-16

    上传用户:bakdesec

  • 基于FPGA的8位增强型CPU设计与验证

    随着信息技术的发展,系统级芯片SoC(System on a Chip)成为集成电路发展的主流。SoC技术以其成本低、功耗小、集成度高的优势正广泛地应用于嵌入式系统中。通过对8位增强型CPU内核的研究及其在FPGA(Field Programmable Gate Arrav)上的实现,对SoC设计作了初步研究。 在对Intel MCS-8051的汇编指令集进行了深入地分析的基础上,按照至顶向下的模块化的高层次设计流程,对8位CPU进行了顶层功能和结构的定义与划分,并逐步细化了各个层次的模块设计,建立了具有CPU及定时器,中断,串行等外部接口的模型。 利用5种寻址方式完成了8位CPU的数据通路的设计规划。利用有限状态机及微程序的思想完成了控制通路的各个层次模块的设计规划。利用组合电路与时序电路相结合的思想完成了定时器,中断以及串行接口的规划。采用边沿触发使得一个机器周期对应一个时钟周期,执行效率提高。使用硬件描述语言实现了各个模块的设计。借助EDA工具ISE集成开发环境完成了各个模块的编程、调试和面向FPGA的布局布线;在Synplify pro综合工具中完成了综合;使用Modelsim SE仿真工具对其进行了完整的功能仿真和时序仿真。 设计了一个通用的扩展接口控制器对原有的8位处理器进行扩展,加入高速DI,DO以及SPI接口,增强了8位处理器的功能,可以用于现有单片机进行升级和扩展。 本设计的CPU全面兼容MCS-51汇编指令集全部的111条指令,在时钟频率和指令的执行效率指标上均优于传统的MCS-51内核。本设计以硬件描述语言代码形式存在可与任何综合库、工艺库以及FPGA结合开发出用户需要的固核和硬核,可读性好,易于扩展使用,易于升级,比较有实用价值。本设计通过FPGA验证。

    标签: FPGA CPU 8位 增强型

    上传时间: 2013-04-24

    上传用户:jlyaccounts

  • 基于FPGA的MCS51核的VHDL语言

    本文以研究嵌入式微处理器为主,自主地设计了能够运行MCS-51系列单片机指令的MCU系统。系统采用了VHDL 语言与原理框图的综合设计方法,并且在Altera公司的FPGA上通过验证。论文深入地研究了微处理器的指令系统和数据地址通路,采用VHDL 语言完成了取指单元,指令译码器单元,存储器单元和逻辑运算单元的电路模块的设计与实现;研究了控制单元的实现方法和基于全局状态机的设计理论,采用硬件描述语言完成了对各个控制线的相关设计与实现。论文通过原理示意图和示例代码的演示,着重介绍了指令译码器的实现方式,基于此种方式形成的译码电路还能够实现更为复杂的CISC指令。 本系统采用分模块的设计方式,把具有相同功能的逻辑电路集中到一个框图里,使得系统的可移植性大大地提高。系统还采用层次框图的设计方式,把明显地具有主从关系的电路放在不同的层次里,这也使得系统模块功能的可扩展性大大地增强。内部逻辑共分为数据存储器模块;程序存储器模块;时序控制模块;特殊功能寄存器模块和Core核心模块这五个部分,文中对各个模块的设计作了详细的介绍。本文在最后对已实现的部分典型指令进行了逻辑仿真测试,测试结果表明,本文所设计的MCU系统能够如预期地执行相应的指令。在指令执行的过程中,相应寄存器和总线上的值也均符合设计要求,实现了设计目标。

    标签: FPGA VHDL MCS 51

    上传时间: 2013-06-05

    上传用户:金宜

  • 卡尔曼滤波c语言程序

    给出了卡尔曼滤波c语言程序,并通过运行验证,菜鸟入门,希能对大家有所帮助

    标签: 卡尔曼滤波 c语言 程序

    上传时间: 2013-06-28

    上传用户:是王洪文

  • 用Verilog语言编写的FPGA控制PWM的程序

    用Verilog语言编写的FPGA控制PWM的程序.利用码盘脉冲进行调速,进行过简单试验,可用.没有经过长期验证.做简单修改即可应用!

    标签: Verilog FPGA PWM 语言

    上传时间: 2013-08-16

    上传用户:梧桐

  • C语言算法速查手册

    本书用C语言编写了科研和工程中最常用的166个算法,这些算法包括复数运算、多项式的计算、矩阵运算、线性代数方程组的求解、非线性方程与方程组的求解、代数插值法、数值积分法、常微分方程(组)初值问题的求解、拟合与逼近、特殊函数、极值问题、随机数产生与统计描述、查找、排序、数学变换与滤波等。同时结合这些算法列举了将近100个应用实例,对其进行验证和分析。. 本书适用于C语言算法的初学者,也可以作为高等院校师生的学习参考用书。...  

    标签: C语言 算法速查

    上传时间: 2013-11-17

    上传用户:段璇琮*

  • 设计与验证Verilog HDL(吴继华)

      设计与验证Verilog HDL【作者:王诚、吴继华;出版社:人民邮电出版社】   本书以实例讲解的方式对HDL语言的设计方法进行介绍。全书共分9章,第1章至第3章主要介绍了Verilog HDL语言的基本概念、设计流程、语法及建模方式等。

    标签: Verilog HDL

    上传时间: 2013-11-19

    上传用户:bjgaofei

  • 李学武提交的C语言源代码

    李学武提交的C语言源代码,包括Hilbert曲线,高精度计算,π值计算公式,取石子游戏,趣味等式填数游戏3则,验证四色定理等

    标签: C语言 源代码

    上传时间: 2013-12-27

    上传用户:阿四AIR