Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

International Symposium of the CEC-Supported Working Group Provably Correct Systems

FTRTFT 1994, ProCoS 1994: Formal Techniques in Real-Time and Fault-Tolerant Systems pp 336–350Cite as

Simulation approach to provably correct hardware compilation

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 863))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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

Author information

Authors and Affiliations

  1. Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, England

    He Jifeng & Zheng Jianping

Authors
  1. He Jifeng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zheng Jianping
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hans Langmaack Willem-Paul de Roever Jan Vytopil

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jifeng, H., Jianping, Z. (1994). Simulation approach to provably correct hardware compilation. In: Langmaack, H., de Roever, WP., Vytopil, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT ProCoS 1994 1994. Lecture Notes in Computer Science, vol 863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58468-4_172

Download citation

  • DOI: https://doi.org/10.1007/3-540-58468-4_172

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58468-1

  • Online ISBN: 978-3-540-48984-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation