基于82551的以太网测试与验证系统

设计了一种基于网络接口芯片的以太网应用与验证系统,系统由硬件板卡、驱动、应用程序3部分组成。硬件板卡采用PCI接口与PC相连。驱动程序负责响应系统请求,配置硬件,读取硬件信息,实现底层数据收发。应用程序实现了上层数据通信并提供了人机接口。系统不仅提供芯片系统级操作,而且提供对芯片底层操作的支持,支持寄存器级和指令级验证和调试。系统使用结果表明,该系统使得测试和验证人员可以全面测试验证芯片功能,快速定位芯片故障。     

基于VMM统一验证平台的Serdes芯片验证

本文基于VMM验证平台,介绍了高速串行收发器芯片的验证方法。文章首先简要介绍了Serdes芯片和VMM验证方法,然后搭建了Serdes芯片的VMM统一验证平台,并从测试激励产生、寄存器读写控制、覆盖率自动统计、断言验证及覆盖率收敛等几个方面详细阐述了Serdes芯片的验证过程。最后给出了验证结果和测试报告。     

面向寄存器的流水线处理器建模及验证方法

提出了一种新的流水线处理器功能的验证方法 ,这种方法的主要思想是通过验证流水线处理器中所有寄存器的功能来验证处理器的功能 .流水线处理器绝大部分是由同步电路组成的 ,同步电路的状态则完全由寄存器的状态决定 ,因此如果能够保证每个寄存器功能正确就可以保证整个同步电路功能正确 .对于流水线处理器来说 ,寄存器状态的变迁是由处理器的原始输入和寄存器本身状态决定的 .原始输入包括控制信号 (如复位信号 )和数据输入 (如指令输入 ) .如果把对每个寄存器的赋值操作转换成对控制信号和数据输入的操作 ,就可以生成一个验证序列 ,这个序列包括每个     

面向寄存器的流水线处理器建模及验证方法

提出了一种新的流水线处理器功能的验证方法,这种方法的主要思想是通过验证流水线处理器中所有寄存器的功能来验证处理器的功能.流水线处理器绝大部分是由同步电路组成的,同步电路的状态则完全由寄存器的状态决定,因此如果能够保证每个寄存器功能正确就可以保证整个同步电路功能正确.对于流水线处理器来说,寄存器状态的变迁是由处理器的原始输入和寄存器本身状态决定的.原始输入包括控制信号(如复位信号)和数据输入(如指令输入).如果把对每个寄存器的赋值操作转换成对控制信号和数据输入的操作,就可以生成一个验证序列,这个序列包括每个时钟周期控制信号和数据输入的值.有了这个序列就可以把目标设计和参考模型进行结果比较,从而验证目标设计功能是否正确.同时这种方法也便于调试.     

一种非标准MDIO接口的多路千兆PHY驱动

标准MDIO接口符合IEEE 802.3协议,只支持32个寄存器。一些功能复杂的PHY芯片内部寄存器较多,标准MDIO接口已无法满足这类芯片的寄存器数量。因此这类芯片通常采用非标准MDIO接口读写内部寄存器。由于Linux系统自带的PHY驱动只支持标准MDIO接口,针对非标准MDIO接口PHY芯片,我们需要设计专用驱动。     

基于ATE的千兆以太网收发器芯片测试方法

千兆以太网收发器芯片是一种最高能支持1 000 Mbit/s传输速率的高速接口芯片。介绍了该类芯片的功能、硬件配置,针对ATE测试机台设计了相应的外围电路,在ATE测试机台上进行了寄存器读写测试和回环测试,利用测试机抓取了千兆以太网芯片输出的数据,测试结果验证了千兆以太网收发器芯片的功能正确性。     

基于OVM的网络协议处理芯片验证平台的设计

针对一款网络协议处理芯片,为了保证其设计的正确性,提升验证效率,基于OVM架构,通过SystemVerilog语言搭建了具有受约束的随机激励生成、错误注入、覆盖率收集、正确性自检查等功能的验证平台。通过该验证平台对芯片进行了全方位的高效验证,实现了一次流片成功。基于OVM的验证平台具有良好的可重用性和可扩展性,相对于传统的编写定向测试激励的方法,在验证的高效性、完备性上具有显著的优势。     

基于模型和随机矢量生成的LCD控制器的验证

随着集成电路规模的扩大与集成度的提高,芯片功能日趋复杂,验证问题越来越显得突出,传统的验证方法已显示出其缺点.文中首先介绍了传统方法的缺点,然后提出了一种基于模型和随机矢量生成的验证方法,这种方法可以带来诸多的好处,使得大规模集成电路的验证效果得到提高.基于这种方法验证了一款片上系统(SoC)芯片中的液晶显示器(LCD)控制器,给出了具体验证环境与验证步骤,并取得了良好的效果.     

基于覆盖率驱动的双模导航芯片验证平台构建

本文介绍了一种基于覆盖率驱动的双模导航芯片验证系统,该系统基于典型的UVM方法学结构,具有自动激励产生、自动结果比较及自动覆盖率收集等功能。本文应用该系统对双模导行芯片进行了完备性验证,达到了功能覆盖率100%的总体目标。     

Mifare 1非接触式IC卡读写核心模块MCM200及其编程方法

