基于SystemC的时钟周期精确交易级建模及通信细化

交易级建模通过提高建模抽象层次,加快了系统建模和仿真的速度。针对AMBA AHB协议,采用Sys-temC语言,进行了交易级建模及通信细化。结果表明,由于抽象层次部分结合了BCA(bus cycle-accurate)级描述,使得到的交易级模型包含了更多时间/协议信息,同时保留了速度优势,有利于前期验证和系统开发。而之后进行的通信细化,将抽象通道转化为模块实体和端口,对于最终RTL级实现具有重要意义。

符合AUTOSAR规范的汽车电子系统的交易级建模研究

汽车开放系统架构有助于复杂的汽车电子软件的开发、管理及维护,交易级建模在较高抽象层次对系统进行建模,提高了建模速度。针对基于AUTOSAR的软件设计流程,采用SystemC语言及其提供的时间行为和硬件仿真核,进行交易级建模层次化设计和通信细化。重点分析了AUTOSAR描述语言和SystemC语言之间的相似点,并且设计了AUTOSAR环境到SystemC虚拟原型设计的转换过程。结果表明,这种建模方案能有效地实现符合AUTOSAR规范的汽车电子系统的仿真,仿真速度快,有利于系统设计早期阶段验证及性能分析。

Wishbone总线交易级建模

交易级建模在系统功能建模和验证方面可以增快速度,也可以加速仿真的速度并允许在高层次抽象中研究和确认设计中可供选择的模块。针对Wishbone片上总线协议,依据SystemC中接口方法调用的基本原理和交易级建模的方法,完成了Wishbone总线中共享总线的交易级建模,结果表明SystemC适合在交易级建模系统的行为和通信,交易级建模在仿真速度方面具有优势。

基于交易级建模的ATA控制器功能验证方法研究

交易级建模技术适用于构建大规模电路系统的功能验证平台。结合C++天生的类继承机制和SystemC的接口通道机制,基于该建模技术的ATA控制器验证平台成功实现了随机化的交易级验证,降低了设计模块间通信的复杂度,结构上具有良好的可扩展性和可重用性。着重阐述该验证平台中抽象通道与适配器的通用设计方法,提出了一种基于面向对象技术的创新的验证平台设计模式,并分析了交易级建模和RTL建模之间的区别以及交易级建模技术在提高验证效率上的优势。

多处理器片上系统数据队列交易级分析

数据队列是一种常见的硬件互联机制。阐述了数据队列在架构多处理器片上系统通信模型中的原理与运用。基于物理层到达的数据包服从泊松分布的事实,从交易的观念出发结合排队理论深入分析了模型的交易过程。使用UML、SystemC和Matlab对过程中数据流建模并仿真,将系统迟滞的理论计算值与仿真结果对比证明了该方法的有效性。

主从式片上总线系统交易级的实现

在总线的主设备上增设了实时操作系统的任务优先级分配机制,基于蒙特卡罗选择实现总线仲裁器的仲裁策略,建立不同类型的从设备存储器模型。运用SystemC在交易级实现整个总线系统模型,并对该模型进行仿真。实验结果证实了仲裁算法的有效性。

基于图的片上网络交易级简述

片上网络借鉴并移植计算机网络中的概念和方法于片上系统之中,其目的之一是为了解决日趋复杂的片上组件互联问 题。文章简述了片上网络基本概念及其交易模型,探讨了网络和图的映射关系。阐述了 ToG 的由来、基本原理以及与传统交易级

图上交易的SystemC分析及验证

针对网络的静态和动态行为提出使用图上交易 (ToG,TransactiononGraphs) 方法进行分析和验证。该方法从图的角度出 发,在交易级构建整个片上网络模型并使其最终成为可交易的图,在该图上可以使用图论算法和交易级建模 (TLM) 技术分别对网 络进行静态和动态验证。给出了一个具有典型 2Dmesh 结构的片上网络实例并加以分析,以此为例探讨了基于 SystemC 的图上交 易两种不同实现方法,最后通过对 ToG 的静态验证和复用问题的实现证明了基于图的片上网络交易级分析与验证的一系列优点。