참고문헌
- T.A. Chu, 'Synthesis of Self-timed VLSI Circuits from Graph Theoretic Specifications,' Ph.D. Thesis, Massachusetts Institute of Technology, 1987
- A.J. Martin, 'Programming in VLSI: From communicating processes to delay-insensitivecircuits,' In C. A. R. Hoare, editor, Developments in Concurrency and Communication, UT Year of Programming Series, pp. 1-64. Addison-Wesley, 1990
- P.A. Beerel and T. H.-Y. Meng, 'Automatic Gate-Level Synthesis of Speed-independent Circuits,' Proceedings of International Conference on Computer Aided Design, pp. 581-586, Nov. 1992 https://doi.org/10.1109/ICCAD.1992.279309
- V.I. Varshavsky, V.B. Marakhovshy, and V.V. Smolensky. 'Designing self-timed devices using the finite automaton model,' IEEE Design & Test of Computers, Vol. 12, No. 1, pp. 14-23, Spring 1995 https://doi.org/10.1109/54.350685
- K.Y. Yun, 'Automatic synthesis of extended burst-mode circuits using generalized C-elements,' In Proc. European Design Automation Conference (EURO-DAC), pp. 290-295, Sep. 1996 https://doi.org/10.1109/EURDAC.1996.558219
- L. Lavagno, K. Keutzer, and A. Sangiovanni-Vincentelli, 'Algorithms for Synthesis of Hazard-Free Asynchronous Circuits,' Proceedings of the 28th Design Automation Conference , 1991
- C.J. Myers, T. H.-Y. Meng, 'Synthesis of Timed Asynchronous Circuits,' IEEE Transitions on VLSI Systems, pp. 106-119 Jun. 1993 https://doi.org/10.1109/92.238425
- E. Pastor, J. Cortadella, A. Kondratyev, and O. Roig, 'Structural Methods for the Synthesis of Speed-Independent Circuits,' IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 17, No. 11, pp. 1108-1129, Nov. 1998 https://doi.org/10.1109/43.736185
- C.E. Molnar, I.W. Jones, B. Coates, and J. Lexau. 'A FIFO ring oscillator performance experiment,' Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, April 1997 https://doi.org/10.1109/ASYNC.1997.587181
- K. McMillan, D.L. Dill, 'Algorithms for Interface Timing Verification,' In Proceedings of International Conference on Computer Design, 1992 https://doi.org/10.1109/ICCD.1992.276208
- P. Vanbekbergen, G. Goossens, D. De Man, 'Specification and Anslysis of Timing Constraints in Signal Transition Graphs,' In Proceeding of the European Design Automation Conference, 1992 https://doi.org/10.1109/EDAC.1992.205943
- T. Amon, H. Hulgaard, G. Borriello, S. Burns, 'Timing Analysis of Concurrent Systems,'Technical Reports UW-CS-TR-92-11-01, University of Washington, 1992
- A. Kondratyev, M. Kishinevsky, B. Lin, P. Vanvekbergen, and Yakovlev, 'Basic Gate Implementation of Speed-independent Circuits,' In Proceedings of Design Automation Conference, pp. 56-62 Jun. 19942
- K.S. Stevens, S.V. Robinson, and A.L. Davis, 'The Post Office - Communication Support for Distributed Ensemple Architectures,' In Proceeding of 6th International Conference on Distributed Computing Systems, pp. 567-571, 1986
- T.G. Rokicki and C.J. Myers, 'Automatic Verification of Timed Circuits,' In Proceedings of the conference on Computer Aided Verification, June 1994