An algebraic approach to hardware/software partitioning

Shengchao Qin, Jifeng He

Research output: Chapter in Book/Report/Conference proceedingConference contribution

117 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationICECS 2000: 7th IEEE international conference on electronics, circuits & systems
Publication statusPublished - 2000
Event7th IEEE International Conference on Electronics, Circuits and Systems - Jourieh, Lebanon
Duration: 17 Dec 200020 Dec 2000
Conference number: 7


Conference7th IEEE International Conference on Electronics, Circuits and Systems

Bibliographical note

Author can archive publisher's version/PDF.

Fingerprint Dive into the research topics of 'An algebraic approach to hardware/software partitioning'. Together they form a unique fingerprint.

Cite this