속도 독립 회로를 위한 직접 합성 시스템

A Direct Synthesis System for Speed-independent Circuits

  • 김희숙 (원광대학교 컴퓨터공학과) ;
  • 정성태 (원광대학교 컴퓨터공학과) ;
  • 박희순 (원광대학교 컴퓨터공학과)
  • 발행 : 2001.02.01

초록

본 논문에서는 자유 선택 신호 전이 그래프와 비동기 유한 상태기로 기술된 회로 명세로부터 직접 속도 독립 회로를 합성하는 시스템에 대해 기술한다. 기존의 상태 그래프 기반의 합성 시스템은 상태의 수가 지수승으로 증가할 수 있기 때문에 큰 규모의 회로에 대해서는 합성에 실패할 수 있다는 문제점을 가지고 있다. 이를 해결하기 위해 여러 직접 합성 방법들이 제안되었는데, 본 논문의 합성 시스템은 마크드 그래프 분할 방법과 임시 전이의 사용을 허용함으로써 합성할 수 있는 회로의 범위를 넓혔다. 기존의 벤치마크 회로에 대한 실험결과 본 합성 시스템은 기존의 상태 그래프 기반의 합성 시스템에 비하여 현저하게 수행 속도를 단축시킬 수 있었고 기존의 직접 합성 시스템에 비하여 보다 확장된 그리고 보다 실용적인 회로 명세를 처리할 수 있었다.

키워드

참고문헌

  1. T.A. Chu, 'Synthesis of Self-timed VLSI Circuits from Graph Theoretic Specifications,' PhD. Thesis, Massachusetts Institute of Technology, 1987
  2. L. Lavagno, K. Keutzer, and A. Sangiovanni-Vincentelli, 'Algorithms for Synthesis of Hazard Free Asynchronous Circuits,' Proceedings of the 28th Design Automation Conference, 1991 https://doi.org/10.1145/127601.127685
  3. 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
  4. Sung Tae Jung and Chu Shik Jhon, 'Direct Synthesis of Efficient Speed-independent Circuits from Deterministic Signal Transition Graphs,' Proceedings of International Symposium on circuits and Systems, vol. 1 of 6, pp. 307-310, London, June, 1994 https://doi.org/10.1109/ISCAS.1994.408816
  5. Sung Tae Jung, Eun Sei Park, Jung Sik Kim, and Chu Shik Jhon, 'Automatic Synthesis of Gate-level Speed-independent Control Circuits form Signal Transition Graphs,' Proceedings of International Symposium on Circuits and Systems, pp. 1211-1214, May, 1995 https://doi.org/10.1109/ISCAS.1995.520362
  6. C. Ykman-Couvreur, B. Lin, G. Goossen, and H. De Man, 'Synthesis and Optimization of Asynchronous controllers Based on Extended Lock Graph Theory,' Proceedings of European Design Automation Conference(EDAC), pp. 512-517, FEB. 1993 https://doi.org/10.1109/EDAC.1993.386423
  7. K.-J. Kin, C.-W. Kuo, and C.-S. Lin, 'Synthesis of Hazard-Free Asynchronous Circuits Based on Characteristic Graph,' IEEE Transactions on Computers, Vol. 46, No. 11, pp. 1246-1263, Nov. 1997 https://doi.org/10.1109/12.644299
  8. 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
  9. T. Murata, 'Petri nets : Properties, Analysis and Applications,' Proceedings of IEEE, Vol. 77, No. 4, pp. 541-580, Apr. 1989 https://doi.org/10.1109/5.24143
  10. Sungtae Jung, 'Synthesis of Asynchronous Control Machines,' Proceedings of JTC-CSCC'95, pp. 535-538, July 1995
  11. E. Pastor and J. Cortadella, 'An Efficient Unique State Coding Algorithm for Signal Transition Graph,' in Proceedings of International Conference on Computer Design(ICCD), pp. 174-177, Oct. 1993 https://doi.org/10.1109/ICCD.1993.393386
  12. 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. 1994 https://doi.org/10.1145/196244.196275
  13. P.R. Panda and N. Dutt, '1995 high Level Synthesis Repository,' Tech. Report 95-04, University of California, Irvine, U.S.A, 1995
  14. J. Kessels, K. van Berkel, R. Burgess, M. Roncken, and F. Schalij, 'An Error Decoder for the Compact Disc Player as an Example of VLSI Programming,' Tech. Rep., Philips Research Laboratories, Eindhoven, The Netherlands, 1992
  15. S.M. Nowick, M.E. Dean, D.L. DIll, and M. Horowitz, 'The Design of a High-Performance Cache Controller : A case Study in Asynchronous Synthesis,' Integration, the VLSI Journal, Vol. 15, No. 3, pp. 241-262, Oct. 1993 https://doi.org/10.1016/0167-9260(93)90032-8
  16. S.M. Nowick, K.Y. Yun, D.L. DIll, 'Practical Asynchronous Controller Design,' in Proc. International Conference on Computer Design(ICCD), pp. 341-345, Oct. 1992 https://doi.org/10.1109/ICCD.1992.276285