系统化嵌入式软件生成:从SystemC到RTOS的无缝转换
1. 引言
嵌入式软件设计的成本在嵌入式系统开发中占据了重要比例,尤其在当今复杂系统级芯片(SoC)设计中。为了降低设计成本并提高效率,系统化嵌入式软件生成方法逐渐成为研究热点。本文将探讨如何从SystemC系统级描述系统化生成嵌入式软件,重点介绍其规范方法论、软件生成方法、通信通道实现以及实验结果。
2. 规范方法论
我们的设计方法论遵循国际半导体技术路线图(ITRS)预测,朝着在设计过程中集成系统级别规范的方向发展。SystemC作为一种高级语言,支持系统级规范所需的基本特性,如并发性和反应性。以下是规范方法论的关键要素:
- 系统元素 :包括进程、接口、通道、模块和端口。系统由一组异步、反应式的进程组成,这些进程并发执行系统功能。
- 通信机制 :进程通过通道相互通信,通道是通信接口行为的实现。行为决定了当访问方法执行时的同步和数据传输程序。
- 层次结构支持 :进程可以在模块内进行分组,模块间通信也包括了端口对象。因此,通信不同模块实例之间的进程通过端口进行。
2.1 系统规范的主要元素
元素 | 描述 |
---|---|
进程 | 异步、反应式的执行单元,负责系统功能 |