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, (5): 454-458462.
Citation:
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, (5): 454-458462.
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, (5): 454-458462.
Citation:
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, (5): 454-458462.
A Formal Approach to Hardware Synthesis of Parallel Programs
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.
DownLoad: