基于SystemC的嵌入式系统设计

本文提出了一种基于SystemC的嵌入式系统设计方法，SystemC是OSCI（Open SystemC Initiative)组织制定和维护的一种开放源代码的C＋＋建模平台，提供支持硬件建模和仿真的C＋＋类库及相应的仿真内核，SystemC消除了一直存在于系统级设计和硬件设计之间的语言隔阂，支持在整个嵌入式系统设计流程内使用C＋＋来统一描述硬件和软件，基于C＋＋的系统功能定义能够方便有效地映为硬件实现部分和软件实现部分，该方法同传统的设计方法相比更加灵活和有效。     

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

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

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

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

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

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

使用SystemC2.0进行SoC设计建模仿真

系统级建模是大规模集成电路设计的一个重要阶段,它实现了设计从文本规范向功能实现的过渡,传统方法中一直使用硬件描述语言(HDL)来完成系统级建模,其弊端在于建模的效率低不适应如今SoC设计的要求。SystemC作为一种基于C 语言的新型硬件设计语言较已有的HDL语言在系统级建模、软硬件协调设计方面更具优势,因此也更适用于SoC的设计建模,该文介绍了SystemC的最新版本SystemC2．0的使用特点以及如何利用其进行SoC顶层设计的方法,并通过对一个短消息平台的建模实例说明如何具体使用SystemC2．0,通过与传统方法的比较可以得出结论,SystemC可以迅速有效地实现SoC系统级的建模。     

一种用UML和SystemC进行嵌入式系统的系统级建模的方法

本文用UML建模工具RationalRose设计了果蔬清洗机的嵌入式系统UML模型,然后再以UML模型为蓝本,用可执行的SystemC语言对该系统进行系统级描述.论文同时给出了系统的最终描述结果,并运行得出了仿真结果.     

基于SystemC和POOSL的语音识别系统的系统级建模与性能分析的对比*

根据复杂嵌入式系统的系统级建模的需要,提出了一套复杂嵌入式系统的系统级设计流程和建模方法。该方法主要包括了层次化建模方法、TopDown建模方法、面向对象建模技术和YChart建模方法,并采用提出的系统级建模方法,分别使用SystemC语言和POOSL语言成功地对语音识别系统进行了建模;通过模型的仿真进行了性能分析,并对分别得到的性能分析结果进行了对比,两种语言的系统延迟时间与CPU占用率的性能分析结果基本一致,为建模人员进行复杂嵌入式系统的系统级建模和性能分析提供了指导与参考。     

基于SystemC的SoC行为级软硬件协同设计

针对目前SoC设计中存在的软硬件协同验证的时间瓶颈问题，提出了一种使用系统建模语言SystemC对SoC进行总线周期精确行为级建模的方法，采用该方法构建SoC芯片总线周期精确行为级模型进行前期验证。该模型基于32位RISC构建，并可配置其它硬件模块。实验结果表明：模型完全仿真实际硬件电路，所有的接口信号在系统时钟的任一时刻被监测和分析，很大程度地提高了仿真速度，并且可以在前期作系统的软硬件协同仿真和验证，有效地缩短了目前SoC芯片设计中在RTL级作软硬件协同仿真验证时的时间开销。     

基于SystemC的系统级设计方法

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

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

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

A SystemC library for specifying pipeline abstractions

We describe a SystemC library for specifying, modeling, and simulating hardware pipelines. The library includes a set of overloaded operators defining a pipeline expression language that allows the user to quickly specify the architecture of the pipeline. The pipeline expression is used to derive the connectivity of the SystemC modules that define the stages of the pipeline and to automatically insert latches and control modules between the stages to handle the proper routing of transactions through pipeline. Using the SystemC simulator the pipeline can then be simulated and evaluated. The pipeline expression language sits on top of SystemC, exposes all of the features of C++ and SystemC enabling the user to specify, evaluate, and analyze pipeline architectures.     

嵌入式系统规范语言

规范语言是整个嵌入式系统设计方法学的核心。归纳总结了嵌入式系统规范语言的发展过程，并针对当前嵌入式系统的发展趋势。说明了嵌入式系统规范和规范语言的设计需求，进而介绍比较了两种重要的基于C／C＋＋语言的新的规范语言SystemC和SpecC，最后阐述了基于C／C＋＋的规范语言的看法，并展望了未来规范语言的发展。     

Modeling Embedded Systems: From SystemC and Esterel to DFCharts

This article addresses the need for directly expressing heterogeneous, hierarchical behaviors for modeling specific embedded systems. After analyzing two existing ESL languages, SystemC and Esterel, the authors created a new model of computation and a graphical language to gain the direct expressivity they need for their model. Although researchers have suggested various changes to SystemC and Esterel to fit modeling requirements, this article considers mainly standard SystemC and Esterel.     

基于SystemC事务级的建模仿真研究

事务级(Transaction-Level,TL)建模是SystemC中提出的一种新型高层次建模方法,以CoCentricSystemStudio(CC-SS)作为SystemC仿真工具,以一个IP路由系统为建模实例,分析了事务级建模的基本特点,以及如何利用事务级模型分析系统整体性能和确定关键设计参数。     

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

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

An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC

Property specification languages and ABV (assertion-based verification) driven by simulation are being recognized by many as essential for verification of today’s increasingly complex designs. In addition, there are few mature approaches that concentrate on improving assertion integration with high-level designs modeled in SystemC. This paper discusses the issues faced within SystemC environments to incorporate PSL (property specification language) assertions. It also proposes an automatic solution that enhances SOC (system on chip) SLD (system level design) flow with PSL assertions embedded into SystemC designs.     

基于故障注入的嵌入式软件安全性测试框架及实现

为确保安全关键软件能够稳定工作,需要把验证其中的安全保障措施有效性纳入到测试工作范围,其关键问题和难点是如何在被测软件运行过程中动态模拟其安全保障措施针对的异常状态。为此提出一种辅以故障注入的嵌入式软件安全性测试框架,并给出了实现过程。该框架的核心组件是利用设备建模语言DML和控制脚本构建的运行态故障注入软仿真环境,实验证明可用于单粒子效应等异常环境状态的动态仿真,进而实现对软件的安全性测试。