Synchronous digital circuits as functional programs
The work
| Authors | Peter Gammie |
|---|---|
| Editors | |
| Type | article |
| Year | 2013 |
| Citekey | gammie2013synchronous |
Where it appeared
| Published in | ACM Computing Surveys |
|---|---|
| Publisher | Association for Computing Machinery (ACM) |
| Volume | 46 |
| Issue | 2 |
| Pages | 1--27 |
Identifiers
| DOI | 10.1145/2543581.2543588 |
|---|---|
| ISSN | 0360-0300 |
Access
| Landing page | https://doi.org/10.1145/2543581.2543588 |
|---|
Related
| Distinct from | choi2017kami |
|---|---|
| Distinct from | fugger2016unfaithful |
| Distinct from | gordon1985hol |
| Distinct from | gordon1985why |
| Distinct from | guzmanmiranda2025fvm |
| Distinct from | hunt1994fm8501 |
| Distinct from | joyce1986proving |
| Distinct from | joyce1987hardware |
| Distinct from | kumar1996formal |
| Distinct from | winskel1987models |
| Distinct from | winskel1988compositional |
From crossref.
Abstract
Functional programming techniques have been used to describe synchronous digital circuits since the early 1980s. Here we survey the systems and formal underpinnings that constitute this tradition. We situate these techniques with respect to other formal methods for hardware design and discuss the work yet to be done.
A copy is held
pdf, 721.2 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-09-15 21:41 UTC |
| Approved by | a person 2026-09-16 09:29 UTC |
Filed under
Cite it as
@article{gammie2013synchronous,
title = {Synchronous digital circuits as functional programs},
author = {Peter Gammie},
year = {2013},
journal = {ACM Computing Surveys},
publisher = {Association for Computing Machinery (ACM)},
volume = {46},
number = {2},
pages = {1--27},
issn = {0360-0300},
doi = {10.1145/2543581.2543588},
}
This record lives at https://refs.drheap.org/gammie2013synchronous/ and will keep doing so.