期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
一种基于SystemC的系统级软硬件协同设计新模型 被引量:1
1
作者 王泉 史维峰 田泽 《电子技术应用》 北大核心 2009年第8期148-151,共4页
分析了SystemC的建模特性,提出了一种基于SystemC的系统级设计新模型,即从系统功能描述开始逐步细化,建立模型间通信抽象的事务模型,对抽象通信具体化,最后形成通信模型。以此为基础进行RTL级综合,完成软硬件协同设计。本方法应用于一... 分析了SystemC的建模特性,提出了一种基于SystemC的系统级设计新模型,即从系统功能描述开始逐步细化,建立模型间通信抽象的事务模型,对抽象通信具体化,最后形成通信模型。以此为基础进行RTL级综合,完成软硬件协同设计。本方法应用于一款导航芯片的设计,有效地缩短了研制周期,降低了开发成本,提高了系统设计质量。 展开更多
关键词 嵌入式系统 软硬件协同设计 systemc语言
下载PDF
System C:一种软/硬件协同设计语言 被引量:10
2
作者 陈咏恩 《电路与系统学报》 CSCD 2001年第1期93-98,共6页
集成电路制造技术的迅速发展,已经可以把一个完整的电子系统集成到一个芯片上,即所谓的系统芯片(SOC:System on Chip)。在系统芯片中一般包含有嵌入式微处理器(或信号处理器),总线,存储器,输入/输出口,专用集成电路(ASCC)... 集成电路制造技术的迅速发展,已经可以把一个完整的电子系统集成到一个芯片上,即所谓的系统芯片(SOC:System on Chip)。在系统芯片中一般包含有嵌入式微处理器(或信号处理器),总线,存储器,输入/输出口,专用集成电路(ASCC)等硬件,还包含有控制微处理器(或信号处理器)工作的软件。传统的设计方法是将硬件和软件分开来设计的,在硬件设计完成并生产出样片后才能调试软件。本文在介绍了传统设计方法后,指出了这种设计方法存在的缺陷,介绍了目前国外在硬/软件协同设计方面正在进行的各种研究工作。本文最后着重介绍了一种软/硬件协同设计语言System C,利用System C可望解决系统芯片设计中软/硬件协同设计的问题。 展开更多
关键词 集成电路设计 软/硬件协同设计 软/硬件设计语言 systemc语言
下载PDF
浮点加法的SystemC设计 被引量:1
3
作者 陈爽 陈雷 +1 位作者 林琢 刘英元 《微处理机》 2008年第5期21-23,共3页
以IEEE754标准格式中的单精度格式为标准,进行浮点加法器的设计。SystemC作为一种基于C++语言的新型硬件设计语言比较原有的HDL语言在系统级建模、软硬件协调设计方面更具优势,因此也更适用于SoC的设计建模。通过对浮点加法流程的分析,... 以IEEE754标准格式中的单精度格式为标准,进行浮点加法器的设计。SystemC作为一种基于C++语言的新型硬件设计语言比较原有的HDL语言在系统级建模、软硬件协调设计方面更具优势,因此也更适用于SoC的设计建模。通过对浮点加法流程的分析,以其算法设计和结构映射为例,对浮点加法步骤加以讨论,得出合适于标准格式的设计,并结合如何应用SystemC进行系统设计,给出浮点加法器部分模块的SystemC描述。 展开更多
关键词 加法器 算法 systemc语言
下载PDF
基于SystemC的GPU参数分配单元硬件TLM建模 被引量:1
4
作者 姜丽云 田泽 +1 位作者 吴晓成 张骏 《信息通信》 2020年第2期24-27,共4页
为了研究GPU参数分配单元处理OpenGL绘图命令和功能命令的顺序性机制,采用SystemC建模语言,基于硬件事务级建模(Transaction-Level Modeling,TLM)思想,详细描述了GPU参数分配单元模型的模块、接口、进程等建模过程,模型之间时钟和事件同... 为了研究GPU参数分配单元处理OpenGL绘图命令和功能命令的顺序性机制,采用SystemC建模语言,基于硬件事务级建模(Transaction-Level Modeling,TLM)思想,详细描述了GPU参数分配单元模型的模块、接口、进程等建模过程,模型之间时钟和事件同步,模块之间通过端口和层次化通道通讯,具有建模效率高和仿真速度快的优点.最后通过仿真结果验证了架构和算法的正确性,实现了在RTL设计之前尽可能早的对架构和算法进行探索和验证,为RTL设计提供参考依据,加速了GPU的软硬件协同设计. 展开更多
关键词 图形处理器 systemc语言 事务级建模 OPENGL
下载PDF
基于UML&SystemC的GPU片段处理TLM建模
5
作者 姜丽云 田泽 +1 位作者 吴晓成 张骏 《计算机技术与发展》 2020年第9期54-59,共6页
GPU片段处理单元位于图形处理器渲染管线的末尾,执行对将要存储到缓冲区的片段的测试、混合、屏蔽、逻辑等所有操作。为了在RTL设计之前快速研究GPU片段处理单元的硬件结构及功能算法,文中联合使用统一建模语言(unified modeling langua... GPU片段处理单元位于图形处理器渲染管线的末尾,执行对将要存储到缓冲区的片段的测试、混合、屏蔽、逻辑等所有操作。为了在RTL设计之前快速研究GPU片段处理单元的硬件结构及功能算法,文中联合使用统一建模语言(unified modeling language,UML)和SystemC语言对GPU片段处理单元进行事务级建模(transaction-level modeling,TLM)。首先设计了GPU片段处理单元的类图、结构图、行为图等视图,对系统进行静态结构和动态行为的描述;然后将UML可视化视图转换为基于SystemC的事务级模型,详细描述了GPU片段处理单元的模块、接口、端口、进程等建模过程,模块之间通过端口和层次化通道通讯,具有建模效率高和仿真速度快的优点;最后基于Linux操作系统仿真平台验证了架构和算法的正确性,实现了在设计的前期进行软硬件的协同仿真和算法的验证、优化,对硬件架构进行探索,有利于加速以图形处理器为核心的设计和开发。 展开更多
关键词 图形处理器 统一建模语言 systemc语言 片段 事务级建模
下载PDF
使用SystemC进行基于事务的验证 被引量:3
6
作者 牛振兴 杜旭 《计算机应用》 CSCD 北大核心 2006年第3期708-710,共3页
分析了使用SystemC的基于事务的验证方法。它应用于一个具体项目的开发,并与传统的验证方法作了对比,证明它在验证效率和验证环境设计效率上均有明显优势。
关键词 基于事务的验证方法 systemc语言 验证环境
下载PDF
基于SystemC描述的嵌入式系统的自动化验证 被引量:1
7
作者 陈燕 杜玄 彭澄廉 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2004年第8期1075-1079,共5页
基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式... 基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 . 展开更多
关键词 嵌入式系统 systemc设计语言 验证 面向方面编程 自动化
下载PDF
SystemC架起了桥梁 被引量:1
8
作者 唐进 《中国集成电路》 2005年第5期44-46,共3页
关键词 systemc语言 SOC设计 事务级建模 断言
下载PDF
基于SystemC的Cache一致性协议描述与验证
9
作者 张娅 《数字技术与应用》 2013年第5期151-152,211,共3页
FLSAH SCI协议作为Cache一致性协议的一种,具有灵活性、高效性和适应性强等特点,是目前最具发展潜力的Cache一致性协议之一。该协议在继承标准SCI协议低存储开销、维护精确共享信息等优点的同时对标准SCI协议进行优化,得到更为高效、灵... FLSAH SCI协议作为Cache一致性协议的一种,具有灵活性、高效性和适应性强等特点,是目前最具发展潜力的Cache一致性协议之一。该协议在继承标准SCI协议低存储开销、维护精确共享信息等优点的同时对标准SCI协议进行优化,得到更为高效、灵活的FLASH SCI协议。本文用SystemC高层次语言对FLASH SCI协议进行建模与描述,并验证其正确性。模拟结果证明了FLASH SCI协议的正确性以及其在存储开销和执行效率上的优越性。 展开更多
关键词 CACHE一致性协议 systemc高层次语言 模拟验证 形式化验证 FLASH SCI协议
下载PDF
CLB总线事务级建模及其仿真平台的设计 被引量:1
10
作者 兰光洋 魏继增 郭炜 《电子技术应用》 北大核心 2011年第11期134-136,共3页
提出了采用事务级建模的方法对国内具有自主知识产权的国芯CLB总线进行建模的方案,并利用多时钟技术来保证模型的周期精确。同时对所建模型进行了VCI接口协议的封装,便于其在不同平台上的移植。为了验证本设计的正确性,在电子系统级平... 提出了采用事务级建模的方法对国内具有自主知识产权的国芯CLB总线进行建模的方案,并利用多时钟技术来保证模型的周期精确。同时对所建模型进行了VCI接口协议的封装,便于其在不同平台上的移植。为了验证本设计的正确性,在电子系统级平台上实现了基于CLB的SoC。实验结果表明,本模型可以大大提高软、硬件协同开发验证的效率,增强IP模块的复用性。 展开更多
关键词 systemc语言 CLB总线 IP复用 事务级建模 VCI接口
下载PDF
主从式片上总线系统交易级的实现
11
作者 黄清泉 洪沙 吴垣甫 《计算机工程》 CAS CSCD 北大核心 2008年第22期236-238,共3页
在总线的主设备上增设了实时操作系统的任务优先级分配机制,基于蒙特卡罗选择实现总线仲裁器的仲裁策略,建立不同类型的从设备存储器模型。运用SystemC在交易级实现整个总线系统模型,并对该模型进行仿真。实验结果证实了仲裁算法的有效性。
关键词 片上总线 优先级 仲裁策略 systemc语言 交易级建模
下载PDF
ST、ARM和Cadence携手提升不同工具模型之间的互通性
12
《单片机与嵌入式系统应用》 2013年第10期87-87,共1页
意法半导体、ARM和Cadence Design Systems公司宣布,三方已向Accellera系统促进会(Accellera Systems Initiative)的SystemC语言工作组提交了三个新的技术方案。此次三方合作将进一步提高不同模型工具之间的互通性,满足电子系统级... 意法半导体、ARM和Cadence Design Systems公司宣布,三方已向Accellera系统促进会(Accellera Systems Initiative)的SystemC语言工作组提交了三个新的技术方案。此次三方合作将进一步提高不同模型工具之间的互通性,满足电子系统级层级(Electronic System—Level,ESL)设计的要求。 展开更多
关键词 CADENCE 互通性 ARM 模型 工具 SYSTEMS systemc语言 ST
下载PDF
SystemC的扩展及其在性能分析中的应用研究
13
作者 刘金伟 黄樟钦 +2 位作者 侯义斌 霍思佳 王晋嘉 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第6期1631-1637,共7页
在嵌入式系统的系统级建模和性能分析过程中,经常需要定量地分析和评估系统的平均延时、CPU占用率等性能指标.本文基于SystemC语言,针对嵌入式系统设计了一套性能分析评估的库函数,用于统计性能参数样本、计算期望值和置信区间,同时在... 在嵌入式系统的系统级建模和性能分析过程中,经常需要定量地分析和评估系统的平均延时、CPU占用率等性能指标.本文基于SystemC语言,针对嵌入式系统设计了一套性能分析评估的库函数,用于统计性能参数样本、计算期望值和置信区间,同时在性能指标满足要求的精度时终止仿真.并详细阐述了性能分析库函数的设计方法.以语音识别系统为例,设计了一个虚拟仿真平台,并使用该性能分析库函数进行性能分析,仿真结果表明,设计的库函数适用于嵌入式语音识别系统的性能分析,在一定程度上对SystemC的类库进行了扩展. 展开更多
关键词 systemc语言 性能分析 应用研究 PERFORMANCE analysis speech recognition system PERFORMANCE indicators PERFORMANCE evaluation 嵌入式语音识别系统 库函数 PERFORMANCE parameter 嵌入式系统设计 confidence interval 性能指标 language average delay 虚拟仿真平台 系统级建模 paper method of analyzing
原文传递
Gradual refinement for application-specific MPSoC design from Simulink model to RTL implementation 被引量:1
14
作者 Kai HUANG Xiao-lang YAN +6 位作者 Sang-il HAN Soo-ik CHAE Ahmed A. JERRAYA Katalin POPOVICI Xavier GUERIN Lisane BRISOLARA Luigi CARRO 《Journal of Zhejiang University-Science A(Applied Physics & Engineering)》 SCIE EI CAS CSCD 2009年第2期151-164,共14页
The application-specific multiprocessor system-on-chip(MPSoC) architecture is becoming an attractive solution to deal with increasingly complex embedded applications,which require both high performance and flexible pr... The application-specific multiprocessor system-on-chip(MPSoC) architecture is becoming an attractive solution to deal with increasingly complex embedded applications,which require both high performance and flexible programmability. As an effective method for MPSoC development,we present a gradual refinement flow starting from a high-level Simulink model to a synthesizable and executable hardware and software specification. The proposed methodology consists of five different abstract levels:Simulink combined algorithm and architecture model(CAAM),virtual architecture(VA),transactional accurate architecture(TA),virtual prototype(VP) and field-programmable gate array(FPGA) emulation. Experimental results of Motion-JPEG and H.264 show that the proposed gradual refinement flow can generate various MPSoC architectures from an original Simulink model,allowing processor,communication and tasks design space exploration. 展开更多
关键词 多核系统 微处理器 Simulink软件包 systemc语言
原文传递
证明嵌入式系统设计的UML-B规约
15
作者 J.P.默梅特 胡光华 《国外科技新书评介》 2006年第8期12-13,共2页
本书介绍了贯穿整个模块系统设计方法论的系统性质形式证法。该方法沦将子系统的共同验证与虚拟系统部件的系统精化和复用性相结合,通过规约的形式与非形式方法相结合,由UML和B语言来完成。这样就允许通过经证明的子系统的合成来验证... 本书介绍了贯穿整个模块系统设计方法论的系统性质形式证法。该方法沦将子系统的共同验证与虚拟系统部件的系统精化和复用性相结合,通过规约的形式与非形式方法相结合,由UML和B语言来完成。这样就允许通过经证明的子系统的合成来验证系统规约(对于接口则给予某些特别的注意,符合VSIA/SLIF方法)。将B语言与C、VHDL和SystemC语言相连。将通过构造校正设计的过程扩展到较低的单片系统开发阶段。因此证明嵌入式软件产品是与证明硬件产品相配套的。书中开发了用于从UML和B语言产生代码的原型工具,现有的B语言验证工具被拓展成支持IP的再使用,这部是根据VSIA的推荐。书中所涉及的方法论及工具是通过开发三个工业应用来验证的,即无线移动终端、建立在HIPERLAN/2协议基础上的电信单片系统、以及汽车的防碰撞组件。 展开更多
关键词 嵌入式系统设计 HIPERLAN/2协议 证明 规约 systemc语言 设计方法论 验证系统 系统开发
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部