IP软核测试策略及验证方法研究

近年来随着科技的不断进步和发展,集成电路的也在不断发展,呈现出来愈加复杂的趋势,所以芯片的设计也不断的出现了功能的增强、集成程度的提高的发展的趋势。系统芯片SoC成为当下主流的趋势下,IP核也在飞速发展。IP核也就是知识产权IP,分为软核IP、固核IP、硬核IP,其中软核IP以其灵活性高的优点,在复杂的设计中有较强的优势。但是在IP软核的实际应用中,也存在很大的困难和挑战,因此为了能更好的对IP软核进行应用,对IP核进行测试和验证具有重大的意义。文中通过对IP软核的特点进行概述,进而对IP软核的测试和验证方法进行研究,提出方案,以促进IP软核的应用及发展。     

一种基于分层结构建立的SDH芯片验证平台

同步数字体系(SDH:Synchronous Digital Hierarchy)是一个将复接、线路传输及交换功能融为一体的、并由统一网管系统操作的综合信息传送网络,随着SDH芯片集成度越来越高、规模越来越复杂化,快速建立一个可重用的、结构化的验证平台就成为芯片设计成功的重要因素,本文通过一个成功SDH项目,介绍一种基于分层结构建立的SDH验证平台,阐述了SDH芯片项目验证质量及验证效率提高在平台运行下的实现性,为SDH芯片项目验证建立起到很重要的借鉴意义。     

HDLC IP核的形式化验证

目前,高级数据链路控制(High-Level Data Link Control, HDLC)协议控制器在航天型号中依然应用广泛,通常以IP核的形式被集成在通信部件中。但是近年,多个经过仿真验证的HDLC IP核在航天型号运行过程中出现了触发概率极小的功能错误,导致数据帧丢失、通信功能失效甚至任务失败。在仅依靠仿真无法保证验证充分性的背景下,采用形式化验证方法进行功能验证。本文依据HDLC国际标准分析同步传输模式关键功能,将关键功能拆分为属性描述,并根据属性编写断言,从而建立HDLC协议同步传输模式关键功能用例集,并以正在航天型号中使用的某HDLC IP核为例,使用形式化验证工具进行验证实验,发现了此前从未发现的两处设计缺陷。针对这些设计缺陷,分析了其触发原理和可能造成的危害。     

FPGA通用验证平台建立方法研究

现场可编程门阵列(Field Programmable Gate Array,FPGA)的设计可靠性直接影响产品的可靠性,因此必须对FPGA设计进行高效和充分的验证.对传统功能仿真验证进行了分析,从验证方法和方法学角度阐述了验证平台的发展趋势,提出并实现了一种层次化的通用验证平台,利用该平台对两个被测设计(Design Under Test,DUT)进行验证.验证结果表明,该方法建立起的验证平台具备一定的通用性,可有效提高验证覆盖率和验证效率.     

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

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

LVS 版图验证方法的研究

LVS是IC Layout设计中一个重要的验证环节，结合实例分析，系统讨论了LVS的工作原理和验证流程。     

关于SDH图案相关抖动的验证方法

本介绍了用“相位分析技术”在高速SDH系统中验证图案相关抖动的方法，并可望成为下一版本ITU－TO．172建议的正式本。本也给出了一些SDH图案相关抖动的背景知识。     

40Gb/s交换IP软核验证和测试

研究40Gb／s交换IP软核的验证和测试方法。通过建立SDH芯片验证平台和SDH芯片测试平台,实现IP软核的功能仿真、时序仿真和芯片性能测试。使得IP软核质量优良、性能稳定，适应性强，达到了交换IP软核的设计要求。形成了具有自主知识产权的40Gb／s交换IP软核。     

一种基于E语言的芯片验证平台优化方法

针对传统基于E语言的ASIC芯片验证环境的仿真低效率,本文提出了一种优化手段,即在E语言实现的验证环境里只做数据相关处理,时序的处理采用verilog实现,以减少软件Specman Elite与verilog仿真器的通信次数.最后以SDH处理芯片的验证为例进行实验对比,结果证明了此种实现方式的可行性,并且测试用例的仿真时间在原基础上能缩短50%～70%,对降低芯片的整个设计周期具有显著意义.     

如何选择正确的验证方法

