정보처리학회논문지A (The KIPS Transactions:PartA)

한국정보처리학회 (Korea Information Processing Society)
권호 표지
DOI QR코드

DOI QR Code

신호전이그래프에 기반한 비동기식 논리합성의 고유한 특성을 고려한 신호전이그래프의 자동생성

Automatic STG Derivation with Consideration of Special Properties of STG-Based Asynchronous Logic Synthesis

  • 김의석 (광주과학기술원 초고속 광 네트워크 연구센터) ;
  • 이정근 (광주과학기술원 대학원 정보통신공학과) ;
  • 이동익 (광주과학기술원 대학원 정보통신공학과)
  • Kim, Eui-Seok (Gwangju Institute of Science and Technology) ;
  • Lee, Jeong-Gun ( Dept.of Information Electronics Commerce, Wonkwang University) ;
  • Lee, Dong-Ik ( Dept.of Information Electronics Commerce, Wonkwang University)
  • 발행 : 2002.09.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

신호전이그래프는 비동기식 유한상태기와 더불어 신호수준에서 비동기식 제어회로의 사양을 기술하기 위하여 사용되는 가장 대표적인 사양 기술언어이다. 그러나 신호전이그래프는 설계자에게 친숙한 사양기술언어가 아니며, 결과적으로 비동기식 시스템의 설계자가 목적시스템의 비동기식 제어부를 구성하는 수∼수십개의 비동기식 제어회로에 대한 신호전이그래프를 일일이 고안하고 기술하는 것은 매우 힘들고 시간소모적인 일이다. 본 논문에서는 최근에 제안된 프로세스 중심방식을 이용하여 신호전이그래프를 자동으로 생성하는 방법을 제안하고자 한다. 특히, 제안된 방법은 신호전이그래프의 자동생성 과정에서 신호전이그래프에 기반한 비동기식 논리합성의 고유한 특성들을 주의 깊게 고려하여 준다. 결과적으로 자동 생성된 신호전이그래프로부터 합성된 비동기식 제어회로는 면적, 합성시간, 성능, 구현성의 측면에서 매우 우수하다.

Along with an asynchronous finite state machine, in short AFSM, a signal transition graph, in short STG, is one of the most widely used behavioral description languages for asynchronous controllers. Unfortunately, STGs are not user-friendly, and thus it is very unwieldy and time consuming for system designers to conceive and describe manually the behaviors of a number of asynchronous controllers which constitute an asynchronous control unit for a target system in the form of STGs. In this paper, we suggest an automatic STG derivation method through a process-oriented method. Since the suggested method considers special properties of STG-based asynchronous logic synthesis very carefully, asynchronous controllers which are synthesized from STGs derived through the suggested method are superior in aspects of area, synthesis time, performance and implementability compared to those obtained through previous methods.

키워드

참고문헌

  1. T. A. Chu, 'Synthesis of self-timed VLSI circuits from graph-theoretic specifications,' Ph.D.Dissertation, MIT, Jun., 1987
  2. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev, 'Petrify : A tool manipulating concurrent specifications and synthesis of asynchronous controllers,' IEICE Trans. Inf. & Syst., Vol.E.80-D, No.3, pp.315-325, Mar., 1997
  3. E. M. Sentovich, K. J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton and A. Sangiovanni-Vincentelli, 'SIS : A System for Sequential Circuit Synthesis,' May, 1992
  4. S. Jung and C. J. Myers, 'Direct Synthesis of Timed Asynchronous Circuits,' IEEE International Conference on Computer Aided Design (ICCAD), pp.332-337, Nov., 1999 https://doi.org/10.1109/ICCAD.1999.810670
  5. J. Cortadella and R. M. Badia, 'An Asynchronous Architecture Model for Behavioral Synthesis,' In Proceedings of European Conference on Design Automation, Mar., pp.307-311, 1992
  6. I. Blunno and L. Lavagno, 'Automated Synthesis of Micro-Pipelines from Behavioral Verilog HDL,' In Proceedings of Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems, Apr., pp.84-92, 2000 https://doi.org/10.1109/ASYNC.2000.836967
  7. E. Kim, J.-G.Lee and D.-I.Lee, 'Building a Distributed Asynchronous Control Unit through Automatic Derivation of Hierarchically Decomposed AFSMs from a CDFG,' In Proceedings of Advanced Research in VLSI 2001, pp.2-15, 2001 https://doi.org/10.1109/ARVLSI.2001.915546
  8. 김의석, 이정근, 이동익, '프로세서 중심방식에 기반한 비동기식 유한상태기의 자동생성을 통한 분산 비동기식 제어부의 유도', 정보과학회논문지 : 시스템 및 이론, 제28권 제7.8호, 2001
  9. A. Kondratyev, M. Kishinevsky, B. Lin, P. Vanbekbergen and A. Yakovlev, 'Basic Gate Implementation of Speed-Independent Circuits,' ACM/IEEE Design Automation Conference, pp.55-62, Jun., 1994 https://doi.org/10.1145/196244.196275
  10. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno and A. Yakovlev, 'Petrify : a tool for manipulating concurrent specifications and synthesis of asynchronous controllers,' IEICE Transactions of Information and Systems, Vol.E80-D, No.3, pp.315-325, 1997
  11. S. Hauck, 'Asynchronous Design Methodologies : an Overview,' Proceedings of the IEEE, Vol.83, No.1, pp.69-93, 1995 https://doi.org/10.1109/5.362752
  12. T. Murata, 'Petri Nets : Properties, Analysis and Applications,' Proceedings of the IEEE, Vol.77, No.4, pp.541-580, 1989 https://doi.org/10.1109/5.24143