Geometry of Synthesis II: From Games to Delay-Insensitive Circuits

Authors:
Dan R. Ghica;Alex Smith
Affiliations:
University of Birmingham, U.K.;University of Birmingham, U.K.
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 13
Cited 3

Micropipelines

Communications of the ACM
Syntactic control of interference revisited

Theoretical Computer Science - Special issue on mathematical foundations of programming semantics
On full abstraction for PCF: I, II, and III

Information and Computation
Full abstraction for PCF

Information and Computation
Syntactic control of interference

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Retracting Some Paths in Process Algebra

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
A Fully Abstract Relational Model of Syntactic Control of Interference

CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
The regular-language semantics of second-order idealized ALGOL

Theoretical Computer Science
Syntactic control of concurrency

Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Geometry of synthesis: a structured approach to VLSI design

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dual-rail transition logic: A logic style for counteracting power analysis attacks

Computers and Electrical Engineering
Applications of Game Semantics: From Program Analysis to Hardware Synthesis

LICS '09 Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science
Automatic synthesis of extended burst-mode circuits. I. (Specification and hazard-free implementations)

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Geometry of synthesis III: resource management through type inference

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Geometry of synthesis iv: compiling affine recursion into static hardware

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
The geometry of synthesis: how to make hardware out of software (abstract)

MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [Ghica, D.R., Geometry of Synthesis: a structured approach to VLSI design, in: POPL, 2007, pp. 363-375.]. We introduce concurrency, an essential feature in the context of hardware compilation and we re-use an existing game model to simplify correctness proofs. The target designs we compile to are asynchronous event-logic circuits, which naturally match the asynchronous game model of the language.