基于TLM2.0的SPARC事务级建模

为提高可扩展处理器体系结构(SPARC)的设计抽象层次和仿真速度,设计一种符合第8版SPARC(SPARC V8)的事务级模型。该模型基于TLM2.0标准,采用解释型指令集仿真方法实现程序执行。通过构建验证环境,证明该事务级模型能够正确运行并跟踪SPARC V8程序,仿真速度比寄存器传输级提高2个数量级。

基于UML&SystemC的GPU片段处理TLM建模

GPU片段处理单元位于图形处理器渲染管线的末尾,执行对将要存储到缓冲区的片段的测试、混合、屏蔽、逻辑等所有操作。为了在RTL设计之前快速研究GPU片段处理单元的硬件结构及功能算法,文中联合使用统一建模语言(unified modeling language,UML)和SystemC语言对GPU片段处理单元进行事务级建模(transaction-level modeling,TLM)。首先设计了GPU片段处理单元的类图、结构图、行为图等视图,对系统进行静态结构和动态行为的描述;然后将UML可视化视图转换为基于SystemC的事务级模型,详细描述了GPU片段处理单元的模块、接口、端口、进程等建模过程,模块之间通过端口和层次化通道通讯,具有建模效率高和仿真速度快的优点;最后基于Linux操作系统仿真平台验证了架构和算法的正确性,实现了在设计的前期进行软硬件的协同仿真和算法的验证、优化,对硬件架构进行探索,有利于加速以图形处理器为核心的设计和开发。

基于System C的火控计算机交易级建模

SystemC是一种面向软硬件协同设计、性能测试的编程语言。在介绍火控计算机工作原理、硬件结构和软件算法的基础上,采用SystemC进行火控计算机系统级建模,构建了火控计算机交易级模型,描述了相关模块接口间的调用方法,为生产或更新火控计算机集成电路芯片提供了快速可行的设计与验证方法。

北桥设计中的总线周期精确事务级建模

总线周期精确事务级建模能解决系统设计中的仿真精度和速度之间的矛盾。以北桥中的总线设计为背景,采用SystemC中接口方法调用的原理,实现了对Wishbone总线的周期精确事物级建模,并给出了具体的实现方法和测试方法,具有一定的通用性。

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

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

周期精确/位精确的Cache事务级建模方法

对于片上系统(SoC)架构设计,寄存器传送级建模仿真速度慢,而采用C语言建模达不到所需的精度要求。针对上述问题,基于电子系统级(ESL)设计方法,提出一种通用的周期精确/位精确的高速缓存(Cache)事务级模型。该模型面向外部接口和内部逻辑分别采用不同的抽象层次进行建模,并构建基于ESL设计的SoC,实现软硬件协同设计。实验结果表明,集成Cache模块的仿真平台运行相应程序所需周期数大幅减少,可达到既定的精度要求。

CLB总线事务级建模及其仿真平台的设计

提出了采用事务级建模的方法对国内具有自主知识产权的国芯CLB总线进行建模的方案,并利用多时钟技术来保证模型的周期精确。同时对所建模型进行了VCI接口协议的封装,便于其在不同平台上的移植。为了验证本设计的正确性,在电子系统级平台上实现了基于CLB的SoC。实验结果表明,本模型可以大大提高软、硬件协同开发验证的效率,增强IP模块的复用性。

基于IEEE 802.3标准的MAC在不同视角的事务级建模研究

以基于IEEE 802.3协议的媒体访问控制层(MAC)为研究对象,讨论了事务级建模的方法.基于SystemC和TLM 2.0协议,建立了MAC在程序员视角(PV)和验证视角(VV)的模型,并进行了验证.通过分析MAC发送帧和接收帧的过程,对比了不同视角事物级模型的建模精度和仿真速度.

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

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