支持平台设计方法的系统芯片协同设计环境

面向基于平台的设计方法,开发了系统芯片软／硬件协同设计环境YH—PBDE．在描述YH-PBDE的总体结构之后,详细介绍了该环境中的三个设计层次与二次映射过程,重点论述了YH—PBDE中基于约束任务流图的系统建模方法、具有初始信息素的蚂蚁寻优软硬件划分算法和基于层次有向无环图的设计约束分配方法．结合具有录音功能的MP3播放器芯片的系统级设计方法,说明了在YH—PBDE中进行系统芯片软硬件协同设计的过程。     

基于软硬件协同形式验证的固件漏洞分析技术

为了系统高效地分析固件中潜在的安全隐患,提出了一种基于行为时序逻辑 TLA 的软硬件协同形式验证方法。通过对固件工作过程中的软硬件交互机制进行形式建模分析,在动态调整攻击模型的基础上,发现了固件更新过程中存在的安全漏洞,并通过实验证实了该漏洞的存在,从而证明了形式验证方法的可靠性。     

面向SoC的事务级验证研究

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

面向SoC的事务级验证研究

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

嵌入式系统协同验证环境的设计与实现

介绍了一个用来验证嵌入式系统硬件／软件,及其交互功能的硬件／软件协同验证环境,硬件／软件功能分别使用系统提供的ＥＨＤＬ语言及ＥＳＤＬ语言设计和描述,该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成,其采用了指令集结构的协同模拟模型,利用该集成环境,硬件／软件的设计错误可以在系统制造之前被发现并修改。     

可编程系统芯片的设计和验证

为了嵌入式系统的软件开发,基于嵌入式处理器的解决方案必须得到一套完整的软件设计工具包的充分支持。从软件工具支持角度看,完成SoPC设计需要多种工具,包括传统的硬件设计工具、嵌入式软件设计工具、新的系统级设计工具、建模支持工具和调试工具。硬件／软件的交互验证以及其它的ASIC验证技术也是SoPC设计人员需要掌握的重要技术,使用它们能够充分实现SoPC的优点。     

基于混合建模的 SoC软硬件协同验证平台研究

针对SoC片上系统的验证,提出新的验证平台,实现SoC软硬件协同验证方法。首先介绍SoC软硬件协同验证的必要性,并在此基础上提出用多抽象层次模型混合建模（Co-Modeling）的方法构建出验证平台。然后,阐述了此验证平台的优点,如验证环境统一、仿真速度快等,接下来介绍了验证平台架构及关键部分的具体实现。最后以一个实例说明此验证平台的可用性。此验证平台适于实现SoC软硬件协同验证,降低了SoC的验证难度。     

系统芯片验证平台设计

使用验证平台可以提高验证效率,传统的验证平台是针对特定的待验证模块设计的,不同的设计需要开发不同的验证平台.验证平台的开发既浪费时间,又很难保证验证平台本身100%正确.文中提出了一种系统芯片验证平台开发方法,按该方法开发出的验证平台具有高可重用性、可扩展性、可升级性、可维护性和自动化等功能,提高了验证平台的开发效率,从而提高了验证效率.     

基于FPGA的视频解码芯片验证平台设计

随着视频编解码算法复杂度的增加,视频处理器设计的难度和成本也大幅度增加.针对视频解码器芯片的仿真和验证要求,文章提出了视频解码芯片的验证框架.基于VirtexE系列的FPGA芯片设计实现了视频解码器的验证平台.并对视频解码器的FPGA的验证问题进行了分析.     

系统芯片验证平台设计

使用验证平台可以提高验证效率,传统的验证平台是针对特定的待验证模块设计的,不同的设计需要开发不同的验证平台.验证平台的开发既浪费时间,又很难保证验证平台本身100%正确.文中提出了一种系统芯片验证平台开发方法,按该方法开发出的验证平台具有高可重用性、可扩展性、可升级性、可维护性和自动化等功能,提高了验证平台的开发效率,从而提高了验证效率.     

一种基于层次平台SoC设计中的软硬件划分方法

软硬件划分是SoC设计中的一个关键问题,合理的划分结果对最终生成的芯片在成本、性能、可扩展性等方面有重要影响。提出了在基于层次平台的SoC设计中,采用遗传算法进行软硬件划分的方法,并通过实验验证了其在SoC设计中的可行性。     

嵌入式系统软硬件协同验证中软件验证方法

