验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间： 2016-10-30
上传用户：tedo811
一个成功的百万级芯片的验证平台的介绍，验证对于负载芯片的研发是极为重要。
标签： 芯片
上传时间： 2013-12-22
上传用户：zhangyigenius
一段跳频代码！验证CC2400无线芯片的跳频功能！
上传时间： 2013-12-10
上传用户：gaojiao1999
介绍以太网的帧协议和以太网控制芯片的结构特性； 介绍单片机控制实现以太网通讯的硬件设计方案； 采用C语言实现并进行了系统的调试与验证。
上传时间： 2014-01-08
上传用户：6546544
Haier2016芯片的SDK开发包,在2016开发板上面验证过.
上传时间： 2014-11-27
上传用户：变形金刚
电源是电子设备的重要组成部分，其性能的优劣直接影响着电子设备的稳定性和可靠性。随着电子技术的发展，电子设备的种类越来越多，其对电源的要求也更加灵活多样，因此如何很好的解决系统的电源问题已经成为了系统成败的关键因素。 本论文研究选取了BICMOS工艺，具有功耗低、集成度高、驱动能力强等优点。根据电流模式的PWM控制原理，研究设计了一款基于BICMOS工艺的双相DC-DC电源管理芯片。本电源管理芯片自动控制两路单独的转换器工作，两相结构能提供大的输出电流，但是在开关上的功耗却很低。芯片能够精确的调整CPU核心电压，对称不同通道之间的电流。本电源管理芯片单独检测每一通道上的电流，以精确的获得每个通道上的电流信息，从而更好的进行电流对称以及电路的保护。 文中对该DC-DC电源管理芯片的主要功能模块，如振荡器电路、锯齿波发生电路、比较器电路、平均电流电路、电流检测电路等进行了设计并给出了仿真验证结果。该芯片只需外接少数元件就可构成一个高性能的双相DC-DC开关电源，可广泛应用于CPU供电系统等。 通过应用Hspice软件对该变换器芯片的主要模块电路进行仿真，验证了设计方案和理论分析的可行性和正确性，同时在芯片模块电路设计的基础上，应用0.8μmBICMOS工艺设计规则完成了芯片主要模块的版图绘制，编写了DRC、LVS文件并验证了版图的正确性。所设计的基于BICMOS工艺的DC-DC电源管理芯片的均流控制电路达到了预期的要求。
上传时间： 2013-06-06
上传用户：dbs012280
随着计算机及其外围设备的发展，传统的并行接口和串行接口在灵活性和接口扩展等方面存在的缺陷愈来愈不可回避，并逐渐成为计算机通信的瓶颈。在这种情况下，通用串行总线(Universal Serial Bus，USB)诞生了。USB由于具有传输速率高、价格便宜、使用方便、灵活性高、支持热插拔、接口标准化和易于扩展等优点，目前已经成为计算机外设接口的主流技术，在计算机外围设备和消费类电子领域正获得越来越多的应用。 @@ 本文基于USB2．0协议规范，设计了一款支持高速和全速传输的USB2．0设备控制器IP核。文中着重介绍了这款设备控制器IP核的设计和FPGA验证工作，详细研究并分析了USB2．0规范，根据规范提出了一种USB2．0设备控制器整体构架方案，描述了各个功能子模块硬件电路的功能及实现。从可重用的角度出发，对设备控制器模块进行优化设计，增加多个灵活的配置选项，根据不同的应用对硬件进行配置，使其在满足要求的情况下去除冗余电路，以减少占用面积和功耗，从而使其灵活地应用于各种USB系统。本文还研究了IP核的验证方法，并对所设计的USB2．0设备控制器建立了功能完备的ModelSim仿真验证环境，搭建了FPGA硬件验证平台，设计了具有AHB接口的设备控制器和带有8051的设备控制器，并分别在FPGA平台上进行了功能验证。 @@ 本文所设计的USB2．0设备控制器IP核可配置性高，使用者可以自由配置所需端点的个数以及每个端点类型等，可以集成于多种USB系统中，适于各类USB设备的开发。本课题所取得的成果为USB2．0设备类的研究和开发积累了经验，并为后来实验室某项目测试芯片的USB数据采集提供了参考方案，也为未来USB3．0接口IP核的开发和应用奠定了基础。 @@关键词USB2．0控制器；IP核；FPGA；验证
上传时间： 2013-06-30
上传用户：nanfeicui
SATA接口是新一代的硬盘串行接口标准，和以往的并行硬盘接口比较它具有支持热插拔、传输速率快、执行效率高的明显优势。SATA2．0是SATA的第二代标准，它规定在数据线上使用LVDS NRZ串行数据流传输数据，速率可达3Gb/s。另外，SATA2．0还具有支持NCQ（本地命令队列）、端口复用器、交错启动等一系列技术特征。正是由于以上的种种技术优点，SATA硬盘业已被广泛的使用于各种企业级和个人用户。 硬盘作为主要的信息载体之一，其信息安全问题尤其引起人们的关注。由于在加密时需要实时处理大量的数据，所以对硬盘数据的加密主要使用带有密钥的硬件加密的方式。因此将硬盘加密和SATA接口结合起来进行设计和研究，完成基于SATA2．0接口的加解密芯片系统设计具有重要的使用价值和研究价值。 本论文首先介绍了SATA2．0的总线协议，其协议体系结构包括物理层、链路层、传输层和命令层，并对系统设计中各个层次中涉及的关键问题进行了阐述。其次，本论文对ATA协议和命令进行了详细的解释和分析，并针对设计中涉及的命令和对其做出的修改进行了说明。接着，本论文对SATA2．0加解密控制芯片的系统设计进行了讲解，包括硬件平台搭建和器件选型、模块和功能划分、系统工作原理等，剖析了系统设计中的难点问题并给出解决问题的方法。然后，对系统数据通路的各个模块的设计和实现进行详尽的阐述，并给出各个模块的验证结果。最后，本文简要的介绍了验证平台搭建和测试环境、测试方法等问题，并分析测试结果。 本SATA2．0硬盘加解密接口电路在Xilinx公司的Virtex5 XC5VLX50T FPGA上进行测试，目前工作正常，性能良好，已经达到项目性能指标要求。本论文在SATA加解密控制芯片设计与实现方面的研究成果，具有通用性、可移植性，有一定的理论及经济价值。
上传时间： 2013-04-24
上传用户：JIUSHICHEN
MP3音乐是目前最为流行的音乐格式，因其音质、复杂度与压缩比的完美折中，占据着广阔的市场，不仅在互联网上广为流传，而且在便携式设备领域深受人们喜爱。本文以MPEG-1的MP3音频解码器为研究对象，在实时性、面积等约束条件下，研究MP3解码电路的设计方法，实现FPGA原型芯片，研究MP3原型芯片的验证方法。 论文的主要贡献如下： (1)使用算法融合方法合并MP3解码过程的相关步骤，以减少缓冲区存储单元的容量和访存次数。如把重排序步骤融合到反量化模块，可以减少一半的读写RAM操作；把IMDCT模块内部的三个算法步骤融合在一起进行设计，可以省去存储中间计算结果的缓存区单元。 (2)反量化、立体声处理等模块中，采用流水线设计技术，设置寄存器把较长的组合逻辑路径隔开，提高了电路的性能和可靠性；使用连续访问公共缓存技术，合理规划各计算子模块的工作时序，将数据计算的时间隐藏在访存过程中；充分利用频率线的零值区特性，有效地减少数据计算量，加快了数据处理的速度。 (3)设计了MP3硬件解码器的FPGA原型芯片。采用Verilog HDL硬件描述语言设计RTL级电路，完成功能仿真，以Altera公司Stratix II系列的EP2S180 FPGA开发板为平台，实现MP3解码器的FPGA原型芯片。MP3硬件解码器在Stratix II EP2S180器件内的资源利用率约为5％，其中组合逻辑查找表ALUT为7189个，寄存器共有4024个，系统频率可达69.6MHz，充分满足了MP3解码过程的实时性要求。实验结果表明，MP3音频解码FPGA原型芯片可正常播放声音，解码音质良好。
上传时间： 2013-07-01
上传用户：xymbian
本文着重研究用现场可编程门阵列(FPGA)来开发设计精插补芯片。选用Altera公司的Cyclone系列的EP1C3T144C8芯片设计了逐点比较法，数字积分法和比较积分法三种经典插补算法，并对各种算法模块进行了仿真验证。又设计了三个算法选通信号，将三种算法模块综合成了一个整电路。 在完成了FPGA内部三种算法的实现后，设计以一个STC单片机为粗插补处理器的FPGA实验开发系统，并制作了PCB板。实验开发系统板中设计了单片机程序下载和的FPGA下载配置电路，并且配有FPGA专用配置芯片，能实现FPGA上电自动配置。可用该实验系统板进行精插补芯片的设计与开发，以及对所完成设计的功能进行验证。 为验证所设计芯片的插补功能，编写了单片机粗插补程序，将产生的粗插补坐标增量发给FPGA进行插补实验，得到了理想的插补输出脉冲。又编写了单片机脉冲处理程序，读回了FPGA的输出脉冲，并由串口发送给PC机。最后通过编写PC机的串口通信程序以及根据插补脉冲绘图的程序，把FPGA的输出脉冲绘制成了插补轨迹图形。 最终绘图结果显示，在20M输入时钟频率下，由插补脉冲生成的插补轨迹图形正确，验证了本文设计的三种插补算法功能的正确性。本设计插补芯片达到了高速插补功能要求。
上传时间： 2013-04-24
上传用户：zgu489
