Deriving two-phase modules for a multi-target hardware compiler

Authors:
Jifeng He;Geoffrey Brown;Wayne Luk;John O'Leary
Affiliations:
Oxford University Computing Laboratory, Oxford, UK;School of Electrical Engineering, Cornell University, Ithaca, NY;Department of Computing, Imperial College, London, UK;Microprocessor Products Group, Intel Corporation, Hillsboro, Oregon
Venue:
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Year:
1996

Citing 7
Cited 1

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
Communicating sequential processes

Communicating sequential processes
The laws of Occam programming

Theoretical Computer Science
Programming in VLSI: from communicating processes to delay-insensitive circuits

Developments in concurrency and communication
Correct compilation of specifications to deterministic asynchronous circuits

Formal Methods in System Design
A model and proof technique for verifying hardware compilers for communicating processes

A model and proof technique for verifying hardware compilers for communicating processes
Towards a Provably Correct Hardware Implementation of Occam

CHARME '93 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods

Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques

CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods

Quantified Score

Hi-index	0.00

Visualization

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.