Partitioning program into hardware and software

Shengchao  Qin; Jifeng  He

doi:10.1109/APSEC.2001.991494

Partitioning program into hardware and software

Shengchao Qin, Jifeng He

SCEDT School Executive Team

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

202 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 language	English
Title of host publication	Proceedings of the Asia-Pacific software engineering conference and international computer science conference
Publisher	IEEE
Pages	309-316
DOIs	https://doi.org/10.1109/APSEC.2001.991494
Publication status	Published - 2001
Event	8th Asia-Pacific Software Engineering Conference - Macao, China Duration: 4 Dec 2001 → 7 Dec 2001

Conference

Conference	8th Asia-Pacific Software Engineering Conference
Abbreviated title	APSEC'01
Country/Territory	China
City	Macao
Period	4/12/01 → 7/12/01

Bibliographical note

Author can archive publisher's version/PDF.

Access to Document

10.1109/APSEC.2001.991494

Full textFinal published version, 270 KBLicence: CC BY-NC-ND

http://ieeexplore.ieee.org/document/991494/

Cite this

@inproceedings{961b6e6232444bd6b02ed64d7865a44a,

title = "Partitioning program into hardware and software",

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.",

author = "Shengchao Qin and Jifeng He",

note = "Author can archive publisher's version/PDF.; 8th Asia-Pacific Software Engineering Conference , APSEC'01 ; Conference date: 04-12-2001 Through 07-12-2001",

year = "2001",

doi = "10.1109/APSEC.2001.991494",

language = "English",

pages = "309--316",

booktitle = "Proceedings of the Asia-Pacific software engineering conference and international computer science conference",

publisher = "IEEE",

}

TY - GEN

T1 - Partitioning program into hardware and software

AU - Qin, Shengchao

AU - He, Jifeng

N1 - Author can archive publisher's version/PDF.

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

U2 - 10.1109/APSEC.2001.991494

DO - 10.1109/APSEC.2001.991494

M3 - Conference contribution

SP - 309

EP - 316

BT - Proceedings of the Asia-Pacific software engineering conference and international computer science conference

PB - IEEE

T2 - 8th Asia-Pacific Software Engineering Conference

Y2 - 4 December 2001 through 7 December 2001

ER -

Partitioning program into hardware and software

Abstract

Conference

Bibliographical note

Access to Document

Fingerprint

Cite this