Tomorrow's Digital Hardware will be Asynchronous and Verified
The work
| Authors | Alain J. Martin |
|---|---|
| Editors | |
| Type | techreport |
| Year | 1993 first published 1992 |
| Citekey | martin1993tomorrows |
Where it appeared
| Publisher | California Institute of Technology |
|---|---|
| Pages | 684--695 |
Identifiers
| DOI | 10.7907/z9125qpr |
|---|---|
| OpenAlex | W1680642992 |
| report_number | Caltech-CS-TR-93-26 |
Access
| Landing page | https://authors.library.caltech.edu/records/5qr64-pv618 |
|---|---|
| Free full text | https://authors.library.caltech.edu/records/5qr64-pv618/files/93-26.pdf |
Related
| Distinct from | alsayeg2010synthese |
|---|---|
| Distinct from | kumar2023pragmatic |
| Distinct from | manohar1995quasidelayinsensitive |
| Distinct from | martin1986compiling |
| Distinct from | martin1990limitations |
| Distinct from | porcher2012synthese |
| Distinct from | sayle1996automated |
| Distinct from | taylor1998micropipeline |
| Distinct from | urrahman2019advanced |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
Encouraged by the results of almost a decade of research and experimentation, we claim that tomorrow's design methods for digital VLSI will be based on a concurrent programming approach to high-level synthesis, asynchronous techniques, and correctness-preserving program transformations.
A copy is held
pdf, 420.3 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-09-16 11:26 UTC |
| Approved by | a person 2026-09-16 13:02 UTC |
Cite it as
@techreport{martin1993tomorrows,
title = {Tomorrow's Digital Hardware will be Asynchronous and Verified},
author = {Alain J. Martin},
year = {1993},
note = {first published 1992},
publisher = {California Institute of Technology},
pages = {684--695},
doi = {10.7907/z9125qpr},
}
This record lives at https://refs.drheap.org/martin1993tomorrows/ and will keep doing so.