Blog
About

138
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Deriving Two-Phase Modules for a Multi-Target Hardware Compiler

      , , ,

      Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96) (DCC)

      Designing Correct Circuits

      2 - 4 September 1996

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          This paper adopts the CSP framework for deriving a compilation scheme from a simple imperative language to two-phase modules. Two-phase modules are processes that communicate with one another using two-phase handshake protocols. The two-phase modules generated by our compilation scheme can be implemented as asynchronous or clocked circuits. The derivation techniques have been applied to a concurrent language which is a superset of the language discussed.

          Related collections

          Most cited references 2

          • Record: found
          • Abstract: not found
          • Article: not found

          The laws of OCCAM programming

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Correct compilation of specifications to deterministic asynchronous circuits

              Bookmark

              Author and article information

              Conference
              September 1996
              September 1996
              : 1-13
              Affiliations
              Oxford University Computing Laboratory

              Wolfson Building, Parks Road, Oxford OX1 3QD, UK
              School of Electrical Engineering, Cornell University

              Ithaca, NY 14853, USA
              Department of Computing, Imperial College

              180 Queen’s Gate, London SW7 2BZ, UK
              Microprocessor Products Group, Intel Corporation

              2111 NE 25th Avenue, Mail Stop JF1-81, Hillsboro, Oregon 97124-5961, USA
              Article
              10.14236/ewic/DCC1996.3
              © Jifeng He et al. Published by BCS Learning and Development Ltd. Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96), Båstad, Sweden

              This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

              Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96)
              DCC
              3
              Båstad, Sweden
              2 - 4 September 1996
              Electronic Workshops in Computing (eWiC)
              Designing Correct Circuits
              Product
              Product Information: 1477-9358BCS Learning & Development
              Self URI (journal page): https://ewic.bcs.org/
              Categories
              Electronic Workshops in Computing

              Comments

              Comment on this article