An algebraic approach to hardware/software partitioning

Shengchao Qin; Jifeng He

doi:10.1109/ICECS.2000.911535

An algebraic approach to hardware/software partitioning

Shengchao Qin, Jifeng He

SCEDT School Executive Team

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

187 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 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 language	English
Title of host publication	ICECS 2000: 7th IEEE international conference on electronics, circuits & systems
Publisher	IEEE
Pages	273-276
Volume	1
DOIs	https://doi.org/10.1109/ICECS.2000.911535
Publication status	Published - 2000
Event	7th IEEE International Conference on Electronics, Circuits and Systems - Jourieh, Lebanon Duration: 17 Dec 2000 → 20 Dec 2000 Conference number: 7

Conference

Conference	7th IEEE International Conference on Electronics, Circuits and Systems
Country/Territory	Lebanon
City	Jourieh
Period	17/12/00 → 20/12/00

Bibliographical note

Author can archive publisher's version/PDF.

Access to Document

10.1109/ICECS.2000.911535

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

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

Cite this

@inproceedings{030660ea0d294f59940dd1f85abc7003,

title = "An algebraic approach to hardware/software partitioning",

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

author = "Shengchao Qin and Jifeng He",

note = "Author can archive publisher's version/PDF.; 7th IEEE International Conference on Electronics, Circuits and Systems ; Conference date: 17-12-2000 Through 20-12-2000",

year = "2000",

doi = "10.1109/ICECS.2000.911535",

language = "English",

volume = "1",

pages = "273--276",

booktitle = "ICECS 2000: 7th IEEE international conference on electronics, circuits & systems",

publisher = "IEEE",

}

TY - GEN

T1 - An algebraic approach to hardware/software partitioning

AU - Qin, Shengchao

AU - He, Jifeng

N1 - Conference code: 7

PY - 2000

Y1 - 2000

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

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

U2 - 10.1109/ICECS.2000.911535

DO - 10.1109/ICECS.2000.911535

M3 - Conference contribution

VL - 1

SP - 273

EP - 276

BT - ICECS 2000: 7th IEEE international conference on electronics, circuits & systems

PB - IEEE

T2 - 7th IEEE International Conference on Electronics, Circuits and Systems

Y2 - 17 December 2000 through 20 December 2000

ER -

An algebraic approach to hardware/software partitioning

Abstract

Conference

Bibliographical note

Access to Document

Fingerprint

Cite this