随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处理器功能模型(指令集模拟器ISS),逐条解释嵌入式软件在目标机器上的执行过程,产生模拟输出,驱动外围电路(即硬件设计).指令集模拟器从底层时序关系模拟嵌入式软件在目标CPU上运行过程.对于复杂嵌入式系统设计,ISS模拟速度通常成为协同模拟瓶颈.基于RTOS的嵌入式软件快速验证方法可以有效地提高软件模拟速度,扩展RTOS功能,适应协同模拟需要,建立硬件模拟驱动,实现软件和硬件模拟器通信连接和协同模拟同步控制.基于RTOS的嵌入式软件验证方法以编译代码模型为基础,从系统行为级验证嵌入式软件功能,验证速度快.在实际应用中,该方法和ISS验证相结合,能够实现更有效、更快速的嵌入式系统协同验证.最后以几个典型硬件设计为基础,编写相应的控制软件,进行软硬件协同验证实验,实验结果数据说明该验证方法实用、有效、快速.     

面向SoC的软硬件协同验证平台设计

针对SoC设计验证的实际需求,介绍一种面向SoC设计的软硬件协同验证平台。平台中软硬件模型分别在不同环境下运行,通过网络实现信息交互。硬件用硬件描述语言实现对系统事务级、RTL级的建模,软件用高级编程语言来编写,使用指令集仿真器完成对硬件的仿真。仿真过程使用不同的进程并行进行,应用进程间通信方式实现仿真器之间的信息交互。     

基于平台的SoC系统建模方法研究

面向基于平台的SoC设计方法,本文提出约束任务流图模型（CTG）作为SoC系统模型,提出了基于平台的CTG SoC系统建模方法,实现了SoC系统建模环境CPSME。CTG模型是一种可变粒度的SoC系统模型,可同时描述系统任务的功能和性能。本文基于平台的CTG SoC系统建模方法支持CTG模型的系统级重用与定制,有效提高了系统建模效率。在CPSME环境下进行MP3播放器和MPEG2播放器的SoC系统建模实践表明,新方法的模型重用率可达到75％～90％。     

一种面向CPS的控制应用程序协同验证方法

信息-物理融合系统是一种新型嵌入式系统计算模式,它集成了控制计算过程和受控对象,二者相互影响并有机结合.随着信息技术在现实世界中更加广泛、深入的应用,智能化程度不断提升,在具有信息物理紧密耦合特点的嵌入式系统中,嵌入式控制软件的功能比重急剧上升,作用更加突出.作为安全攸关的系统,需要引入形式化验证方法来保证嵌入式控制应用软件的安全性.本文基于自动机理论建立统一的系统验证模型,并针对系统的可达性、安全性（safety）和活性（liveness）等属性要求,提出了对该模型进行形式化验证的算法：基于有界模型检验方法,基于可达性将对系统模型的相关属性验证问题转换为可满足性判定问题.将活性转换为Büchi自动机,并基于四值语义进行判断.在求解过程中,通过偏序规约等手段化简了问题求解的规模,提高可验证系统的规模.另外结合协同仿真技术,灵活配置验证的场景,提高验证的可用性.实验结果表明,结合仿真,形式化协同验证方法可以有效地对系统进行验证.     

基于OCP通信的SoC虚部件级软硬件协同建模方法

提出了一种基于OCP(Open Core Protocol)通信协议的虚部件级软硬件协同建模方法,并建立虚部件级模型——FITM(Function Interface Timing Model)．FITM介于系统级算法模型和RTL时钟精确的模型之间,可简化系统级任务直接映射到RTL体系结构的难度;基于FITM的协同仿真对仿真的精确性和速度进行折中,可有效地解决系统级仿真不够精确和RTL仿真速度慢的问题,所得到的仿真结果能最佳地支持软硬件划分决策和系统性能分析．为了使虚部件级软硬件模型之间的通信独立于RTL的总线协议,文中采用OCP事务级通信协议,大大提高了模型的重用性．最后给出MP3 Decoder和数字化士兵音视频解码与播放器SoC的建模实例．     

SoC系统级设计方法与技术

介绍了以Y图为中心的系统级设计方法研究主题,从软硬件协同设计技术、设计重用技术以及与底层相结合设计技术3方面探讨了系统级关键设计技术的研究进展.从设计方法和技术路线上,将当前的研究工作归纳为基于SpecC自顶向下细化求精的设计方法、基于组件多处理器核SoC自底向上搭积木的设计方法和基于平台上下结合分而治之的设计方法3类.在此基础上,对各类方法的基本思想、描述语言、设计模型和关键技术等进行了分析与对比,并给出了该领域存在的研究问题及其今后的研究方向和重点.     

USB2.0总线的数据采集设备的设计

介绍了基于USB2.0总线的数据采集设备的开发方法。其中包括接口硬件设计、firmware（固件）设计、基于WINDOWS驱动程序模型（WDM）的设备驱动程序设计以及应用软件的设计。     

USB2.0总线的数据采集设备的设计

介绍了基于USB2.0总线的数据采集设备的开发方法.其中包括接口硬件设计、firmware(固件)设计、基于WINDOWS驱动程序模型(WDM)的设备驱动程序设计以及应用软件的设计.