介绍了Philips公司的Mifare1非接触IC卡读写器芯片MCM200的主要特性、引脚功能、内部的特殊功能寄存器和基本指令集。重点介绍了Mifare1非接触IC卡和MCM200数据通信的一些重要模块的编程思路和编程方法 ,给出了两个编程实例。     

Realtek平板显示控制芯片的OSD设计

详细描述了Realtek公司RTD系列平板显示控制芯片的OSD设计方案.该系列芯片具有相同的字符型OSD寻址和存取寄存器入口地址.设定这些入口地址就可以写入框架控制寄存器、窗口寄存器和字体寄存器,从而实现期望的在屏显示功能.在此框架的基础上,实现了基于RTD2523B的标识设计和多层菜单设计.     

EDA前沿

Formal Check是一种形式验证工具。它可以验证设计的功能,但是并不需要使用测试向量。该工具用在寄存器传送级的设计阶段,在对整个芯片或者对嵌入的芯核综合之前进行验证。首先,用可综合的Verilog或者VHDL语言将你的设计输入验证系统。然后再按照系统给出的询问模块     

基于基金会现场总线协议的接口芯片设计

介绍了一个基于基金会现场总线协议的专用接口芯片设计。该芯片（HKFF）依据IEC61158标准的物理层及数据链路层规范设计，实现接收和发送31．25kbit／s的数据处理，帧同步，自动地址匹配，帧检测序列产生／校验。曼彻斯特编解码等功能。为便于软件的操作，该芯片含有若干特殊寄存器。HKFF芯片设计完成后，采用TSMC0．25微米工艺一次流片成功。     

单片机8098在频率检测器中的应用

本文主要介绍了利用单片机8098单现频率检测的原理，硬件和软件设计，该检测器是由单片机芯片部特殊功能寄存器T2和少量的硬件及简单的软件组成，具有结构简单、价格便宜、分辨率高等优点。     

SoC芯片UVM平台自动化开发系统

数据通信So C芯片规模大、接口数量繁多且配置复杂,开发过程需要完备的设计验证环境。市场上部分EDA工具已集成自动化验证平台,但它们一般只能搭建基本框架,无法自动支持非标准总线协议,需要较多手动更改,导致开发模块、子系统和系统级UVM验证平台及测试用例耗时较长。本文介绍了一种可自动提取验证平台关键信息、高效并智能化生成大规模So C芯片UVM验证平台的系统,根据用户配置自动分析RTL设计代码,抓取端口信号,并自动生成验证环境平台代码。本系统已经成功应用于多个数百亿晶体管规模的数通So C芯片验证工作,UVM平台开发时间缩短为之前的五分之一,大大提高了芯片研发效率,增强了平台代码质量和测试配置的灵活性、以及平台的可维护性。本系统可推广至更多SoC产品开发。     

基于FPGA的PEX8112配置模块的设计及实现

介绍了一种基于FPGA的可用于PEX8112芯片的寄存器配置的设计方法,详细说明了SPI接口协议及用FPGA来实现寄存器配置模块的设计过程,在Quartus Ⅱ中对设计模块进行了仿真验证,最后通过硬件测试证明了设计方法的正确性和可靠性。该方法对用FPAG配置其它芯片具有普遍适用性。     

SystemC在Turbo码实现和验证中的应用

在简述System C的设计方法和流程的基础上,针对SystemC在硬件芯片系统级设计和寄存器传输级设计的特点,以Turbo编码器为对象和开发目的,研究了SystemC基于寄存器传输级设计的可实现性,利用SystemC的模块化功能,通过分析Turbo编码器的结构与信号流图,进行建模仿真直到最后完成划分硬件模块与编程并在FPGA完成其实现与验证,充分证明了SystemC完全适用于基于寄存器传输级设计的IC应用.此外,此设计将系统级设计与寄存器传输级设计的工作合二为一,大大节省了开发的流程时间.     

基于VMM的寄存器抽象层验证

本文介绍了Synopsys公司推出的基于VMM的寄存器抽象层验证技术和方案,简称RAL(Register Abstraction Layer).该技术是Synopsys针对芯片验证中如何简便、高效地完成寄存器/存储器相关的验证任务这一问题而开发的解决方案.该方案构建在Synopsys的VMM验证方法基础上,使用了VMM中的通用技术,可以在VMM的验证环境中非常方便地集成和重用.     

移位寄存器的Multisim仿真

介绍用Multisim仿真软件分析移位寄存器逻辑功能的方法,验证了4-D触发器构成的移位寄存器的逻辑功能。用Multisim仿真软件中的字组产生器产生的信号作为移位寄存器的时钟脉冲和输入数据,字组内容反映移位寄存器的输入信号和控制信号,用Multisim中的逻辑分析仪多踪同步显示各输入信号、控制信号和输出信号波形,直观地描述移位寄存器的工作过程。所述方法创新地解决了移位寄存器工作过程无法用实验仪器验证的问题。     

基于SV语言的UART模块功能验证

随着半导体工艺的发展,SoC芯片的规模和复杂度日益增大,传统的验证方法已经不能满足要求.本文介绍了基于SystemVerilog验证语言的形式化验证和VMM验证这两种功能验证的方法,并且结合使用这两种方法对一个UART接口模块进行了验证,在保证验证完备性的基础上,有效地提高了功能验证的效率.