基于SystemC的SoC系统级设计方法

随着嵌入式系统的发展,片上系统（SoC）设计已经成为集成电路设计的发展方向。SoC设计的复杂性对集成电路设计的各个层次,特别是对系统级芯片设计层次带来了新挑战。SystemC是一种完全基于C＋＋的系统级建模语言,它同时支持RTL级、行为级和系统级描述。本文介绍了SystemC的特点和系统设计环境,有利于进行SoC系统级设计,并阐述了一种基于SystemC的系统级设计方法。     

POOSL的扩展及其在性能分析中的应用研究

为了定量分析系统的吞吐量、时延、缓存平均利用率等长期样本均值（long-run sample average）性能指标，应用再生周期技术（the technique of regenerative cycles）扩展了形式化建模语言POOSL的构件库。并针对在嵌入式系统中应用广泛的滑动窗口协议，使用扩展后的POOSL为选择重传滑动窗口协议建立了性能分析模型。根据模型模拟执行结果，定量地分析了窗口大小、包大小、超时间隔等参数对协议性能的影响。分析表明，扩展后的POOSL能够有效地应用于对系统的长期样本均值性能指标进行定量分析。     

IEEE 802.11无线通讯协议的建模与性能分析

为了系统分析IEEE 802.11无线通讯协议的性能,基于POOSL语言建立了IEEE 802.11协议的性能抽象模型,对ad hoc网络和带有AP的WLAN两种场景下协议的性能进行了定性和定量地分析.在建模过程中,对协议的机制进行了合理的抽象,重点解决了无线信道的仿真等问题,准确模拟了DCF的两种工作方式(基本方式和RTS/CTS).通过模型模拟执行的结果,分析了相关参数(站点个数、竞争窗口大小、帧的长度)对协议性能指标(有效吞吐量、平均延时和上下行吞吐量公平性)的影响,并得到了不同站点数目情况下最佳的CWmin值等结果.     

基于POOSL的系统级建模方法研究

针对复杂嵌入式系统,提出了基于POOSL的系统级建模方法,包括层次化建模方法、面向对象建模技术和基于Y-Chart的资源建模方法.为了验证这些方法的正确性和有效性,以无线接入系统为例,使用POOSL语言建立了它的系统级模型,根据模型的仿真执行结果,分析了活跃站点数和最小竞争窗口等参数对有效吞吐量、平均延时及CPU利用率等性能指标的影响.仿真结果表明,所提系统级建模方法能有效地应用于复杂嵌入式系统的建模.