An algebraic hardware/software partitioning algorithm

Authors:
Qin Shengchao;He Jifeng;Qiu Zongyan;Zhang Naixiao
Affiliations:
Department of Informatics, School of Mathematical Sciences, Peking University Beijing 100871, P.R. China;UNU/IIST, The International Institute for Software Technology The United Nations University, Macau, P.R. China;Department of Informatics, School of Mathematical Sciences, Peking University Beijing 100871, P.R. China;Department of Informatics, School of Mathematical Sciences, Peking University Beijing 100871, P.R. China
Venue:
Journal of Computer Science and Technology
Year:
2002

Citing 10
Cited 1

Communicating sequential processes

Communicating sequential processes
Laws of programming

Communications of the ACM
The laws of Occam programming

Theoretical Computer Science
Fixed-point calculus

Information Processing Letters - Special issue on the calculational method
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers

Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers
Principles of Program Analysis

Principles of Program Analysis
Provably Correct Systems

ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Normal Form Reduction Strategy for Hardware/Software Partitioning

FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Partitioning and Exploration Strategies in the TOSCA Co-Design Flow

CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
A Multi-Level Transformation Approach to HW/SW Codesign: A Case Study

CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design

Towards a modeling language for cyber-physical systems

Theories of Programming and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Hardware and software co-design is a design technique which delivers computer systems comprising hardware and software components. A critical phase of the co-design process is to decompose a program into hardware and software. This paper proposes an algebraic partitioning algorithm whose correctness is verified in program algebra. The authors introduce a program analysis phase before program partitioning and develop a collection of syntax-based splitting rules. 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 program partitioning.