TY - GEN
T1 - An algebraic approach to hardware/software partitioning
AU - Shengchao, Qin
AU - Jifeng, He
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.
UR - https://www.scopus.com/pages/publications/77956019358
U2 - 10.1109/ICECS.2000.911535
DO - 10.1109/ICECS.2000.911535
M3 - 会议稿件
AN - SCOPUS:77956019358
SN - 0780365429
SN - 9780780365421
T3 - Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
SP - 273
EP - 276
BT - ICECS 2000 - 7th IEEE International Conference on Electronics, Circuits and Systems
T2 - 7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000
Y2 - 17 December 2000 through 20 December 2000
ER -