Name
Abstract | ||
|---|---|---|
This paper reviews the results of almost a decade of research in the synthesis of asynchronous VLSI circuits from concurrent programs. In view of these results, it is argued that a method based on program transformations can produce circuits that are both correct by construction and efficient. The design of the first asynchronous microprocessor is used as an example. |
Year | DOI | Venue |
|---|---|---|
1992 | 10.1007/3-540-55599-4_108 | PARLE |
Keywords | Field | DocType |
vlsi chips,concurrent programs,chip | Clock signal,Asynchronous communication,Program transformation,Computer science,Microprocessor,Computer hardware,Electronic circuit,Very-large-scale integration | Conference |
Volume | ISSN | ISBN |
605 | 0302-9743 | 3-540-55599-4 |
Citations | PageRank | References |
1 | 0.41 | 5 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alain J. Martin | 1 | 1095 | 336.96 |