大规模SoC设计中的高效FPGA验证技术的研究与实现

一种针对大规模SoC设计的高效FPGA验证流程,分析了该流程所涉及的关键技术:通用硬件平台设计、FPGA软件环境设计和软硬件协同验证等。采用这些技术,FPGA平台可以快速且真实地模拟芯片应用平台,从而实现软硬件并行设计和协同验证。该验证流程已灵活应用于大规模SoC项目设计中,大大提高了SoC产品的研发效率。     

基于Innovus提升芯片性能的物理实现方法

对于规模日益增大,工作频率不断增加的高性能芯片设计,性能一直是物理设计的重点和难点。缓冲器的插入是为了最小化信号线延时,进而优化时序,提升性能。描述了使用Cadence Innovus工具建立物理设计流程,减少各步骤间的偏差。同时在此流程的基础上提出二次布局优化方法,在16 nm下,通过一个高性能芯片设计验证了该流程与方法,实例结果表明,设计性能得到很大改善,其中时序优化达85.07%,该流程及方法可有效提升高性能芯片性能。     

三通道高亮度LED驱动芯片的ASIC设计

根据LED驱动芯片的应用场合和应用模式设计了一款脉冲式LED驱动芯片.该芯片自带3路PWM驱动输出,具有8位(256灰度等级)数据解析和2 048级对比度的显示性能.同时,完成的芯片具有自动整形转发技术,从而实现了芯片单线级联的功能.在实际应用中芯片级联个数仅受限刷屏技术要求,大大简化了应用电路的复杂度.所设计的驱动芯片的版图完全通过dracula的DRC和LVS验证.目前芯片已加工制作完毕,测试结果正常,完成了预定的功能.     

面向soc芯片的跨时钟域设计和验证

随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing, CDC)设计越来越多,CDC设计和验证越来越重要。阐述了5种常用的同步器设计模板。验证方法提出了层次化的验证流程:结构化检查,基于断言的验证(assertion-based verification, ABV),对关键模块进行形式化验证。CI)C设计应用于研发的一款65nm工艺SOC芯片(最高主频1GHz,10个时钟域设计、多种工作模式),该芯片已流片回来。经测试,芯片的功能正确,说明设计和验证方法是完备的。     

基于LVS的视频服务器集群系统的研究与设计

通过分析Linux服务器集群系统LVS的特点，设计了一种基于LVS的视频服务器集群系统的实现方案，并详细介绍了该系统的工作原理和数据传输流程。同时，在实验过程中针对视频数据流的特殊性进行了处理．有效提高了数据传输的实时性和连续性。     

基于FPGA的智能卡验证平台设计

随着集成电路设计技术的发展和芯片集成度的提高,验证已经成为芯片设计流程中的主要瓶颈。本文设计了一个基于FPGA的智能卡验证平台,并对验证方法做了详细阐述。本文对于双界面智能卡芯片验证的成功实践,不仅是对FPGA验证理论的证实,而且验证的思路和方法对其他芯片有一定的指导意义。     

面向SoC的事务级验证研究

随着集成电路的快速发展,一个SoC的规模已经在几百万门至几千万门左右,面对这样高的复杂度,功能验证成为芯片设计中的一个挑战。传统的验证方法已经成为SoC设计的“瓶颈”。基于事务的验证方法成为SoC设计中功能验证最有效的途径之一。文中重点阐述了基于事务验证的相关概念,给出了完成SoC事务验证的一般流程和设计方法,并详细分析了事务验证平台的设计调试和功能覆盖率分析,最后对传统的验证方法和基于事务的验证方法进行了比较,给出了基于事务验证方法的优点。     

ARINC659总线协议芯片的仿真验证

在现代集成电路设计中,对芯片的仿真验证是芯片设计验证的关键环节之一,一定程度上决定流片的成败。为了搭建一种可靠的芯片验证的虚拟平台,首先分析了ARINC659总线协议的特点,在此基础上结合ARINC659总线协议芯片设计中基于虚拟验证平台的仿真验证项目实践,重点研究了该芯片设计虚拟验证平台的一种构建实现方法和仿真验证。该验证方法提高了验证效率,缩短了整个设计验证周期,为芯片的成功投片提供了可靠的保证。     

ARINC659总线协议芯片的仿真验证

在现代集成电路设计中,对芯片的仿真验证是芯片设计验证的关键环节之一,一定程度上决定流片的成败。为了搭建一种可靠的芯片验证的虚拟平台,首先分析了ARINC659总线协议的特点,在此基础上结合ARINC659总线协议芯片设计中基于虚拟验证平台的仿真验证项目实践,重点研究了该芯片设计虚拟验证平台的一种构建实现方法和仿真验证。该验证方法提高了验证效率,缩短了整个设计验证周期,为芯片的成功投片提供了可靠的保证。     

