Advertisement

Keywords

Clock Cycle Output Port Description Language Closed Circuit Program Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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, 1991Google Scholar
  2. 2.
    E.W. Dijkstra. ”A Discipline of Programming.” Prentice Hall, 1976.Google Scholar
  3. 3.
    M. Gordon. ”Proving a computer correct.” Technical Report 42, University of Cambridge Computing Laboratory, 1983.Google Scholar
  4. 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. 5.
    C.A.R. Hoare. ”Communicating Sequential Processes.” Prentice Hall International Series in Computer Science, 1985.Google Scholar
  6. 6.
    M. Homewood, D. May, D. Shepherd and R. Shepherd. ”The IMS T800 Transputer.” IEEE Micro 7, 5. 1987.Google Scholar
  7. 7.
    Inmos Limited. ”Occam 2 Reference Manual.” Prentice Hall International Series in Computer Science, 1988.Google Scholar
  8. 8.
    C.B. Jones. ”Systematic Software Development using VDM.” Prentice Hall International Series in Computer Science, 1986.Google Scholar
  9. 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. 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. 11.
    A.J. Martin. ”Compiling communicating processes into delay-insensitive circuits.” Distributed Computing, 1: 226–234, 1986.Google Scholar
  12. 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. 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. 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. 15.
    Xilinx, Inc. ”The Programmable Gate Array Data Book.” San Jose, California, USA, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • He Jifeng
    • 1
  • Zheng Jianping
    • 1
  1. 1.Oxford University Computing LaboratoryOxfordEngland

Personalised recommendations