本文对时下流行的验证技术(形式验证、随机、定向、有约束的随机、断言、属性检验)与语言(SystemC、C/C 、SystemVerilog、Open-VERA、E等)进行了全面评述,并分析了在传统的数字ASIC设计流程中应当在何时采用何种验证技术和语言。     

MPEG-7的现状和发展

为了实现基于内容的多媒体信息检索，活动图像专家组MPEG制订了“多媒体内容描述接口”MPEG-7标准，与MPEG-1、2、4不同，MPEG-7不是一种新的编码标准，它独立于其它标准，运用MPEG-1、2、4中的工具和手段，同时为其服务。介绍了MPEG-7的研究背景、目标、研究内容以及应用领域。     

基于SOC典型结构的系统验证环境

IP集成已经成为SOC的主要设计方法，但是IP间的不兼容性和冲突带来了SOC设计的大量问题。文章给出了一种基于IP总线的SOC标准架构，并在这一架构上建立了系统验证环境。该验证环境利用现有的EDA工具，并建立在广泛使用的IP重用规范之上，因此具有很强的可移植性。同时，该环境使激励文件也能与IP一起被SOC设计重用，大大减轻了系统验证的工作。该环境适用于SOC设计的各个阶段，并且具有软硬件协同仿真的能力。     

RISC结构的IP核验证与测试

以一个8位的RISC体系的CPU核为例,介绍了如何将IC设计中的IPCore和FPGA两项技术结合起来,并给出了IP核模块的验证与测试的方法。     

MAC控制器IP硬核的设计与验证

采用布局布线工具Encounter对MAC控制器IP硬核进行版图设计,版图设计完成后通过编辑StreamOut.map文件中层数导出符合Virtusoo工具要求的GDS文件,并基于Virtuso环境采用Calibre工具对MAC控制器IP硬核进行物理验证,对设计规则检查和版图与原理图一致性检查中存在的违规提出具体解决办法.通过物理验证后的版图导出def格式文件采用Star-RCXT工具进行寄生参数抽取,得到内部互连网络的详细寄生参数值用PrimeTime工具做精确时序分析.最终成功实现满足时序和制造工艺要求的MAC控制器IP硬核,达到设计的目标和要求.     

基于TCP/IP的说话人确认系统

随着网络与语音信号处理技术的快速发展,把说话人识别系统应用于Internet,使其作为身份识别的一种方法是势在必行。文中介绍了一个基于TCP/IP的实时说话人确认系统,它基于C/S(客户/服务器)模型,采用TCP/IP,以期能够实现Internet上的语音登录系统。介绍了该系统的框架及具体算法,给出了实验结果及其分析。     

一种AJAX结合CGI的嵌入式瘦Web服务器的研究

针对AJAX与CGI的嵌入式瘦Web服务器软件结构,产生的HTML文件不易于维护和更新的问题,提出了建立一个AJAX处理机制结合CGI程序的嵌入式Web服务器软件结构.应用AJAX处理机制实现了客户端校验和客户端处理,以及无刷新访问服务器端资源.实现后的嵌入式Web服务器降低了嵌入式Web服务器开销的同时,使得页面文件易于维护和更新,是一种既降低成本又易于维护和更新页面文件的网络服务器设计方法.     

千万门级IP验证与评测专用平台的电磁兼容设计

千万门级IP验证与评测专用平台的PCB具有信号频率高、布线密度大的特点，从而引起许多电磁兼容问题。分析了PCB电磁干扰的来源，提出了增强PCB板抗干扰能力和抑制电磁干扰的方法。同时，从PCB的叠层设计、电源和地的设计，以及元器件的选择和布局方面，分别介绍了在PCB的设计过程中应采取的抗电磁干扰措施，以及详细的设计方法。     

IP网络的侦听研究

Internet网络的广泛应用使得对IP网络上流动的信息进行合法侦听越来越重要，然而IP网络的合法侦听相对来说更加复杂和不成熟。根据ETSI有关合法侦听标准，从合法侦听的角度分析了IP网络数据传输模型，给出了不同传输模型下的侦听点的设置。考虑到侦听数据传输的有效性和安全性，对于IP网络中侦听数据的传送提出具体要求，并且给出了侦听数据在网络中的传递模型。