面向SoC的事务级验证研究

随着集成电路的快速发展，一个SCC的规模已经在几百万门至几千万门左右，面对这样高的复杂度，功能验证成为芯片设计中的一个挑战。传统的验证方法已经成为SoC设计的“瓶颈”。基于事务的验证方法成为SoC设计中功能验证最有效的途径之一。文中重点阐述了基于事务验证的相关概念，给出了完成SoC事务验证的一般流程和设计方法，并详细分析了事务验证平台的设计调试和功能覆盖率分析，最后对传统的验证方法和基于事务的验证方法进行了比较，给出了基于事务验证方法的优点。     

采用MIPS内核的SoC门级时序仿真及功耗估计方法

时序验证是SoC片上系统设计中的关键问题。本文在嵌入MIPS内核的HDTV解码SoC芯片设计过程中,采用MIPS的VMC仿真模型对SoC系统进行了基于门级网表文件的软硬件协同的动态时序仿真。在仿真环境下,通过加载MIPS的Boot Loader程序对芯片的功能和时序进行有效的验证。在此基础上,用门级仿真过程中生成的VCD(Value Change Dump)文件对完成物理设计的SoC芯片的功耗进行了有效的估计和分析。     

用于验证工艺开发包的测试芯片自动生成流程

在工艺开发包的验证过程中,需要手动地在版图编辑器中对参数化单元进行实例化和摆放绕线,由此产生大量测试芯片。为此,提出一种用于验证工艺开发包的测试芯片自动生成流程,采用软件接口产生Skill脚本和工艺开发包交互,以获取工艺开发包的信息、发送命令对工艺开发包进行操作的方法,能自动地对参数化单元予以实例化,自动地摆放绕线,并实现测试芯片版图的布局规划。用该软件接口针对某代工厂的40 nm半导体工艺开发包开发一套测试芯片,产生一条测试芯片的平均时间为5.2 s左右,结果证明该方法是有效的,能缩短工艺开发包的验证时间。     

覆盖率驱动的芯片功能验证设计与实现

随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流程,利用PSL语言描述断言检查很有效,通过模拟工具检查断言是否成功,从而判断设计是否满足系统的功能要求。在网络接口芯片实际应用中,有效地降低了验证工作的复杂度,同时提高了验证的速度和质量。利用功能覆盖率数据判断测试激励的正确性和完整性,同时用覆盖率数据定量评价验证进程,提高了整个设计的效率。     

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

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

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

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

芯片开发功能验证的形式化方法

在芯片设计领域,采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性.同时,芯片设计的正确性、可靠性和安全性也至关重要.目前,多采用仿真方法对模型和代码的一致性进行验证,很难保证设计的可靠性和安全性,并存在验证效率低、工作量大等问题.本文提出了一种新型验证设计模型和生成代码一致性的方法.该方法利用MSVL语言进行系统建模,并通过模型提取命题投影时序逻辑公式描述的系统的性质,通过统一模型检测的原理,验证模型是否满足性质的有效性.进而,应用信号灯控制电路系统作为验证实例,对验证方法做了检验和说明.     

实例研究-模糊芯片F200的设计、验证和测试

本文介绍模糊推理协处理器VLSI芯片F200的设计,给出了详细的芯片设计流程,并重点讨论了有关芯片的可测试性设计、设计验证和测试等问题。     

SoC芯片FPGA原型的软硬件协同验证

在IC设计中,验证占据着举足轻重的地位.为了达到高效率、高可靠性的验证结果,保证芯片在流片的成功率,引入了FPGA原型验证技术.本文以一款低功耗报警器SoC为对象,首先简单介绍了低功耗报警器SoC芯片的系统架构,然后详细说明了报警器SoC芯片FPGA原型验证的具体实现.利用软硬件协同验证方法,验证了报警器SoC芯片模块的功能以及系统验证.     

一种微处理器芯片的验证测试分析及应用

验证测试技术是验证芯片设计正确与否的重要环节，不仅向设计者及时反馈了有效的信息以尽早发现错误、改进设计，并能为降低测试成本和生产测试提供有效保障。基于实际工程，该文提出了一个较有效的验证分析流程方案，采用多测试项目融合曲测试法对一款微处理器芯片进行了验证分析，并对相关测试项目进行了定量、定性的评估。