这个项目处理Simulink模型到SpecC规范的转换
模型。Matlab是基于模型和算法设计的领先软件之一。规范
C(接近ANSI C)是一种高级语言，可以在硬件上使用
片上系统环境。兼有C等过程语言的特性，
c++和硬件描述语言，如VHDL和Verilog，甚至更多，SpecC可以
是一种可在硬件上实现的高级系统级设计语言。的
简化Matlab/Simulink模型到SpecC的翻译可以显示如何算法和模型
基于设计可以在硬件上实现。
选择Simulink®巡航控制模型和Matlab水标模型
在规格书中实施的目标。在汽车上，巡航控制使驾驶员能够避开
不规律的加速和减速，保持稳定的速度。该系统
以车辆速度和参考速度为输入，计算输出速度。
该Simulink模型的spec实现涉及到将Simulink块转换为
指定行为，反馈到while循环和块之间的通信到共享变量
在SpecC沟通。Matlab模型将展示如何翻译不同的函数
到SpecC，包括读写文本和音频文件。这些的执行
从顺序状态机到并行状态机和有限状态机，行为可能有所不同。因此这个项目处理的是
结合Matlab/Simulink和SpecC语言中的执行语义进行了研究
Matlab/Simulink模型到SpecC的翻译。