293
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-article

      , , ,

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

      Designing Correct Circuits

      2 - 4 September 1996

      Bookmark

            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.

            Content

            Author and article information

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

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

            Ithaca, NY 14853, USA
            [0003]Department of Computing, Imperial College

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

            2111 NE 25th Avenue, Mail Stop JF1-81, Hillsboro, Oregon 97124-5961, USA
            Article
            10.14236/ewic/DCC1996.3
            8202ff36-1109-43f6-a8fb-e9876fd8da11
            © 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