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 |
|---|---|
| Pages | 309-316 |
| Number of pages | 8 |
| State | Published - 2001 |
| Externally published | Yes |
| Event | 8th Asia Pacific Software Engineering Conference APSEC'2001 - Macao, China Duration: 4 Dec 2001 → 7 Dec 2001 |
Conference
| Conference | 8th Asia Pacific Software Engineering Conference APSEC'2001 |
|---|---|
| Country/Territory | China |
| City | Macao |
| Period | 4/12/01 → 7/12/01 |