Automatic synthesis of asynchronous circuits from high-level specifications
The work
| Authors | Teresa H. -Y. Meng; R.W. Brodersen; David G. Messerschmitt |
|---|---|
| Editors | |
| Type | article |
| Year | 1989 |
| Citekey | meng1989automatic |
Where it appeared
| Published in | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers |
| Volume | 8 |
| Issue | 11 |
| Pages | 1185--1205 |
Identifiers
| DOI | 10.1109/43.41504 |
|---|---|
| OpenAlex | W2140792504 |
Access
| Landing page | https://doi.org/10.1109/43.41504 |
|---|
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
The authors construct a processor design approach that does not require the distribution of a clocking signal. To facilitate design of processors that use fully asynchronous components, the first step is to design hazard-free asynchronous interconnection circuits. To this end, a deterministic algorithm was developed to synthesize asynchronous interconnection circuits from high-level specifications. This approach systematically designs correct asynchronous interconnection circuits with the weakest possible constraints and minimal overhead. The authors are primarily concerned with the synthesis of nonmetastable circuits, even though the procedure is also valid of metastable circuit synthesis. The synthesized logic is hazard-free and guaranteed to have the fastest operation according to a behavioral specification. A high-level description is used to specify circuit behavior, not only for a simpler input format, but also as a basis for determining the final optimum designs. Automatic synthesis and the ability to localize the timing considerations reduce design effort when systems become complex.>
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-27 12:22 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{meng1989automatic,
title = {Automatic synthesis of asynchronous circuits from high-level specifications},
author = {Teresa H. -Y. Meng and R.W. Brodersen and David G. Messerschmitt},
year = {1989},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {8},
number = {11},
pages = {1185--1205},
doi = {10.1109/43.41504},
}
This record lives at https://refs.drheap.org/meng1989automatic/ and will keep doing so.