Automatic process-oriented control circuit generation for asynchronous high-level synthesis

Proceedings - International Symposium on Asynchronous Circuits and Systems

Volumn , Issue , 2000, Pages 104-113

  Kim, Euiseok ^a   Lee, Jeong Gun ^a   Lee, Dong Ik ^a  

^a Gwangju Institute of Science and Technology (GIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS CONTROL CIRCUITS; ASYNCHRONOUS DESIGN; CONTROL CIRCUITS; HIGH LEVEL SYNTHESIS; PROCESS-ORIENTED;

PROCESS CONTROL;

EID: 77957943843     PISSN: 15228681     EISSN: None     Source Type: Journal    
DOI: 10.1109/ASYNC.2000.836976     Document Type: Article

References (13)

1. S. Hauck, "Asynchronous Design Methodologies: An Overview, " Proceedings of the IEEE, 83(1), Jan., 1995
2. T. A. Chu, "Synthesis of Self-timed VLSI Circuits from Graph-theoretic Specifications, " Ph. D. thesis, MIT, Jun., 1987
3. A. Kondratyev, M. Kishinevsky, B. Lin, P. Vanbek-bergen, and Yakovlev, "Basic Gate Implementation of Speed-Independent Circuits, " In Proceedings of Design Automation Conference, Jun., 1994
4. S. M. Nowick and D. L. Dill, "Synthesis of Asynchronous State Machines Using a Local Clock, " In Proceedings of ICCD, Oct., 1991
5. J. Cortadella and R. M. Badia, "An Asynchronous Architecture Model for Behavioral Synthesis, " In Proceedings of European Conference on Design Automation, Mar., 1992
6. R. M. Badia, J. Cortadella, E. Pastor and A. Pardo, "A High-Level Synthesis System for Asynchronous Circuits, " Sixth International Workshop on High-Level Synthesis, Nov., 1992
7. E. Brunvand, "Translating Concurrent Communicating Programs into Asynchronous Circuits, " Ph. D. thesis, CMU, 1991
8. T. Kolks, S. Vercauteren and B. Lin, "Control Resyn-thesis for Control-Dominated Asynchronous Designs, " In Proceedings of Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, Mar., 1996
9. J. Cortadella et. al., "Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers, " In Proceedings of the 11th Conf. Design of Integrated Circuits and Systems, Nov., 1996
10. A. Kondratyev, J. Cortadella, M. Kishinevsky, E. Pastor, O. Roig and A. Yakovlev, "Checking Signal Transition Graph Implementability by Symbolic BDD Traversal, " European Design and Test'95, Mar., 1995
11. T. Murata, "Petri Nets: Properties, Analysis and Applications, " Proceedings of the IEEE, Vol. 77, No. 4, 1989
12. K. T. Christensen, P. Jensen, P. Korger and J. Sparsø, "The Design of an Asynchronous TinyRISC™ TR4101 Microprocessor Core, " In Proceedings of Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems, Mar., 1998
13. IDEC Cell Library Data Book Release 9804, Apr., 1998