基于SystemC和ISS的软硬件协同验证方法

随着SoC的出现和发展，软硬件协同验证已经成为当前的研究热点。本文对传统的基于ISS的软硬件协同验证方法进行改进，提出了一种基于SystemC和ISS的软硬件协同验证方法。该方法使用SystemC分别对系统进行事务级、寄存器传输级的建模，在系统验证早期进行无时序的软硬件协同验证，后期进行时钟精确的软硬件协同验证。并对仿真速度进行了优化。同传统的基于ISS的软硬件协同验证方法相比，该方法保证了软硬件的并行开发，且仿真速度快、调试方便，是一种高效、高重用性的软硬件协同验证方法。     

基于可配置处理器的SoC系统级设计方法

论文对一种经过改进的SoC系统级快速设计方法进行了介绍和研究。该设计基于可配置处理器核,在设计早期阶段对SoC系统快速建模,以获得针对具体应用算法的最优性能。同时,利用软硬件协同设计方法,得到硬件结构模型和软件开发平台。实验结果表明,该方法不仅灵活,而且设计周期短,减少了设计工作量。     

基于ESL快速精确的处理器混合模型

RTL设计不能满足片上系统对仿真速度的要求。为此，提出一种基于电子系统级快速精确的处理器混合模型。以32位嵌入式微处理器C*CORE340为例，采用不同的抽象层次对指令集仿真器和Cache进行构建。实验结果表明，与RTL级模型相比，该模型的仿真速度至少快10倍，仿真精度误差率低于10%。     

一种基于SystemC的仿真平台快速构建方法

讨论在SystemC环境下通过命令行不经编译直接构建仿真平台的方法。描述该方法构建仿真平台过程。分析平台模块的类型和它们在模块间通信连接上的差异,讨论模块的创建特别是模块间通信连接的方案。分析该方法对模块结构的要求。提出一种实现"检查点"功能的方法。     

用SystemC进行SoC的系统级设计与仿真

IC技术已发展到SoC阶段,系统级设计、仿真和验证已成为IC设计面临的巨大挑战。SystemC是新兴的系统级设计语言,为复杂系统的设计与验证提供了解决方案。本文介绍SystemC的特点和使用方法,深入分析SystemC事务级验证的原理,给出事务级验证的实例,最后还分析SystemC的缺陷和前景。     

系统级体系结构仿真器的研究与实现

系统级体系结构仿真器是可以作为一个虚拟目标机器运行的软件系统 ,它可以实现对单 (多 )处理器、内存系统、Cache和外部设备等子系统的功能模拟 .在体系结构设计和操作系统开发等工程中 ,体系结构仿真器有着广泛的应用 .本文介绍了一个基于 MISC CPU和 SPARC体系结构的系统级仿真器 FMCS     

基于SystemC的系统级设计方法

SystemC是一种完全基于C 的建模平台，它由一个C 类库和仿真内核组成。SystemC提供一个通用的系统设计环境，有利于进行软硬件联合设计。阐述了一种基于SystemC的系统级设计方法。     

SoC芯片设计方法及标准化

随着集成电路技术的迅速发展，集成电路已进入系统级芯片（SoC)设计时代，SoC芯片的集成度越来越高，单芯片上的集成度和操作频率越来越高，投放市场的时间要求越来越短，为了实现这样的SoC芯片，设计越来越依赖IP模块的重用，SoC复杂性的提高和IP模块的多样化，SoC芯片中多个厂商不同IP模块的使用，导致了IP模块可重用的许多问题，IP模块和片上总线，以及EDA工具接口的标准化，是解决IP模块标准化的很好途径，另一方面，SoC芯片设计的复杂性和嵌入软件所占比重的增加，要求更高层次的系统抽象和软硬件的协同设计，使用更流地的设计进行系统的硬件设计和更有效的系统设计方法，描述了SoC芯片设计中的IP模块可重用技术以及所存在的问题，介绍了SoC IP模块和片上总线结构的标准化，讨论了基于C／C＋＋扩展类库的系统级描述语言和基于平台的SoC设计方法。     

SoC设计中嵌入存储器对ATPG的影响

在ASIC设计中，越来越多地采用了So（systems-on0a-chip）方法，同时也因为采用各种IP核和嵌入存储器，给芯片的设计和测试带来了复杂性，特别是在ATPG中这些单元对故障覆盖率有较大的影响，现在已经有一些测试嵌入存储器本身的方法，但这些方法一般不考虑嵌入存储器对周围逻辑可测性的影响，在分析了嵌入存储器对ATPG的影响后，提出了消除这些影响的RTL级的DFT方法，这种方法得到了实验的检验。     

