Markov 확률모델을 이용한 저전력 상태할당 알고리즘

FSM State Assignment for Low Power Dissipation Based on Markov Chain Model

  • 김종수 (울산대학교 전기전자정보시스템공학부)
  • Kim, Jong-Su (Dept.of Electric Electronics Information System Engineering, University of Ulsan)
  • 발행 : 2001.02.01

초록

본 논문은 디지털 순서회로 설계시 상태할당 알고리즘 개발에 관한 연구로, 동적 소비전력을 감소시키기 위하여 상태변수의 변화를 최소로 하는 코드를 할당하여 상태코드가 변화하는 스위칭횟수를 줄이도록 하였다. 상태를 할당하는데는 Markov의 확률함수를 이용하여 hamming거리가 최소가 되도록 상태 천이도에서 각 상태를 연결하는 edge에 weight를 정의한 다음, 가중치를 이용하여 각 상태들간의 연결성을 고려하여 인접한 상태들간에는 가능한 적은 비트 천이를 가지도륵 모든 상태를 반복적으로 찾아 계산하였다. 비트 천이의 정도를 나타내기 위하여 cost 함수로 계산한 결과 순서회로의 종류에 따라 Lakshmikant의 알고리즘보다 최고 57.42%를 감소시킬 수 있었다.

In this paper, a state assignment algorithm was proposed to reduce power consumption in control-flow oriented finite state machines. The Markov chain model is used to reduce the switching activities, which closely relate with dynamic power dissipation in VLSI circuits. Based on the Markov probabilistic description model of finite state machines, the hamming distance between the codes of neighbor states was minimized. To express the switching activities, the cost function, which also accounts for the structure of a machine, is used. The proposed state assignment algorithm is tested with Logic Synthesis Benchmarks, and reduced the cost up to 57.42% compared to the Lakshmikant's algorithm.

키워드

참고문헌

  1. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev, 'A regionbased theory for state assignment in speed independent circuits', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 16, no 8, August 1997 https://doi.org/10.1109/43.644602
  2. L. Benini, and G. De Micheli, 'State assignment for low power dissipation', IEEE Journal of Solid-State Circuits. vol. 30. March 1995 https://doi.org/10.1109/4.364440
  3. 이기중, 황선영, '다단 논리 회로로 구현된 FSM의 효율적인 상태할당 알고리즘,' 한국 정보 과학회 논문지, 제 18권, 제 2호, 1991년 3월
  4. 양세양, 김진옥, '유한상태기의 면적 최적화를 한 상태할당 문제에의 해석적 접근,' 한국 정보 과학회 논문지, 제 21권 제 7호, 1994년 7월
  5. M. Koegst, G. Franke, and K. Feske, 'FSM state assignment for low power and power estimation under user-specified input sequences', BEC 1996
  6. Paul Landman, Renu Mehra, and Jan M. Rabaey, 'An integrated CAD environment for low-power design', IEEE Design and Test of Computers, vol. 13, no. 2, pp. 72-82, June 1996 https://doi.org/10.1109/54.500202
  7. Vitit Kantabutra, and Andreas G. Andreou, 'A state assignment approach to asynchronous CMOS circuit design', IEEE Transactions on Computers, vol 43, no. 4, April, 1994 https://doi.org/10.1109/12.278483
  8. 구경희, 조경록, '상태청이확률을 이용한 비동기 회로의 저전력 상태할당 알고리즘,' 전자공학회논문지, 제 34권 C편, 제 12호, 1997년 12월
  9. 임세진, 조준동, '스위칭동작 최소화를 통한 저전력 데이터 경로의 최적화,' 전자공학회논문지, 제 36권 C편 제 4호, 1999년 4월
  10. A. E. A. Almaini and J. F. Miller, P. Thomson, and S. Billina, 'State assignment of finite state machines using a genetic algorithm', IEEE Proc. Computer Digital Techniques, vol. 142, no. 4, July 1995 https://doi.org/10.1049/ip-cdt:19951885
  11. R. Marculescu, D. Marculescu, and M. Pedram, 'Sequence compaction for power estimation: theory and practice', IEEE Transactions On Computer-Aided Design of Integrated Circuits and Systems, vol. 18, no. 7, July 1999 https://doi.org/10.1109/43.771179
  12. Akhilesh Tyagi, 'Entropic bounds on FSM switching', IEEE Transactions on VLSI Systems', vol. 5, no. 4, December 1997 https://doi.org/10.1109/92.645072
  13. Lakshmikant Bhupathi and Liang-Fang Chao, 'Exploiting skewed state probabilities for low power state assignment', Proceedings of the IEEE International Symposium on Circuits and Systems, vol 4. May 1996 https://doi.org/10.1109/ISCAS.1996.542135
  14. Proc. International Workshop on Logic Synthesis, 1989-1994