| 并行程序的一种形式化硬件综合方法 |
| |
| 引用本文： | 刘冬梅,宋国新.并行程序的一种形式化硬件综合方法[J].华东理工大学学报(自然科学版),2001,27(5):454-458,462. |
| |
| 作者姓名： | 刘冬梅 宋国新 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系 |
| |
| 基金项目： | 教育部高等学校骨干教师资助计划，国家自然科学基金资助项目 ( 6 970 30 0 8)，国防科技重点实验室基金资助项目( 99JS94.10 .1.DZ42 0 1 |
| |
| 摘 要： | 基于并行语言的操作语义，提出一组将语言构造模块转化为硬件电路的规则。利用这些规则，系统地将程序转化为由寄存器、锁存器及数据路径组成的电路。硬件实现的正确性可以通过转化规则得以保证。
|
| 关 键 词： | 并行语言 操作语义 转化规则 硬件综合 并行程序 嵌入式系统 PL |
| 文章编号： | 1006-3080(2001)05-0454-05 |
A Formal Approach to Hardware Synthesis of Parallel Programs |
| |
| LIU Dong mei,SONG Guo xin.A Formal Approach to Hardware Synthesis of Parallel Programs[J].Journal of East China University of Science and Technology,2001,27(5):454-458,462. |
| |
| Authors: | LIU Dong mei SONG Guo xin |
| |
| Institution: | LIU Dong mei,SONG Guo xin * |
| |
| Abstract: | 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. |
| |
| Keywords: | parallel language operational semantics transformation rule hardware synthesis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
