PXI设备和LabVIEW在ASIC测试中的应用

本项目采用NI高效可靠的PXI设备和目前十分流行的G语言LabVIEW设计出一种ASIC测试系统。能方便快捷的对ASIC芯片进行逻辑功能测试，系统配备有高精度示波器和逻辑分析仪，这些设备都可以通过以太网通讯，用户可以将感兴趣的数据存入数据库，以便于日后的分析与研究。本系统性能可靠稳定，在测试特定芯片的基础上有良好的系统扩展性。图形化的编程语言LabVIEW使开发测试程序极为方便快捷，且界面友好，其丰富的工具包可满足测试过程中的各种需求，包括数据库操作、网络通讯、图形显示、生成报表等。     

静态时序分析方法的基本原理和应用

介绍了用于ASIC设计验证的静态时序分析方法的基本原理,并在此基础上给出了将该方法用于优化和验证可编程逻辑器件的设计实例。     

FPGA设计及多片FPGA进行ASIC设计验证的探讨研究

在ASIC设计中，校验是一个非常重要的部分，一般先要进行FPGA验证。FPGA验征有一整套严格的流程；随着ASIC设计越来越庞大、越来越复杂．单片FPGA已不能满足设计验证要求．多片FPGA验证应运而生。多片FPGA验证还处于起步阶段，其验证方法和工具有很大的研究和发展空间。     

反应系统的连续时序逻辑表示和验证

引进一个称为LTLC的连续时间时序逻辑，用来对反应系统进行规范与验证．LTLC的一个重要特点是它能在统一的逻辑框架下表示反应系统及其性质，这样就可将系统与性质问的满足关系转化为逻辑公式间的蕴涵关系．同时，采用非负实数集作为时间域还使我们可以利用标准的存在量词来表示变量隐藏，并可用逻辑蕴涵来表示反应系统间的求精关系．该文首先给出了LTLC的一个简单介绍，然后讨论了如何使用LTLC对反应系统进行表示与推理，最后证明了一个关于LTLC的可判定性结果．此结果可用于有穷状态反应系统的自动验证．     

三值逻辑证明系统及正例与反例的提取

三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足某个性质;在证明过程中为存在路径量词提取正例,为全称路径量词提取反例.正例和反例的提取可给模型的细化指明方向.最后通过实例给出了该证明系统在数字逻辑电路验证中的应用.     

一种LTE-A帧定时同步算法的AISC设计与实现

研究了一种TD-LTE-Advanced系统中基于同步信号的帧定时同步算法,对该算法进行仿真和分析,并提出算法实现方案。然后,根据精度、面积、功耗、可扩展性等需求,确定了ASIC实现策略以及实现方案,并对帧同步和FFT模块进行了ASIC的详细设计实现。最后经过仿真、验证和逻辑综合,得出ASIC设计能够达到预期功能目标。该方案在功耗和面积上有一定的优势,本文ASIC设计的面积比同类模块小8.8%,功耗低9.3%。     

基于FPGA的陀螺LTU设计与实现

通过对陀螺LTU进行功能划分，分析了基于VHDL的各个模块的实现，仿真和试验验证了设计的正确性。以单片FPGA代替80C31和外围逻辑芯片，作为进一步ASIC设计的基础。     

用于独立高速USB收发器的ULPI接口规范公开发行

ULPI工作组目前宣布，首个用于高速通用串行总线（USB）和便携式USB（USB On—the—Go，OTG）收发器芯片的UTMI＋低引脚数接口（ULPI）行业规范已经公开发行。专用集成电路（ASIC）、系统级芯片（SoC）及现场可编程门阵列（FPGA）的设计人员可通过该规范开发符合业界标准的接口．将现成的高速USB收发器整合到他们的设计中。这样就节省了设计开发时间，简化了验证和产品测试过程，还能保证嵌入式USB核心逻辑器件与高速USB收发器的互联互通。     

基于FPGA的指纹采集接口设计与实现

本文以指纹识别认证系统的ASIC化为应用背景,提出了一种基于FPGA的指纹采集接口的设计与实现方案。重点研究接口电路的硬件组成和如何采用硬件语言VHDL编程控制滑动式指纹传感器以完成高质量的指纹采集工作。经验证本方案实现的指纹采集接口完全能满足系统需要。     

多智能体系统时态认知规范高效符号模型检测的算法研究

