基于UML&SystemC的GPU命令处理器单元事务级建模

1

作者 庞建豪 张少锋 +1 位作者 郑沛洲 张智瑞 《山西电子技术》 2025年第2期91-94,共4页

命令处理器单元是连接图形处理应用和处理内核的桥梁,负责OpenGL命令的接收、调度和预处理,并实现部分OpenGL函数的功能。为了在软件和RTL设计之前对命令处理单元的体系结构和功能算法进行预先验证和优化,使用统一建模语言(Unified Mode... 命令处理器单元是连接图形处理应用和处理内核的桥梁,负责OpenGL命令的接收、调度和预处理,并实现部分OpenGL函数的功能。为了在软件和RTL设计之前对命令处理单元的体系结构和功能算法进行预先验证和优化,使用统一建模语言(Unified Modeling Language,UML)和SystemC硬件建模语言对GPU命令处理器单元进行事务级建模(Transaction-Level Modeling,TLM)。通过构建类图、结构图、行为图等UML视图模型对GPU命令处理单元的静态结构和动态行为进行分析。 展开更多

关键词 OpenGL命令 UML 事务级建模 SYSTEMC 命令处理单元

在线阅读 下载PDF 职称材料

可生存性MLS/DBMS中基于隐蔽通道的恶意事务检测 被引量：6

2

作者 郑吉平 秦小麟 +1 位作者 管致锦 孙瑾 《电子学报》 EI CAS CSCD 北大核心 2009年第6期1264-1269,共6页

多级安全数据库系统(MLS/DBMS)中并发控制协议并不能彻底消除所有的隐蔽通道.在隐蔽通道无法避免的情况下,已渗透的恶意事务可以利用隐蔽通道泄漏和篡改机密信息.为提高数据库的可生存性,首先分析了MLS/DBMS系统中的隐蔽通道,通过对真... 多级安全数据库系统(MLS/DBMS)中并发控制协议并不能彻底消除所有的隐蔽通道.在隐蔽通道无法避免的情况下,已渗透的恶意事务可以利用隐蔽通道泄漏和篡改机密信息.为提高数据库的可生存性,首先分析了MLS/DBMS系统中的隐蔽通道,通过对真实情况的参数模拟和实验分析,结合恶意事务特征和隐蔽通道带宽的异常改变,给出可生存DBMS中的同谋事务和恶意事务的检测,并提出了同谋用户造成隐蔽通道传递性的机理以及恶意噪声事务对其的影响. 展开更多

关键词 多级关系模型 隐蔽通道 恶意事务 同谋

在线阅读 下载PDF 职称材料

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

3

作者 张宇昂 李丽 +2 位作者 杨盛光 徐懿 张冰 《微电子学与计算机》 CSCD 北大核心 2007年第12期187-190,共4页

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

关键词 交易级建模 SYSTEMC AMBA AHB:通信细化

在线阅读 下载PDF 职称材料

基于System C的火控计算机交易级建模 被引量：1

4

作者 徐学航 邹雷 《火力与指挥控制》 CSCD 北大核心 2006年第S1期97-100,共4页

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

关键词 SYSTEM C 交易级模型(TLM) 火控计算机 接口

在线阅读 下载PDF 职称材料

SoC事务级建模方法 被引量：2

5

作者 马秦生 刘源 +1 位作者 张宁 杨珺 《中国集成电路》 2012年第1期42-47,53,共7页

为了快速地发现SoC性能的瓶颈、实现通信结构的决策,提出一种在事务级采用SystemC构建片上总线SoC模型的方法。该方法利用端口来连接模块和通道,利用通道来实现接口中定义的方法。经仿真验证,时序完全符合AHB标准,运行速度远高于RTL下... 为了快速地发现SoC性能的瓶颈、实现通信结构的决策,提出一种在事务级采用SystemC构建片上总线SoC模型的方法。该方法利用端口来连接模块和通道,利用通道来实现接口中定义的方法。经仿真验证,时序完全符合AHB标准,运行速度远高于RTL下的同类模型。该方法有助于在设计流程的早期找寻最优化的片上总线通信结构。 展开更多

关键词 建模 事务级 SYS temC AHB

在线阅读 下载PDF 职称材料

基于SystemC的片上网络全系统模拟器

6

作者 刘建 陈杰 +2 位作者 奚杰 敖天勇 许汉荆 《微电子学与计算机》 CSCD 北大核心 2010年第3期16-19,共4页

设计了一个基于SystemC的可配置片上网络(NoC)全系统模拟器.该模拟器实现了路由器、处理节点、存储节点及IO节点的周期精确的事务级建模,同时具备分析各路由器节点性能及影响因素的功能.实验结果表明该模拟器具有快速、灵活及准确性高... 设计了一个基于SystemC的可配置片上网络(NoC)全系统模拟器.该模拟器实现了路由器、处理节点、存储节点及IO节点的周期精确的事务级建模,同时具备分析各路由器节点性能及影响因素的功能.实验结果表明该模拟器具有快速、灵活及准确性高的优点,在2.4GHz的IntelCore2处理器上对4×4的NoC进行周期精确的仿真约为130kcycles/s,测试程序在该模拟器运行的结果与系统实现后的实际结果相差小于4%. 展开更多

关键词 片上网络 仿真器 事务级建模

在线阅读 下载PDF 职称材料

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

7

作者 唐世悦 洪一 武杰 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第12期1588-1591,1595,共5页

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

关键词 事务级建模 周期精确级 接口方法调用

在线阅读 下载PDF 职称材料

基于事务级模型的火控计算机建模研究

8

作者 徐学航 吕强 邹雷 《火力与指挥控制》 CSCD 北大核心 2008年第S2期113-114,共2页

在对系统进行高层次建模和验证时,事务级模型得到越来越广泛的应用。在SystemC语言的基础上构建了火控计算机的事务级模型,并通过事务级的仿真,对模型的功能进行了验证,为下一步的软硬划分和硬件设计打好基础。

关键词 事务级模型 火控计算机 主设备

在线阅读 下载PDF 职称材料

基于SystemC和Verilog软硬件协同验证 被引量：7

9

作者 鲁芳 柏娜 《现代电子技术》 2008年第4期1-3,共3页

针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计时象进行描述和验证,提出一种软硬件协同验证方法。该方法基于SystemC的交易级处理器内核模型和基于Verilog的内核之外的硬件模型。该方法被应用到东南大学研发的... 针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计时象进行描述和验证,提出一种软硬件协同验证方法。该方法基于SystemC的交易级处理器内核模型和基于Verilog的内核之外的硬件模型。该方法被应用到东南大学研发的微处理器芯片GIV的具体验证中。实验数据表明,由于采用软硬件协同验证模型在芯片生产之前对系统功能、结构设计等进行验证,缩短了开发周期,降低了开发成本,提高了验证可靠性。 展开更多

关键词 软硬件协同验证 建模 交易级处理器 抽象级别

在线阅读 下载PDF 职称材料

可重构处理器阵列的系统级建模研究 被引量：3

10

作者 潘鹏 王鹏 林水生 《微电子学与计算机》 CSCD 北大核心 2011年第11期85-88,93,共5页

由于粗粒度可重构体系结构设计空间复杂,设计满足应用需求的CGRA需要建立系统级仿真模型进行性能评估.文中提出一种可重构处理器阵列的系统级模型,使用SystemC事务级语言实现建模.模型采用多层互连网络结构实现任意2个处理器间的通信,... 由于粗粒度可重构体系结构设计空间复杂,设计满足应用需求的CGRA需要建立系统级仿真模型进行性能评估.文中提出一种可重构处理器阵列的系统级模型,使用SystemC事务级语言实现建模.模型采用多层互连网络结构实现任意2个处理器间的通信,并且处理器的资源能够通过参数快速地进行配置.仿真实验表明,模型适用于应用算法到粗粒度可重构体系结构映射的模拟仿真. 展开更多

关键词 粗粒度可重构体系结构 处理器阵列 SystemC事务级建模

在线阅读 下载PDF 职称材料

Wishbone总线交易级建模 被引量：1

11

作者 郭勇 李仁发 乐光学 《微电子学与计算机》 CSCD 北大核心 2005年第1期166-169,173,共5页

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

关键词 交易级建模 片上总线 WISHBONE 寄存器传输级

在线阅读 下载PDF 职称材料

CLB总线事务级建模及其仿真平台的设计 被引量：1

12

作者 兰光洋 魏继增 郭炜 《电子技术应用》 北大核心 2011年第11期134-136,共3页

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

关键词 systemC语言 CLB总线 IP复用 事务级建模 VCI接口

在线阅读 下载PDF 职称材料

基于SysML&SystemC的GPU任务调度单元事务级建模 被引量：1

13

作者 张少锋 田泽 +2 位作者 吴晓成 张骏 陈佳 《无线电工程》 北大核心 2021年第2期161-167,共7页

传统的“瀑布”式芯片设计验证方法缺乏高效的协同设计验证手段,已不能满足当前架构复杂和规模宏大的GPU芯片的设计开发要求,采用基于事务级建模(Transaction-Level Modeling,TLM)模型的设计验证方法应运而生。作为GPU图形顶点和像素染... 传统的“瀑布”式芯片设计验证方法缺乏高效的协同设计验证手段,已不能满足当前架构复杂和规模宏大的GPU芯片的设计开发要求,采用基于事务级建模(Transaction-Level Modeling,TLM)模型的设计验证方法应运而生。作为GPU图形顶点和像素染色任务的调度中枢,任务调度单元的设计尤为复杂和关键,为了加速架构、软件和RTL的研制进度,联合系统建模语言(SysML)和SystemC语言对任务调度单元进行事务级建模。利用SysML构建了任务调度单元的结构和行为视图模型,通过视图模型对架构设计的静态结构和动态行为进行初步的分析验证,利用SystemC语言构建了任务调度单元的TLM模型,搭建了仿真平台进一步验证和优化了架构和算法设计。TLM模型为软件和RTL设计提供了参考模型,有效降低了GPU设计验证迭代的复杂度,加速了GPU的设计验证收敛。 展开更多

关键词 GPU 系统建模语言 事务级建模 SYSTEMC 任务调度单元

在线阅读 下载PDF 职称材料

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

14

作者 彭智聪 陈岚 +1 位作者 冯燕 马娟 《微电子学与计算机》 CSCD 北大核心 2017年第7期56-59,64,共5页

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

关键词 事务级建模 程序员视角 验证视角 MAC IEEE 802.3 SYSTEMC TLM 2.0

在线阅读 下载PDF 职称材料

基于UML SystemC的纹理映射建模方法研究

15

作者 魏美荣 田泽 +1 位作者 吴晓成 韩立敏 《航空计算技术》 2020年第6期86-90,共5页

纹理映射是计算机图形计算中光栅化阶段重要组成部分,处于绘制流水线的像素数据处理阶段,主要特点是数据吞吐量和运算量非常大,数据处理速度是影响图形处理器芯片(GPU)性能的重要因素。为了能够实时渲染3D图形,需要在系统设计的论证阶段... 纹理映射是计算机图形计算中光栅化阶段重要组成部分,处于绘制流水线的像素数据处理阶段,主要特点是数据吞吐量和运算量非常大,数据处理速度是影响图形处理器芯片(GPU)性能的重要因素。为了能够实时渲染3D图形,需要在系统设计的论证阶段,对纹理映射的系统需求和设计方案进行正确性和充分性验证,进而发现系统架构和算法的设计缺陷。为此,提出一种基于UML SystemC的纹理映射硬件建模方法,详细描述了GPU中纹理映射操作的具体事务级(TLM)建模过程,由Sobel边缘检测函数对目标图像进行边缘检测。结果表明,算法能够实现边缘清晰的真彩色贴图效果,搭建的硬件架构模型为RTL设计提供了参考依据。 展开更多

关键词 统一建模方法 事务级建模 系统级描述语言 纹理映射 纹理建模

在线阅读 下载PDF 职称材料

流量管理中基于事件的事务级建模方法

16

作者 宋俊存 王新安 《微电子学与计算机》 CSCD 北大核心 2010年第12期30-33,共4页

提出了流量管理中基于事件的事务级建模方法,包括通信接口函数封装,流水线和调度结构建模方法.同时实现了通用的事件延时队列,方便对延时和吞吐率控制.以流量管理中包调度为例,对非基于事件和基于事件两种事务级模型的仿真性能进行比较... 提出了流量管理中基于事件的事务级建模方法,包括通信接口函数封装,流水线和调度结构建模方法.同时实现了通用的事件延时队列,方便对延时和吞吐率控制.以流量管理中包调度为例,对非基于事件和基于事件两种事务级模型的仿真性能进行比较.基于事件的事务级建模大大提高了仿真速度,缩短了产品开发周期. 展开更多

关键词 流量管理 基于事件的事务级建模 事件延时队列 吞吐率

在线阅读 下载PDF 职称材料