MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Use of VHDL Environment for Interactive Synthesis of Asynchronous Circuits N.A.Starodoubtsev A.V.Yakovlev

Download:
Download as a PDF | Download as a PS
unknown authors
http://www.cs.ncl.ac.uk/research/trs/papers/540.ps
Add To MetaCart

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