An Algebraic Approach to Hardware/software Partitioning

Qin, S.; He, J.

doi:10.1109/icecs.2000.911535

An Algebraic Approach to Hardware/software Partitioning

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 co-design 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 the information for moving operations from software to hardware and reducing the interaction between components, and the latter supports a compositional approach to the program partitioning.

Citation

Qin, S., & He, J. (2000). An Algebraic Approach to Hardware/software Partitioning. In ICECS 2000 : the 7th IEEE International Conference on Electronics, Circuits & Systems : December 17-20, 2000, Jounieh, Lebanon (273-276). https://doi.org/10.1109/icecs.2000.911535

Conference Name	7th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2000)
Conference Location	Jounieh, Lebanon
Start Date	Dec 17, 2000
End Date	Dec 20, 2000
Publication Date	Jan 1, 2000
Deposit Date	Dec 10, 2009
Publicly Available Date	Nov 8, 2010
Publisher	Institute of Electrical and Electronics Engineers
Volume	1
Pages	273-276
Book Title	ICECS 2000 : the 7th IEEE International Conference on Electronics, Circuits & Systems : December 17-20, 2000, Jounieh, Lebanon.
DOI	https://doi.org/10.1109/icecs.2000.911535

Files

Published Conference Proceeding (356 Kb)
PDF

Copyright Statement
© 2000 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.