Abstract:
The paper describes the idea of VHDL-based synthesis of asynchronous control circuits from Signal Transition Graphs. A set of VHDL representation forms is defined which allow the designer: (1) to interact with the synthesis process more closely, using the full range of tools (simulation, visualization etc.) available in VHDL environments; (2) to transition between the forms smoothly, sometimes using "mixed " forms, thus efficiently combining partial logic circuit implementations with event-based descriptions of the surrounding parts. Topics: Synthesis (VHDL in Synthesis); Specification and modeling methodologies;
Citations
|
72
|
Algorithms for synthesis and testing of asynchronous circuits
– Lavagno, Sangiovanni-Vincentelli
- 1993
|
|
54
|
A micropipelined ARM
– Furber, Day, et al.
- 1993
|
|
49
|
Concurrent Hardware: The Theory and Practice of Self-Timed Design
– Kishinevsky, Kondratyev, et al.
- 1993
|
|
36
|
A Formal Approach to Hardware Design
– Staunstrup
- 1994
|
|
36
|
The VLSI-programming language Tangram and its translation into handshake circuits
– Berkel, Kessels, et al.
- 1991
|
|
35
|
Representing and Modeling Digital Circuits
– Rokicki
- 1993
|
|
27
|
Asynchronous Circuits for Low Power: A DCC Error Corrector
– Berkel, Burgess, et al.
- 1994
|
|
23
|
Checking Signal Transition Graph Implementability by Symbolic BDD Traversal
– Kondratyev, Cortadella, et al.
- 1995
|
|
4
|
Asynchronous Processes and Antitonic Control Circuits, I. Description Language, II. Basic Properties, III. Realization", Soviet
– Starodoubtsev
- 1985
|
|
2
|
Hierarchical verification of speed-independent circuits
– Roig, Cortadella, et al.
- 1995
|
|
1
|
The Gate-Level Shell for Switching Circuitry and Its Usage for Synthesis and Verification
– Starodoubtsev
- 1992
|
|
1
|
ASSASSIN: A Synthesis System for
– Ykman-Couvreur, Man
- 1995
|