An algebraic hardware/software partitioning algorithm

Silva L, Sampaio A, Barros E. A normal form reduction strategy for hardware/software partitioning.Formal Methods Europe (FME) 97, Lecture Notes in Computer Science 1313, 1997, pp.624–643.

He Jifenget al. Provably correct systems.Lecture Notes in Computer Science 863, 1994, pp.288–335.

He Jifeng, Bowen J P. Specification, verification and prototyping of an optimised compiler.Formal Aspect of Computing, 1994, 6: 643–658.

Sampaio A. An Algebraic Approach to Compiler Design.World Scientific, 1997.

Page I, Luk W. Compiling Occam into FPGAs, InFPGAs, Will Moore, Wayne Luk (eds.), Abingdon EE&CS Books, pp.271–283, 1991.

He Jifeng, Page I, Bowen J. A provable hardware implementation of Occam.Lecture Notes in Computer Science 711, 1993, pp.693–703.

Balboni Aet al. Partitioning and exploration strategies in the TOSCA design flow. InProceedings of Fourth International Workshop on Hw/sw Co-design, IEEE Computer Society Press, 1996, pp.62–69.

Cheung T. A multi-level transformation approach to hardware/software co-design. InProceedings of Prruth International Workshop on Hw/sw Co-design, 1996, pp.10–17.

Nielson F, Nielson H R, Hankin C. Principles of Program Analysis, Springer-Verlag, 1999.

Roscoe A W, Hoare C A R. Laws of Occam programming.Theoretical Computer Science, 1988, 60: 177–229.

He Jifeng, Provably Correct Systems: Modelling of Communication Languages and Design of Optimised Compilers, McGraw-Hill Publisher, 1994.

Hoare C A R. Communicating Sequential Processes, Prentice Hall, 1985.

Hoare C A Ret al. Laws of programming.Communications of the ACM, 1987, 30(8): 672–686.

Hoare C A R, He Jifeng, Unifying Theories of Programming, Prentice Hall, 1998.

Qin Shengchao, He Jifeng. An algebraic approach to hardware/software partitioning. InProceedings of the 7th IEEE ICECS'2K, Lebanon, December, 2000, pp.273–276.

Qin Shengchao, He Jifeng. An algebraic approach to hardware/software partitioning. UNU/IIST Research Report 206, Macau, June, 2000.

Mathematics of Program Construction Group. Fixed-point calculus.Information Processing Letters, 1995, 53: 131–136.

He Jifeng. Converting programs into delay insensitive circuits. Technical Report, Programming Research Group. Oxford University Computing Laboratory, 1994.