Simulation approach to provably correct hardware compilation

1. G.M. Brown. ”Towards truly delay-sensitive circuit realisation of precess algebra.” In: G. Jones and M. Sheeran, (eds) ”Designing Correct Circuit.” Springer-Verlag, 120–131, 1991

   Google Scholar 

2. E.W. Dijkstra. ”A Discipline of Programming.” Prentice Hall, 1976.

   Google Scholar 

3. M. Gordon. ”Proving a computer correct.” Technical Report 42, University of Cambridge Computing Laboratory, 1983.

   Google Scholar 

4. He Jifeng, Ian Page and Jonathan Bowen. ”Towards a Provably Correct Hardware Implementation of Occam.” In Proc. of IFIP WG10.2 Advanced Research Working Conference, CHARME'93, LNCS 683, pp. 214–226, 1993.

   Google Scholar 

5. C.A.R. Hoare. ”Communicating Sequential Processes.” Prentice Hall International Series in Computer Science, 1985.

   Google Scholar 

6. M. Homewood, D. May, D. Shepherd and R. Shepherd. ”The IMS T800 Transputer.” IEEE Micro 7, 5. 1987.

   Google Scholar 

7. Inmos Limited. ”Occam 2 Reference Manual.” Prentice Hall International Series in Computer Science, 1988.

   Google Scholar 

8. C.B. Jones. ”Systematic Software Development using VDM.” Prentice Hall International Series in Computer Science, 1986.

   Google Scholar 

9. D. May. ”Occam and the Transputer.” In: C.A.R. Hoare (ed.), ”Developments in Concurrency and Communication.” Addison-Wesley, University of Texas at Austin Year of Programming Series, chapter 2, 1990.

   Google Scholar 

10. A.J. Martin. ”The design of a self-timed circuit for distributed mutual exclusion.” In: H. Fuchs (ed), ”Proc 1985 Chapel Hill Conference VLSI.” 247–260, 1985.

    Google Scholar 

11. A.J. Martin. ”Compiling communicating processes into delay-insensitive circuits.” Distributed Computing, 1: 226–234, 1986.

    Google Scholar 

12. I. Page and W. Luk. ”Compiling Occam into Field-programmable Gate Arrays.” In: W. Moore and W. Luk (eds.), ”FPGAs, Oxford Workshop on Field Programmable Logic and Applications.” 1991.

    Google Scholar 

13. I. Page, W. Luk and H. Lau, ”Hardware compilation for FPGAs:imperative and declarative approaches for a robotics interface.” In “Proc. IEE Colloquium on field programmable gate arrays — technology and applications”, Ref. 1993/037, pp. 9.1–9.4, IEE, February 1993.

    Google Scholar 

14. M. Rem. ”Concurrent computations and VLSI Circuits.” In: M. Broy (ed) ”Control flow and data flow: concepts in distributed programs.” 399–437, 1985.

    Google Scholar 

15. Xilinx, Inc. ”The Programmable Gate Array Data Book.” San Jose, California, USA, 1991.

    Google Scholar 

Download references