本发明涉及到一个同步数据流语言SIGNAL自动生成串行C代码的编译器，该编译器对用户输入的SIGNAL程序，能自动将其生成相应的串行C代码。该编译器使用函数式程序设计语言CAML来编写程序，因为CAML语言使用强类型系统，具有较高的安全性，并且可以使用对应的定理证明方法来验证编译器的正确性。此外，该编译器使用模块化结构，一旦改进或优化编译器，仅需验证对应的模型即可，而非重新对整个编译器进行验证。