VLIW架构处理器软件模拟器设计

分析VLIW架构处理器特点,设计周期级精确的指令集模拟器。模拟器被按照功能划分为若干具有规范接口的模块。通过修改、替换模块可快速构建新模型,具有较好的可扩展性。采用高效的二进制指令译码算法和JIT-CCS技术提高性能。实践表明,本模拟器在处理器设计过程中起到重要作用。     

使用SystemC验证库进行随机验证

SystemC是一种适用于SoC顶层设计的新型硬件设计语言,SystemC验证库是SystemC标准库的一个增补库,用以增强SystemC在SoC顶层验证的能力,本文对SystemC及其验证库进行了简要介绍,重点说明了如何使用SystemC验证库进行随机测试.     

SystemC在SoC总线交易级建模的研究与应用

采用了SystemC，结合SoC片上总线，探讨了在交易级的建模方法，并结合数字视频后处理芯片给出了建模实例。基于SystemC的SoC总线模型有效地克服了SoC软硬件协同设计的时间瓶颈问题，提高了开发效率，缩短了产品的开发周期。     

基于SystemC的嵌入式系统设计的描述模型

系统建模是嵌入式系统设计的关键步骤,其好坏直接影响着设计的质量和产品的上市时间。已有多种建模方案,但每种都有其局限性。本文提出一种由5层模型组成的嵌入式系统设计的模型框架。它能够从需求描述开始,建立CDM功能模型,经一致性验证,满足设计要求后映射到SystemC抽象模型上。利用SystemC的硬件描述特征和仿真库,增加设计细节,分层细化模型并进行验证,最后达到软硬件的协同设计和综合实现的目的。     

基于UML的SoC建模设计方法研究

随着集成电路制造工艺的发展,嵌入式计算机应用向着SoC的方向发展。为了适应制造工艺对SoC设计能力的要求,提高SoC的设计效率,成为了很紧迫的必要任务。采用统一的SoC系统级建模语言SystemC、软/硬件协同设计技术、基于IP核复用等技术的SoC设计流程,在一定程度上满足了SoC设计要求。在现有SoC设计流程基础上,结合UML的模型驱动框架（MDA）设计方法,在当前的SoC设计流程的系统需求规约描述、硬件实时反应式系统建模、软件模块设计实现中采用UML针对SoC的轻量型扩展特性,可以很大程度地改进提高SoC的设计流程效率。     

基于SystemC的嵌入式系统软硬件协同设计

提出了一种基于SystemC的嵌入式系统软硬件协同设计方法。SystemC是OSCI(OpenSystemCIni tiative)组织制定和维护的一种开放源代码的C 建模平台 ,提供支持硬件建模和仿真的C 类库及相应的仿真内核。通过SystemC的支持 ,该方法在整个嵌入式系统设计流程内使用C 语言来统一描述硬件和软件 ,实现软硬件的协同设计和仿真。该方法同传统的设计方法相比更加灵活和有效。     

基于AMBA总线的事务级蓝牙模型设计与实现

文章以蓝牙通信协议为研究对象,利用系统建模语言SystemC建立了周期精确的事务级蓝牙模型,并将该模型接入到AMBA总线上,实现了蓝牙模块之间的通信,模型运行时使用SystemC自带的仿真核。实验结果表明:本模型完全符合蓝牙协议规范,实现了在SoC设计前期的高层仿真和验证。     

SoC设计中一种软硬件划分的性能评价方法

介绍了一种在SoC系统级设计中对软硬件划分进行评价的方法。系统层设计中,对设计方案的性能、成本和功耗的准确估计,是取得高质量设计的必要条件。讨论了基于平台的设计中,利用基于事务级仿真的方法对系统的软硬件划分结果进行评价的方法。     

一种基于SystemC的Job Shop调度问题建模方法

考虑SystemC解决大规模集成电路硬件建模问题的优势,运用事件驱动下进程交互仿真策略,提出了一种基于SystemC仿真平台的生产调度问题建模方法,并将该方法应用于求解经典的Job Shop调度问题。仿真实例表明基于SystemC的仿真建模方法对于求解Job Shop调度问题可以达到令人满意的效果,从而验证该方法应用于实际生产调度问题建模的可行性。     

嵌入式系统虚拟原型平台的SystemC实现

提出一个基于SystemC的可配置嵌入式系统快速虚拟原型平台,它具有典型的片上系统结构,支持多层总线架构．作为SystemC事务处理级模型,该平台支持快速仿真和通信细化．将此平台应用于IEEE 802．11媒体访问控制器的设计,目前该系统正处于板级调试过程中．