ICROS (제어로봇시스템학회지)

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지

비동기 디지털 시스템의 고장 진단 및 극복 기술 동향

  • Published : 2011.12.25
Download PDF
⟨ Previous Next ⟩

Abstract

비동기적으로 동작하는 디지털 회로는 동기 순차 회로에 비해서 고속, 저전력 소비 등 여러 가지 장점을 지니기 때문에 현대 디지털 시스템에서 여전히 중요한 요소로 사용되고 있다. 본 기고에서는 비동기 순차 회로에서 발생하는 고장을 진단하고 극복하는 최신 기술을 소개한다. 본 기고에서 주로 다루는 기술은 '교정 제어'로서 피드백 제어의 원리를 이용하여 비동기 순차 회로의 안정 상태를 바꾸는 기법이다. 크리티컬 레이스(critical race), 무한 순환 등 비동기 회로 설계상의 오류를 포함하여 SEU(Single Event Upset), 총이론화선량(TID)에 의한 고장 등 외부 환경에 의해서 발생하는 비동기 회로의 고장을 교정 제어를 이용하여 진단하고 극복하는 기술에 대해서 알아본다.

Keywords

References

  1. D. A. Huffman, "The synthesis of sequential switching circuits," Journal of Franklin Institute, vol. 257, pp. 161-190, 1954. https://doi.org/10.1016/0016-0032(54)90574-8
  2. S. H. Unger, "Hazards, critical races, and metastability," IEEE Transactions on Computers, vol. 44, no. 6, pp. 754-768, Jun. 1995. https://doi.org/10.1109/12.391185
  3. T. E. Murphy, X. Geng, and J. Hammer, "On the control of asynchronous machines with races," IEEE Transactions on Automatic Control, vol. 48, no. 6, pp. 1073-1081, Jun. 2003. https://doi.org/10.1109/TAC.2003.812814
  4. J. Hammer, "On corrective control of sequential machines," International Journal of Control, vol. 65, no. 2, pp. 249-276, Feb. 1996. https://doi.org/10.1080/00207179608921696
  5. J. Hammer, "On some control problems in molecular biology," Proc. of the 3rd Conference on Decision and Control, pp. 4098-4013, 1994.
  6. X. Geng, "Model matching for asynchronous sequential machines," Ph.D. Dissertation, Department of Electrical and Computer Engineering, University of Florida, USA, 2003.
  7. X. Geng and J. Hammer, "Input/output control of asynchronous sequential machines," IEEE Transactions on Automatic Control, vol. 50, no. 12, pp. 1956-1970, Dec. 2005. https://doi.org/10.1109/TAC.2005.860293
  8. N. Venkatraman and J. Hammer, "On the control of asynchronous sequential machines with infinite cycles," International Journal of Control, vol. 79, no. 7, pp. 764-785, Jul. 2006. https://doi.org/10.1080/00207170600665022
  9. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Publishers, 1999.
  10. 양정민, 곽성우, "제어 불능 입력이 존재하는 비동기 순차머신의 상태 피드백 제어 및 오류 카운터로의 응용," 제어.로봇.시스템학회 논문지, 제15권, 제10호, pp. 967-973, 2009.
  11. 양정민, 곽성우, "총이온화선량에 의한 고장이 존재하는 비동기 순차 회로의 교정 제어," 제어.로봇.시스템학회 논문지, 제17권, 제11호, pp. 1125-1131, 2011.
  12. J. Peng and J. Hammer, "Input/output control of asynchronous sequential machines with races," International Journal of Control, vol. 83, no. 1, pp. 124-144, Jan. 2010.
  13. 양정민, 곽성우, "비동기 상태 피드백 제어를 이용한 TMR 메모리 SEU 극복," 전기학회논문지, 제57권, 제8호, pp. 1440-1446, 2008.
  14. E. O. Mikkola, B. Vermeire, H. G. Parks, and R. Graves, "VHDLAMS modeling of total ionizing dose radiation effects on CMOS mixed signal circuits," IEEE Transactions on Nuclear Science, vol. 54, no. 4, pp. 929-934, Aug. 2007. https://doi.org/10.1109/TNS.2007.903185
  15. J. Sparso and S. Furber (eds.),Principles of Asynchronous Circuit design - A Systems Perspective, Kluwer Academic Publishers, 2001.
  16. C. J. Myers, Asynchronous Circuit Design, John Wiley & Sons, 2001.
  17. C. H. (Kees) Van Berkel, M. B. Josephs, and S. M. Nowick, "Applications of asynchronous circuits," Proceeding of IEEE, vol. 87, no. 2, pp. 223-233, Feb. 1999. https://doi.org/10.1109/5.740016
  18. A. J. Martin, and M. Nystrom, "Asynchronous techniques for system-on-chip design," Proceeding of IEEE, vol. 94, no. 6, pp. 1089-1120, Jun. 2006. https://doi.org/10.1109/JPROC.2006.875789