Clarke和McMillan提出了利用mu演算和OBDDs符号模型检测时态逻辑的方法.这些方法是非常有效的,能用于验证许多具有极大状态空间的实际系统(状态个数可以超过1020).但是,这些方法不能检测知识逻辑.而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范.文章首先讨论了Kripke结构和mu演算的扩展,然后提出了利用扩展mu演算和OBDDs符号模型检测时态认知逻辑的方法.     

ASIC验证技术

描述ＡＳＩＣ验证方法和过程，有助于ＡＳＩＣ设计者对验证的认识。模拟是验证ＡＳＩＣ并产生测试矢量的唯一途径，设计者可以对ＡＳＩＣ芯片或者在ＡＳＩＣ应用系统中进行功能和时序模拟。     

FPGA内部块RAM的应用技巧

FPGA验证是ASIC验证的一种很重要方式。主要论述了在ASIC验证过程中FPGA内部块RAM的生成及初始化方法。     

使用SystemC进行基于事务的验证

分析了使用SystemC的基于事务的验证方法。它应用于一个具体项目的开发,并与传统的验证方法作了对比,证明它在验证效率和验证环境设计效率上均有明显优势。     

基于FPGA与ARM单片机的CAN总线分析仪设计

针对CAN总线网络通信质量分析、测试和验证的需要,论证了一种基于ARM单片机与FPGA完成的CAN总线分析仪设计;该分析仪采用集成的CAN控制器与专用总线电平采样双通道信息采集硬件结构;采用单片机及基于FPGA的专用电路完成对CAN网络的实时通信数据的收集与监控;采用PC机完成数据分析与参考信息显示;文章详细讨论了分析仪硬件的具体设计;分析了CAN总线通信波特率的自动检测、总线故障的检测与定位方法;最后结合软件设计给出了所设计的CAN总线分析仪的实测试验结果,可实现总线报文的正常监测、总线状态分析与错误检测功能。     

采用PSL的基于断言的验证

基于断言的验证方法被认为是在硬件设计验证方面的一次重大的方法学的变革。它能有效地提高验证工作的质量和效率。而性质描述语言(PSL)就是使用断言来表达要验证的性质，并且该语言已经被批准为IEEE标准。在简要介绍性质描述语言PSL的基础上，结合数字交叉连接芯片的实际设计验证工作，采用在Mentor Graphics公司出品的仿真软件ModelSim6.0，用PSL语言表述断言和验证命令，说明在设计中嵌入用断言表述的设计特性，通过这些特性来进行验证仿真工作。实验结果表明，用性质描述语言来辅助验证工作，是一个有效可行的方法。     

基于AMBA总线的DMA控制器IP核设计与分析

介绍了一种设计基于AMBA总线的DMA控制器IP核的方法。用硬件描述语言(VHDL)来设计实现挂接在AMBA AHB总线上的DMA控制器,并通过可编程逻辑器件(FPGA)完成对设计的验证,最终形成可复用的IP软核,用到ASIC或FPGA中。     

专用集成电路的设计验证方法及一种实际的通用微处理器设计的多级验证体系

随着专用集成电路制造工艺及设计方法的飞速发展,片上系统可集成的功能越来越多,规模越来越大,设计验证越来越复杂,只有使用先进的设计验证方法充分地验证其设计,才能保证一次投片成功.文中针对专用集成电路设计验证的各种方法和一种实际的通用微处理器设计的多级验证体系作了专门的描述,对片上系统设计者在构建自己的设计验证方案、使设计得以充分验证方面能给予一定的参考.     

基于CDFG的SoC验证方法及其分割与搜索算法

随着芯片复杂度以及市场对集成电路上市时间要求的不断提高，对SoC设计方法和验证方法带来了巨大的挑战。控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。该文针对SoC验证的需要，利用CDFG，研究了基于CDFG的验证体系，给出了CDFG的几种定义，讨论了CDFG的表示方法，提出了基于CDFG的验证流程，研究了基于DFS的生成树算法、CDFG的分割算法和CDFG的搜索算法，并以实例说明了这些算法在验证流程中的作用。     

数字专用集成芯片前端验证方法研究

在分析当前数字专用集成芯片前端验证问题的基础上,提出了一种基于SystemC软件建模的专用集成芯片RTL级验证方法,并应用到对网络调度处理芯片的具体验证实验中。实验数据表明:由于采用软件模型和软件控制技术,该方案在缩短验证周期、提高验证可靠性、精确判定验证决策点以及有效集成各类验证环境等方面均明显优于传统RTL验证方案。