Partitioning Program into Hardware and Software

Qin, S.; He, J.

doi:10.1109/apsec.2001.991494

Partitioning Program into Hardware and Software

Qin, S.; He, J.

Authors

S. Qin

J. He

Abstract

Hardware and software co-design is a design technique which delivers computer systems comprising hardware and software components. A critical phase of the codesign process is to decompose a program into hardware and software.. This paper proposes an algebraic partitioning method whose correctness is verified in the algebra of programs. We introduce the program analysis phase before program partitioning and develop a collection of syntax-based splitting rules, where the former provides information for moving operations from software to hardware and reducing the interaction between components, and the latter supports a compositional approach to program partitioning.

Citation

Qin, S., & He, J. (2001). Partitioning Program into Hardware and Software. In 8th Asia-Pacific Software Engineering Conference, APSEC 2001, 4-7 December 2001, Macao, China ; proceedings (309-316). https://doi.org/10.1109/apsec.2001.991494

Conference Name	Eighth Asia-Pacific Software Engineering Conference (APSEC 2001)
Conference Location	Macao
Start Date	Dec 4, 2001
End Date	Dec 7, 2001
Publication Date	Jan 1, 2001
Deposit Date	Nov 23, 2009
Publicly Available Date	Nov 8, 2010
Publisher	Institute of Electrical and Electronics Engineers
Pages	309-316
Book Title	8th Asia-Pacific Software Engineering Conference, APSEC 2001, 4-7 December 2001, Macao, China ; proceedings.
DOI	https://doi.org/10.1109/apsec.2001.991494
Publisher URL	http://ieeexplore.ieee.org/servlet/opac?punumber=7784

Files

Published Conference Proceeding (629 Kb)
PDF

Copyright Statement
© 2001 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.