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

摘要：作为面向对象程序设计语言后继的新一代编程语言,面向方面程序设计语言早先主要应用于软件设计领域。基于AspecC++和systemc,本文提出了一种新的在系统层次构建硬件模块原型的方法。该方法可以用于硬件系统的快速设计空间搜索。本文以一个32位加法器的例子显示了该方法的有效性。

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

摘要：为了降低传统设计模式在应对大规模SoC设计时带来高复杂度,使用高层次综合HLS技术进行了Rijndael算法IP核的设计、综合与仿真.针对Rijndael算法中的多种运算模块,研究并设计了面向硬件的编码方式及优化方案.通过对比,使用高层次综合技术设计的IP核在各方面都接近或超越了使用传统方式设计的IP核,而设计复杂度大大降低,证明了使用HLS方法进行设计的优越性.

摘要：以计算机图形学为基础,OpenGL API为设计规约,设计的三维图形处理器,具有较好的通用性。重点剖析了图形处理器光照引擎事务级模型的设计,该事务级模型采用systemc编写,在VC++6.0下完成开发调试工作,为寄存器传输级的光照引擎IP软核开发奠定了良好的基础。

摘要：给出一个混合实时嵌入式系统软硬件协同综合算法COSMT及其组件的设计方法,从而能够生成混合实时嵌入式系统的系统结构,并且能够在systemc仿真环境下进行软件与硬件的协同设计与调试。

摘要：片上通讯设计是SoC系统设计的关键,本文着重从高层建模上研究SoC通讯体系结构设计。首先概述了SoC的通讯体系结构设计,其次介绍了片上通讯体系结构的高层建模方法,然后介绍了高层片上通讯体系结构的快速仿真方法,最后介绍了我们设计实现的Hi-SoComm系统。

摘要：片上系统(System on Chip,SoC)是集成电路设计发展的趋势,验证在整个SoC设计中工作量巨大且至关重要.应用验证领域的最新成果SCV(systemcVerification),提出了通过设计用户定义的事务接口(Transactor),对RTL(RegisterTransferLevel)级设计进行事务级验证的策略,并对一个具体的FIFO事例进行了验证.

摘要：一种用于万兆以太网在线安全处理器中的高速数据帧收发器的结构设计.采用基于中断的共享式缓存加分布式缓存的二级缓冲收发机制,实现对万兆以太网数据帧的高效在线收发.通过改进一种调度算法的硬件实现,完成对可变长度数据包的高效调度.利用系统级建模语言systemc对设计进行建模,通过仿真优化分布式缓存FIFO的数量实现丢包率为0.将设计应用到一款万兆在线网络安全处理器中,实验结果表明,时钟频率250 MHz下的数据吞吐率达到10.06Gb/s,丢包率为0,验证了设计性能.通过配置模块中分布式缓存的数量,设计可以应用于下一代40/100Gb/s网络安全处理器中满足更高速信息安全的需求.

摘要：本文论述了片上系统设计与验证中存在的一些问题,如系统架构探索与评估、软硬件协同仿真等,介绍了用来解决这些问题的可执行规格、可执行平台、多抽象层次混合建模与验证等较新的观念和方法,最后着重介绍了基于软硬件统一的建模语言systemc的事务级建模方法。