学生的在线考试系统,教师后台管理系统和试题的管理系统,验证密码为firekinger
标签： firekinger 管理系统 后台
上传时间： 2015-10-25
上传用户：BIBI
一个小的登陆系统,验证用户的登陆信息,里面有信息,非常简单,
标签： 用户
上传时间： 2016-03-16
上传用户：BIBI
SYSTEMC经典案例,很好的SYSTEMC参考资料.SYSTEMC系统验证测试强大语言.
上传时间： 2014-11-10
上传用户：ukuk
基于Xilinx-XUPV2P开发平台的嵌入式系统实验例程：实验6系统验证与调试
标签： Xilinx-XUPV 实验 开发平台 嵌入式系统
上传时间： 2014-12-02
上传用户：坏天使kk
随着ASIC设计规模的增长，功能验证已成为整个开发周期的瓶颈。传统的基于软件模拟和硬件仿真的逻辑验证方法已难以满足应用的要求，基于FPGA组的原型验证方法能有效缩短系统的开发周期，可提供更快更全面的验证。由于FPGA芯片容量的增加跟不上ASIC设计规模的增长，单芯片已无法容纳整个设计，所以常常需要对设计进行逻辑分割，将子逻辑块映射到FPGA阵列中。 本文对逻辑验证系统的可配置互连结构和ASIC逻辑分割算法进行了深入的研究，提出了FPGA阵列的非对称可配置互连结构。与现有的对称互连结构相比，该结构能提供更多的互连通道，可实现对I/O数量、电平类型和互连路径的灵活配置。 本文对逻辑分割算法进行了较深入的研究。针对现有的两类分割算法存在的不足，提出并实现了基于设计模块的逻辑分割算法，该算法有三个重要特征：1)基于设计代码；2)以模块作为逻辑分割的最小单位；3)使用模块资源信息指导逻辑分割过程，避免了设计分割过程的盲目性，简化了逻辑分割过程。 本文还对并行逻辑分割方法进行了研究，提出了两种基于不同任务分配策略的并行分割算法，并对其进行了模拟和性能分析；验证了采用并行方案对ASIC逻辑进行分割和映射的可行性。 最后基于改进的芯片互连结构，使用原型系统验证方法对某一大规模ASIC设计进行了逻辑分割和功能验证。实验结果表明，使用改进后的FPGA阵列互连结构可以更方便和快捷地实现ASIC设计的分割和验证，不但能显著提高芯片间互连路径的利用率，而且能给逻辑分割乃至整个验证过程提供更好的支持，满足现在和将来大规模ASIC逻辑验证的需求。
上传时间： 2013-06-12
上传用户：极客
随着半导体技术与数字集成电路(微处理器、存贮器以及标准逻辑门电路等)技术的迅速发展，特别是随着计算机技术的发展，在工业生产和科学技术研究的各行各业中，人们利用PC机的强大处理功能代替传统仪器的某些部件，开发出各种测量仪器(虚拟仪器)，传统仪器的数字逻辑部分多是采用分立集成电路(IC)组成，分立IC愈多，给系统的电路设计、调试及维护带来诸多不便。而随着EDA技术的飞速发展，大规模可编程逻辑芯片CPLD / FPGA应运而生。这类芯片可以替代几十甚至上百块通用IC芯片，而且，因其可用硬件描述语言进行芯片设计、支持在线编程和在系统编程等优点而备受青睐。本课题主要是用FPGA实现一个验证平台。用于SOC及IPCore的验证。用FPGA系统验证板实现在实际硬件环境中的验证可以弥补ASIC 设计流程中仿真的不足, 通过该验证也可以加快ASIC设计且降低由于逻辑问题所造成ASIC 开发中的成本损耗。本文首先介绍了EDA技术的发展，然后介绍了FPGA，SOC,和IPCore的一些基本概念，分析了FPGA在现代集成电路设计领域的一些应用。最后，具体设计了一块用设计验证的开发板，并讨论了其设计结构，流程及验证方法。
上传时间： 2013-05-16
上传用户：bakdesec
随着数字电视全国范围丌播时间表的临近，数字电视技术得到很大发展，数字电视信号在信源基带数据和信道传输等方面已经进一步标准化，数字电视传播途径也越来越广，在卫星、地面及有线电视网中传输数字电视信号得到迅速发展。借着2008年奥运的东风，数字电视领域的应用研究方兴未艾。 本课题目的是完成有线数字电视广播系统的重要设备--调制器的设计和实现，核心器件选用FPGA芯片。系统硬件实现以国家标准GY/T 170-2001(有线数字电视广播信道编码与调制规范)为主要依据，以Xilinx公司的Virtex系列(Virtex 4，Virtex 5)芯片及相关开发板(ML402、ML506)为平台，主要任务是基于相关标准对其实用技术进行研究和开发。完成了信道编码和调制的模块划分、Verilog HLD程序的编写(或IP核的调用)和仿真以及在板调试和联调等工作，设计目的是在提高整个系统集成度的前提下实现多频点调制。 本文在研究现有数字电视网络技术和相关产品的基础上，以国标GY/T170-2001为主要依据并参阅了其他的相关标准，提出了多频点QAM调制器的实现方案。整个工作包括：模块划分，完成了基带物理接口(输入)、包头反转与随机化、RS编码、卷积交织、码流变换、差分编码、星座映射、基带成型(包括Nyquist滤波器、半带滤波器、CIC滤波器的设计或模块调用)、高端DAC的配置(输出)等模块的Verilog HLD程序的编写(或者IP核调用)和仿真等工作；成功进行了开发板板级调试，调试的过程中充分利用Xilinx公司的开发板和调试软件ChipScope，成功设计了验证方案并进行了模块验证；最后进行了各模块联调工作，设计了系统验证方案并成功完成对整个系统的验证工作。 经测试表明，该系统主要性能达到国家相关标准GY/T 198-2003(有线数字电视广播QAM调制器技术要求和测量方法)规定的技术指标，可以进入样机试生产环节。
上传时间： 2013-04-24
上传用户：jiangfire
根据半实物仿真的特点和优点，本文提出了基于半实物仿真系统的多假目标航迹欺骗研究的优势和价值。然后从实现多假目标航迹欺骗的必要条件、航迹欺骗产生的原理、多假目标欺骗的参数匹配、多目标欺骗航迹的数据预算4个方面详细阐述了多假目标航迹欺骗原理，以及对半实物仿真系统的组成、软硬件设计特点进行了介绍，最后通过半实物仿真系统验证了两批假目标预定航迹的真实性和置信度，结果证明这种方式对研究多假目标航迹欺骗技术和战术应用的可行性和有效性。
标签： 半实物仿真
上传时间： 2013-11-11
上传用户：拢共湖塘
在图书馆管理系统中，要为每个借阅者建立一个账户，并给借阅者发放借阅卡（借阅卡可以提供借阅卡号、借阅者姓名），账户中存储借阅的个人信息、借阅信息以及预定信息。持有借阅卡的借阅者可以借阅书刊、返还书刊、查阅书刊信息、预定书刊并取消预定，但这些操作都是通过图书馆管理员进行的，也及借阅者不直接与系统交互，而是图书馆管理员充当借阅者的代理与系统交互。在借阅书刊时，需要输入所借阅的书刊名，书刊的ISBN/ISSN号，然后输入借阅者的图书卡号和借阅者名，完成后提交表格，系统验证借阅者是否有效（在系统中存在账户），若有效，借阅请求被接受，然后查询数据库系统，看借阅者所借阅的书刊是否存在，若存在，则借阅者可以借出书刊，建立并在系统中存储借阅纪录。借阅者还书后，删除关于所还书刊的借阅纪录。如果借阅者所借出的书刊已经被借出，借阅者还可预订该书刊，一旦借阅者预订的书刊可以获得，就将书刊直接寄给预订人（为了简化系统，预订书刊可获得就不通知借阅者了）。另外，系统设置了书刊的最长借阅期，如果借阅者归还的时间超过了最长借阅期，要缴纳一定的滞纳金。
上传时间： 2015-03-29
上传用户：CHENKAI
随着我国国防现代化建设进程的不断深化，MIL-STD-1553B标准总线已经广泛应用于各种军事应用领域。MIL-STD-1553B标准总线是我国上世纪八十年代引进的一种现代化通讯总线，国内称为GJB289A-97。该总线技术以其高稳定性和使用灵活等特点成为现代航空电子综合系统所广泛采用的通讯总线技术。 1553B总线接口模块作为总线通讯的基本单元，其性能成为影响航电综合系统整体性能的一个关键因素。目前国内关于1553B总线通讯模块的对外接口类型较多，而基于嵌入式处理芯片的接口设计并不多见。嵌入式设备具有体积小、重量轻、实时性强、功耗小、稳定性好以及接口方便等优点。 基于以上考虑，论文中提出了以DSP+FPGA为平台实现MIL-STD-1553B总线的收发控制，通过收发控制器和变压器实现MIL-STD-1553B总线的电气连接。根据项目需求，设计分为硬件和软件两部分完成。在对MIL-STD-1553B总线协议进行详细研究后提出了总体设计方案原理图。再根据方案需求设计各功能模块。使用硬件描述语言VHDL对各功能模块进行逻辑和行为描述，最终实现在FPGA中，使其能够完成1553B数据码的接受、发送、转换和与处理器的信息交换等功能。DSP部分采用的是TI公司的TMS320F2812，使用C语言进行软件的编译，使其实现总体控制和通讯的调度等功能。 该方案经过实际参与1553B总线通讯系统验证实验，证明各项技术指标均达到预定的目标，可以投入实际应用。
上传时间： 2013-04-24
上传用户：671145514
