We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.

Durham Research Online
You are in:

An algebraic approach to hardware/software partitioning.

Qin, S. and He, J. (2000) 'An algebraic approach to hardware/software partitioning.', in 7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000 : 17-20 December 2000, Jounieh, Lebanon ; proceedings. Piscataway, New Jersey: IEEE, pp. 273-276.


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.

Item Type:Book chapter
Full text:(VoR) Version of Record
Download PDF
Publisher Web site:
Publisher 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.
Record Created:10 Dec 2009 11:35
Last Modified:08 Nov 2010 12:09

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Look up in GoogleScholar | Find in a UK Library