TF1500 BGA返工系统

TF1500BGA返工系统凭借其PC软件消除了许多工艺过程中产生的故障和遗漏。一旦创建了返工湿度曲线，系统在几分钟内就能学会，与技术能力无关。采用其先进的返工曲线创建工具，就能轻松开发并验证返上曲线，该工具的功能包括实时“鼠     

CoCentric系统设计、仿真与实现

集成电路已经发展到了SoC(System on Chip)时代，在系统设计领域就需要有相应的EDA工具的支持。CoCentric就是由Synopsys公司推出的SoC系统设计的EDA工具。CoCentric系统设计流程是由综合和验证这两个并行的流程组成的。综合着重实现从系统设计到最后硬件语言描述实现的过程；而验证则通过系统仿真来保证在综合过程中，系统的功能保持一致。文末还详细介绍了一个用CoCentric设计的SoC信息安全芯片的系统设计，并讨论了如何在这一系统中进行软硬件的划分。     

集成ISS的SystemC内核的协同验证环境设计

文章通过对Summit设计公司的Visual Elite ESC中使用的多语言协同验证工具V-CPU的分析,介绍了传统的协同验证方法的构造思想。在此基础上，应用SystemC建模语言作为统一的硬软件建模工具，通过GDB调试工具，设计了集成ISS的SystemC内核的协同验证环境的构造方法。     

SOC设计验证讲述

本文论述了SOC正确性验证所使用的模拟，形式验证技术和静态验证技术等，并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。     

系统级LSI的验证

随着半导体制造技术的微细化，芯片上“空地”的增多，在使用IP核等过去的设计资源的同时，产生了新问题：电路规模急速地扩大，验证变得更加复杂。为此，EDA界应尽早投入新的工具和改造现有工具。系统级【SI的关键验证是LSI（大规模集成电路）开发中最大的障碍，如果说设计阶段所花费的工时为1，验证所花费的工时则为3～5。验证与以往相比之所以变得如此复杂，是因为集成在LSI上的电路规模在不断地扩大。采用以往依赖逻辑仿真器的验证战略已无法适应形势的发展，为了摆脱这种局面，需要分别使用验证用EDA（电于设计自动化）工具。E…     

一种UART＆SPI接口验证工具的设计与实现

随着WLAN（无线局域网）的普及,各种接口的WLAN网卡层出不穷,像UART,SPI,USB等。为了验证接口的功能、性能和兼容性是否符合需求,在此提出了一种支持UART＆SPI接口的验证工具。传统的接口验证采用手动验证的方法,即手动修改UART接口的波特率或SPI接口的大小端等来达到遍历所有用例的目的,传统方法存在效率低,容易漏测测试用例等缺陷。而该工具通过命令通道完成上位机和下位机的协商,保持接口参数同步;数据通道验证在该接口参数下的功能和性能,实现了接口的功能和性能验证的自动化,大大提高了测试效率,保证测试用例的覆盖率。该工具适用于多种平台下的UART和SPI接口验证。     

一种标准单元库的自动仿真验证方法

提出了一种针对标准单元库中单元逻辑功能进行自动仿真验证的方法,验证了55 nm标准单元库中单元逻辑功能的正确性。该方法能自动提取设计文档中的单元逻辑,根据提取结果中输入端的数量自动生成测试向量,并以此测试向量生成参考逻辑值,整个过程只需0.708 μs。采用仿真工具对标准单元库文件进行仿真,将得到的仿真值自动与参考值对比,验证了库单元逻辑的正确性,提高了标准单元库功能验证的效率。     

通过JEDA来实现最优化RTL功能验证

本文介绍的是一种RTL功能验证的EDA工具箱，它在功能、方法学、效益比上在众多的EDA工具箱中有最优化的特点，非常适合目前我国ASIC／FPGA设计者的需要。     

提高模块级的验证质量的方法学研究

验证工作中验证计划对于整个ASIC设计工作起到十分重要的作用,模块级验证质量是通过覆盖率分析进行验证质量评估.本文对TD-SCDMA终端芯片的ARM_UART模块的多种覆盖率进行了详细的分析,通过分析覆盖率得出的数据再次进行验证,直到验证的完整性满足设计者的要求.模块覆盖率是否达到验证计划的要求,可以作为判断验证工作质量的依据,所以针对模块级的芯片验证工作是以多种覆盖率为驱动的验证分析对象的,提高模块级验证质量方法是以覆盖率驱动技术为验证技术支持的.     

基于ILT的版图自动层次构造算法

在超大规模集成电路设计中，随着版图规模的急速增大，采用层次(hierarchieal)版图验证的方法成为提高计算效率的关键。版图中存在大量重复单元的阵列，单元边界问题处理策略的选择．是决定版图层次验证工具效率的一个关键。文章采用了基于版图倒序树(ILT)的自动构造皈图层次的算法，使扁平的版图形成多个层次，利用新增单元版图规模的压缩达到加速处理边界问题的效果，提高了版图层次验证工具的效率。     

