文献类型：期刊文献

中文题名：并行程序的一种形式化硬件综合方法

英文题名：A Formal Approach to Hardware Synthesis of Parallel Programs

作者：刘冬梅[1];宋国新[1]

机构：[1]华东理工大学计算机科学与工程系,上海200237

年份：2001

卷号：27

期号：5

起止页码：454

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;国家哲学社会科学学术期刊数据库;Scopus;北大核心:【北大核心2000】；CSCD:【CSCD2011_2012】；

基金：教育部高等学校骨干教师资助计划 ;国家自然科学基金资助项目 ( 6 970 30 0 8) ;国防科技重点实验室基金资助项目( 99JS94.10 .1.DZ42 0 1

语种：中文

中文关键词：并行语言;操作语义;转化规则;硬件综合;并行程序;嵌入式系统;PL

外文关键词：parallel language; operational semantics; transformation rule; hardware synthesis;

摘要：基于并行语言的操作语义 ,提出一组将语言构造模块转化为硬件电路的规则。利用这些规则 ,系统地将程序转化为由寄存器、锁存器及数据路径组成的电路。
This paper studies hardware synthesis from parallel programs. Based on operational semantics of a parallel language, a set of transformation rules for various language constructs is established. By these rules, programs are systematically transformed to hardware circuits composed of registers, latches, and data paths. The correctness of the hardware implementation is ensured by these rules.