随着半导体制造技术不断的进步，SOC(System On a Chip)是未来IC产业技术研究关注的重点。由于SOC设计的日趋复杂化，芯片的面积增大，芯片功能复杂程度增大，其设计验证工作也愈加繁琐。复杂ASIC设计功能验证已经成为整个设计中最大的瓶颈。 使用FPGA系统对ASIC设计进行功能验证，就是利用FPGA器件实现用户待验证的IC设计。利用测试向量或通过真实目标系统产生激励，验证和测试芯片的逻辑功能。通过使用FPGA系统，可在ASIC设计的早期，验证芯片设计功能，支持硬件、软件及整个系统的并行开发，并能检查硬件和软件兼容性，同时还可在目标系统中同时测试系统中运行的实际软件。FPGA仿真的突出优点是速度快，能够实时仿真用户设计所需的对各种输入激励。由于一些SOC验证需要处理大量实时数据，而FPGA作为硬件系统，突出优点是速度快，实时性好。可以将SOC软件调试系统的开发和ASIC的开发同时进行。 此设计以ALTERA公司的FPGA为主体来构建验证系统硬件平台，在FPGA中通过加入嵌入式软核处理器NIOS II和定制的JTAG(Joint Test ActionGroup)逻辑来构建与PC的调试验证数据链路，并采用定制的JTAG逻辑产生测试向量，通过JTAG控制SOC目标系统，达到对SOC内部和其他IP(IntellectualProperty)的在线测试与验证。同时，该验证平台还可以支持SOC目标系统后续软件的开发和调试。 本文介绍了芯片验证系统，包括系统的性能、组成、功能以及系统的工作原理；搭建了基于JTAG和FPGA的嵌入式SOC验证系统的硬件平台，提出了验证系统的总体设计方案，重点对验证系统的数据链路的实现进行了阐述；详细研究了嵌入式软核处理器NIOS II系统，并将定制的JTAG逻辑与处理器NIOS II相结合，构建出调试与验证数据链路；根据芯片验证的要求，设计出软核处理器NIOS II系统与PC建立数据链路的软件系统，并完成芯片在线测试与验证。 本课题的整体任务主要是利用FPGA和定制的JTAG扫描链技术，完成对国产某型DSP芯片的验证与测试，研究如何构建一种通用的SOC芯片验证平台，解决SOC验证系统的可重用性和验证数据发送、传输、采集的实时性、准确性、可测性问题。本文在SOC验证系统在芯片验证与测试应用研究领域，有较高的理论和实践研究价值。
上传时间： 2013-05-25
上传用户：ccsp11
随着半导体技术与数字集成电路(微处理器、存贮器以及标准逻辑门电路等)技术的迅速发展，特别是随着计算机技术的发展，在工业生产和科学技术研究的各行各业中，人们利用PC机的强大处理功能代替传统仪器的某些部件，开发出各种测量仪器(虚拟仪器)，传统仪器的数字逻辑部分多是采用分立集成电路(IC)组成，分立IC愈多，给系统的电路设计、调试及维护带来诸多不便。而随着EDA技术的飞速发展，大规模可编程逻辑芯片CPLD / FPGA应运而生。这类芯片可以替代几十甚至上百块通用IC芯片，而且，因其可用硬件描述语言进行芯片设计、支持在线编程和在系统编程等优点而备受青睐。本课题主要是用FPGA实现一个验证平台。用于SOC及IPCore的验证。用FPGA系统验证板实现在实际硬件环境中的验证可以弥补ASIC 设计流程中仿真的不足, 通过该验证也可以加快ASIC设计且降低由于逻辑问题所造成ASIC 开发中的成本损耗。本文首先介绍了EDA技术的发展，然后介绍了FPGA，SOC,和IPCore的一些基本概念，分析了FPGA在现代集成电路设计领域的一些应用。最后，具体设计了一块用设计验证的开发板，并讨论了其设计结构，流程及验证方法。
上传时间： 2013-05-16
上传用户：bakdesec
现代IC设计中，随着设计规模的扩大和复杂度的增长，验证成为最严峻的挑战之一。在现代ASIC设计中，很难用单一的验证方法来对复杂芯片进行有效的验证，为了将设计错误减少到可接受的最小量，需要将一系列的验证方法和工具结合起来。 在64位全定制嵌入式CPU设计过程中，使用了多种验证技术和方法，并将FPGA验证作为ASIC验证的重要补充，加强了设计正确的可靠性。 论文首先介绍了64位CPU的结构，结合选用的Xilinx的Virtex
上传时间： 2013-04-24
上传用户：003030
·详细说明：这是关于IC卡的应用项目,包括电路原理图及C语言编写的源程序,并有详细的注释,而且电路及软件均经过了验证,具有很高的参考价值。文件列表: Code ....\ICCard ....\......\2401A ....\......\.....\Write2401A ....\......\.....\Write2401
上传时间： 2013-04-24
上传用户：jcljkh
随着芯片设计技术的快速发展，基于SoC的开发平台已成为IC设计业界的热点，对SoC应用设计平台需求越来越多，同时对其性能要求也越来越高。因此本文提出了一种基于LEON3的精简的，灵活的，高性能的硬件平台的搭建方案，通过介绍基于32位的开源LEON3处理器，并将其与其他开源处理器比较，讨论了LEON3在开源，配置灵活以及强大的功能等方面的优势，最后通过在LEON3平台运行流水灯程序，验证了平台的可行性，达到预期效果。
上传时间： 2013-11-18
上传用户：gundamwzc
SystemC片上系统设计的源代码： 书籍介绍： SystemC是被实践证明的优秀的系统设计描述语言，它能够完成从系统到门级、从软件到硬件、从设计到验证的全部描述。SystemC 2.01已作为一个稳定的版本提交到IEEE，申请国际标准。 本书为配合清华大学电子工程系SystemC相关课程的教学而编写。全书分9章，内容包括：硬件描述语言的发展史；SystemC出现的历史背景和片上系统设计方法学概述；SystemC的基本语法；SystemC的寄存器传输级设计和SystemC的可综合语言子集，以及根据作者设计经历归结的RTL设计准则和经验；接口、端口和通道等SystemC行为建模实例——片上总线系统；SystemC与VHDL/Verilog HDL的比较；SystemC的验证标准和验证方法学；SystemC开发工具SystemC_win、WaveViewer等，以及使用MATLAB进行SystemC算法模块的验证。每一章都精心编写了课后习题以配合教学的需要。 本书可作为大学电子设计自动化（EDA）相关课程教材，也可供电子工程技术人员作为SystemC设计、应用开发的技术参考书。本书丰富的实例源代码特别适合初学者根据内容实际运行、体会，举一反三，以掌握SystemC进行应用系统设计。
上传时间： 2014-11-29
上传用户：qoovoop
书籍介绍： SystemC是被实践证明的优秀的系统设计描述语言，它能够完成从系统到门级、从软体到硬体、从设计到验证的全部描述。这本也包含了最新的SystemC 2.1的新技术,。 本书可作为大学电子设计自动化（EDA）相关课程教材，也可供电子工程技术人员作为SystemC设计、应用开发的技术参考书。
上传时间： 2014-11-15
上传用户：star_in_rain
实现SLE4442接触式IC卡读写功能的源代码，已在开发板上完成功能验证，工程环境为Keil C51
上传时间： 2016-06-02
上传用户：稀世之宝039
根据曼彻斯***的编码原则（参见本刊2001年第一期《一种采用曼码调制的非接触IC卡读写程序编制》），非接触ID卡采用上升沿对应着位数据“0”，下降沿对应着位数据“1”，微控制器通过检测U2270B输出数据位的跳变来实现对曼彻斯***的译码。在现实工作中，数据信号会受到调制、解调、噪声各种效应的影响，其上升沿和下降沿存在抖动，可采用键盘消抖的办法来消除抖动的影响。根据非接触ID卡64位数据循环发送以及其数据绪构特点，即数据流中第64位为“0”，第1位至第9位为“1”。据此，将“0111111111”作为读数据的起始标识，如图2所示。在确定了数据起始标识后，采用延时大于0.5T采样数据位的方法，如图3所示，来避开曼彻斯***编码中的空跳对数据译码造成的影响，简化了译码程序。 通过实验得到：480μs≤1T≤520μs，220μs≤0.5T≤280μs，由此取Tnext=300μs。为了便于对读出数据进行奇校验，读出数据每5位作为一个字节。因此确定起始标识和读取数据对时钟有严格要求，所以寻找起始标识和读取数据部分程序采用汇编语言编写。数据读以后，根据前面所提到的非接触ID卡的数据结构，通过比较奇校验算法与读出数据中的奇校验位来验证出数据的正确性。
上传时间： 2016-10-14
上传用户：xhz1993
设计与验证Verilog_实例，经典的HDl书籍，强烈推荐
标签： Verilog
上传时间： 2016-11-07
上传用户：jackgao
