An algebraic approach to hardware/software partitioning

Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems

Volumn 1, Issue , 2000, Pages 273-276

  Shengchao, Qin ^a,b   Jifeng, He ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

^b PEKING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC APPROACHES; CO-DESIGNS; DESIGN TECHNIQUE; HARDWARE AND SOFTWARE; HARDWARE AND SOFTWARE COMPONENTS; HARDWARE/SOFTWARE PARTITIONING; PARTITIONING METHODS; PROGRAM ANALYSIS; PROGRAM PARTITIONING;

ALGEBRA; DESIGN;

COMPUTER HARDWARE;

EID: 77956019358     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICECS.2000.911535     Document Type: Conference Paper

References (17)

1. A. Balboni et al, "Partitioning and Exploration Strategies in the TOSCA Design Flow", In Proceedings of Fourth International Workshop on Hardware/Software Codesign, 62-69, IEEE Computer Society Press, (1996).
2. T. Cheung, "A Multi-level Transformation Approach to Hardware/Software Co-design", In Proceedings of Fourth International Workshop on Hardware/Software Codesign, 10-17, (1996).
3. He Jifeng, Provably Correct Systems: Modelling of Communication Languages and Design of Optimised Compilers, McGraw-Hill Publisher, 1994.
4. He Jifeng, I. Page and J. Bowen, "A Provable Hardware Implementation of Occam", Lecture Notes in Computer Science 711, 693-703, (1993).
5. He Jifeng and J. Bowen, "Specification, Verification and Prototyping of an Optimised Compiler", Formal Aspect of Computing 6, 643-658, (1994).
6. He Jifeng et al, "Provably Correct Systems", Lecture Notes in Computer Science 863, 288-335, (1994).
7. C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.
8. C.A.R. Hoare and He Jifeng, Unifying Theories of Programming, Prentice Hall, 1998.
9. C.A.R. Hoare et al, "Laws of Programming", Communications of the ACM, Vol 30(8): 672-686, 1987.
10. Mathematics of Program Construction Group, "Fixed-point Calculus", Information Processing Letters, 53(1995) 131-136.
11. Flemming Nielson, Hanne Riis Nielson and Chris Hankin, Principles of Program Analysis, Springer- Verlag, 1999.
12. Ian Page and Wayne Luk, "Compiling Occam into FPGAs", in FPGAs, eds., Will Moore and Wayne Luk, 271-283, Abingdon EE&CS books, 1991.
13. Qin Shengchao and He Jifeng, "An Algebraic Approach to Hardware/software Partitioning", Technical Report 206, UNU/IIST, June, 2000.
14. Qin Shengchao and He Jifeng, "Partitioning Program into Hardware and Software", draft paper, UNU/IIST, August, 2000.
15. A.W. Roscoe and C.A.R. Hoare, "Laws of Occam Programming", Theoretical Computer Science, Vol 60: 177-229, 1988.
16. Augusto Sampaio, "An Algebraic Approach to Compiler Design", World Scientific, (1997).
17. L. Silva, A. Sampaio and E. Barros, "A Normal Form Reduction Strategy for Hardware/software Partitioning", Formal Methods Europe (FME) 97, LNCS, 1313, 624-643, (1997).