SOC设计验证讲述

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

卫星移动通信系统集成验证设计

为解决卫星移动通信系统的总体设计和技术体制验证问题,本文面向高轨全球移动卫星通信系统,对系统集成验证环境进行了研究,分析了构建卫星移动通信集成验证系统的目的,介绍了卫星移动通信系统架构,提出了卫星移动通信集成验证系统组成、接口和验证内容,总结了集成验证的意义。     

系统级芯片设计语言和验证语言的发展

由于微电子技术的迅速发展和系统芯片的出现,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大,复杂度日益增加。人们用传统的模拟方法难以完成设计验证工作,出现了所谓“验证危机”。为了适应这种形势,电子设计和验证工具正在发生迅速而深刻的变革。现在基于RTL级的设计和验证方法必须向系统级的设计和验证方法过渡,导致了验证语言的出现和标准化,本文将对当前出现的系统级设计和验证语言进行全面综述,并论述验证语言标准化的情况。分析他们的优缺点和发展趋势。最后简单评述当前的验证方法,说明基于断言的验证是结合形式化验证和传统模拟验证可行的途径。     

数字集成电路设计中的硬件加速验证技术

在芯片规模指数式上升和要求面市时间快速缩短的双重压力下,验证已成为数字集成电路设计的瓶颈。利用硬件加速验证技术能很好地解决这一问题。该文论述了硬件加速验证系统的工作原理和组成结构,通过与传统HDL仿真器的比较证明了其优势,并以Aldec公司硬件加速验证工具HES为例说明了硬件加速验证的验证流程。     

集成电路形式化验证方法研究

文中给出了形式化验证的基本理论,介绍了VIS综合系统的验证技术和验证流程.以乘法器为实例对组合电路的正确性进行了验证,并与传统仿真结果进行比较,利用自动化验证工具对系统模型的相关属性进行检测和验证.     

FPGA硬核处理器系统加速数字电路功能验证的方法

为了缩短专用集成电路和片上系统的功能验证周期,该文提出FPGA硬核处理器系统加速数字电路功能验证的方法。所提方法综合软件仿真功能验证和现场可编程门阵列原型验证的优点,利用集成在片上系统现场可编程门阵列器件中的硬核处理器系统作为验证激励发生单元和功能验证覆盖率分析单元,解决了验证速度和灵活性不能统一的问题。与软件仿真验证相比,所提方法可以有效缩短数字电路的功能验证时间;在功能验证效率和验证知识产权可重用方面表现优于现有的FPGA原型验证技术。     

利用RVM搭建SOC芯片的高效验证平台

本文介绍了用于SOC功能验证的RVM验证方法学,描述RVM验证平台的层次化结构,介绍了RVM的随机测试和基于覆盖率驱动技术的验证策略.文中以一个UART模块为例,详细说明了RVM验证平台在SOC功能验证中的应用;并对验证平台的重用性进行了阐述.     

导弹仿真模型验证系统的研究与实现

为评估数字仿真系统的仿真模型与实际物理模型之间的接近程度,确保仿真结果的可信性,在对现有模型验证方法的优缺点及适用性分析的基础上,研究开发一套仿真模型验证系统。该系统采用自顶向下的模块化结构设计,实现了仿真模型验证方法在系统中的高度集成,为仿真系统的整体性能评估奠定了坚实的基础。     

面向系统芯片的验证策略

随着集成电路的设计规模不断增大，芯片的验证工作变得越来越重要。文章首先回顾了一些常用的验证技术，然后分别讨论了SOC设计中所要进行的模块单独验证、芯片的全功能验证以及系统的软、硬件协同验证。     

CFD软件验证确认数据库系统的建设研究

建立CFD软件验证确认数据库系统,才能持续推进CFD软件的验证和确认研究工作,以适应该软件可信度分析需求。文中分析了CFD软件验证确认相关的数据特征,研究了其系统数据组织与设计技术,提出了系统的体系结构和主要功能,并进行了初步的开发工作,为CFD软件的验证与确认研究工作提供了数据支撑平台。