Partitioning program into hardware and software

Shengchao Qin, Jifeng He

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

113 Downloads (Pure)

Abstract

Hardware and software co-design is a design technique which delivers computer systems comprising hardware and software components. A critical phase of code sign 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 publicationProceedings of the Asia-Pacific software engineering conference and international computer science conference
PublisherIEEE
Pages309-316
DOIs
Publication statusPublished - 2001
Event8th Asia-Pacific Software Engineering Conference - Macao, China
Duration: 4 Dec 20017 Dec 2001

Conference

Conference8th Asia-Pacific Software Engineering Conference
Abbreviated titleAPSEC'01
CountryChina
CityMacao
Period4/12/017/12/01

Bibliographical note

Author can archive publisher's version/PDF.

Fingerprint Dive into the research topics of 'Partitioning program into hardware and software'. Together they form a unique fingerprint.

  • Cite this

    Qin, S., & He, J. (2001). Partitioning program into hardware and software. In Proceedings of the Asia-Pacific software engineering conference and international computer science conference (pp. 309-316). IEEE. https://doi.org/10.1109/APSEC.2001.991494