An Algebraic Hardware/Software Partitioning Algorithm

Qin, S.; He, J.; Qiu, Z.; Zhang, N.

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.

Citation

Qin, S., He, J., Qiu, Z., & Zhang, N. (2002). An Algebraic Hardware/Software Partitioning Algorithm. Journal of Computer Science and Technology, 17(3), 284-294

• Journal Article Type: Article
• Publication Date: May 15, 2002
• Deposit Date: Nov 16, 2009
• Journal: Journal of Computer Science and Technology
• Print ISSN: 1000-9000
• Electronic ISSN: 1860-4749
• Publisher: Springer
• Peer Reviewed: Peer Reviewed
• Volume: 17
• Issue: 3
• Pages: 284-294
• Keywords: Hardware/software co-design, Hardware/software partition, Program algebra, Network management, Intelligent network management, Artificial intelligence, Expert system, Intelligent agent.
• Public URL: https://durham-repository.worktribe.com/output/1597686
• Publisher URL: http://jcst.ict.ac.cn:8080/jcst/EN/volumn/volumn_15.shtml