DDR2调试和验证解决方案

该DDR2协议调试和验证解决方案基于TLA6000系列逻辑分析仪，是TLA6000系列逻辑分析仪的新选件，它包含了嵌入式工程师——即使并非DDR2专家——用来验证和调试设计中存储子系统性能所需的各项工具。     

软件性能效率测量审核研究与实践

软件性能效率测量审核作为能力验证计划的一种,对于提升实验室的技术能力有重要意义,也是实验室外部质量保证的重要来源.软件性能效率测试是基于工具的测试,实践过程中需要从技术和需求方面进行深入分析,这样才能获得满意的结果.从实验室开展软件性能效率测量审核的角度,阐述和分析了测量审核过程的具体内容,并针对评审重点进行论述,从技...     

适用于VLIW数字信号处理器的功能验证策略

由于数字信号处理器结构的复杂性，对于数字信号处理器的验证一直是一个很大的挑战。构建一个基于模拟形武的数字信号处理器验证系统，该系统采用测试向量产生工具μGP产生高效率的验证向量。并将硬件设计的模拟结果与周期毁精确的模拟器产生的结果进行比较来验证数字信号处理器的正确性。采用诙平台对一个九级流水线的超长指令字结构数字信号处理器进行验证，可以在4000条指令内达到99％以上的代码语句覆盖率。     

等价性验证在Soc设计中的应用

本文介绍了仿真验证与形式验证的功能,重点讨论了等价性验证在soc设计中的应用及基本流程,分析了等价性验证过程中常遇到的一些问题并给出了解决方案,实验显示,该验证方法可准确快速的发现设计的错误,提高验证效率。     

基于语义验证的可视化BPR建模工具

为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出具验证的可视化建模工具。该工具在具备基本的可视化业务流程建模功能基础上,可通过与随机Pe-tri Net性能计算工具协同计算,从可覆盖性等角度验证流程属性满足需求语义的合法性。实验结果证明,该工具可提高重组业务流程的正确性和开发效率。     

基于功能信息的验证工程学过程模型研究

针对当前集成电路功能验证面临的问题，通过引入32程学思想，研究了集成电路功能验证的32程学问题。以功能验证的过程模型为研究对象．在已有过程模型的基础上，提出了一种全新的功能验证过程模型——基于功能信息的验证32程学过程模型．并讨论了模型中的若干具体问题。该模型在提高验证并行度和促进验证重用等方面有积极意义。     

一款半定制可编程逻辑核的设计与验证

介绍了一款可编程逻辑核的设计及验证过程,着重阐述了可编程逻辑核电路设计及CAD设计技术。该可编程逻辑核采用半定制方法设计,在CSMC 0.5μm CMOS工艺上进行了流片,开发了相应的CAD工具以支持该可编程逻辑核的验证。硬件测试结果表明,该可编程逻辑核实现了预期的逻辑电路功能,达到了设计目的。     

用于验证片上系统设计的多种技术和语言

有效地验证ＳＯＣ的设计所采用的方法有可能大相径庭，例如近年来有硬件验证、软硬件协调验证以及协调设计工具等方法。一般来说，人们需要更高的自动化和抽象化；建立可重复使用的验证方法；并同时验证软件和硬件。为了达到这些目标所采用的技术和语言使这些工具千差万别。Ｖｅｒｉｓｉｔｙ（Ｍｏｕｎｔａｉｎ　Ｖｉｅｗ，ＣＡ）刚发布的基于规范的功能验证工具Ｓｐｅｃｍａｎ新版本与以前的版本相比，自动化程度要更高一些。Ｓｐｅｃｍａｎ总是把约束处理（ｃｏｎｓｔｒａｉｎｔｓｏｌｖｅｒ）放在它的核心位置，能够处理复杂数据之间的相…     

USB2.0虚拟主机的验证系统研究与设计

在USB2．0设备控制器的仿真验证设计中，一般需要构建一个虚拟的主机系统。文章给出了利用SmartModel工具中的Usbhost_fz Flexmodel模型去设计一个USB2．0的虚拟主机验证系统．并模拟主机对USB设备控制器的IN作业、OUT作业、SETUP作业、SOF包处理的具体过程。     

SDH专用集成电路的FPGA验证

在专用集成电路的设计中,采用ＦＰＧＡ来验证专用集成电路的功能是一个重要而必不可少的过程,本文介绍了用２片Ａｈｅｒａ公司的ＦＬＥＸ１０Ｋ系列ＦＰＧＡ验在规模 和集成电路功能的过程,给出了在和集成电路设计中充分利用工具和原有集成电路的设计成果进行ＦＰＧＡ验证的步骤,并提出了如何解决验证过程中遇到的一些疑难问题。