Optimal Design for Heterogeneous Adder Organization Using Integer Linear Programming

정수 선형 프로그래밍을 이용한 혼합 가산기 구조의 최적 설계

  • 이덕영 (한림대학교 기초교육대학) ;
  • 이정근 (캠브리지 대학교 컴퓨터랩) ;
  • 이정아 (조선대학교 컴퓨터공학과) ;
  • 이상민 (강원대학교 컴퓨터과학과)
  • Published : 2007.08.15

Abstract

Lots of effort toward design optimizations have been paid for a cost-effective system design in various ways from a transistor level to RTL designs. In this paper, we propose a bit level optimization of an adder design for expanding its design space. For the bit-level optimization, a heterogeneous adder organization utilizing a mixture of carry propagation schemes is proposed to design a delay-area efficient adder which were not available in an ordinary design space. Then, we develop an optimization method based on Integer Linear Programming to search the expanded design space of the heterogeneous adder. The novelty of the Proposed architecture and optimization method is introducing a bit level reconstruction/recombination of IPs which have same functionality but different speed and area characteristics for producing more find-grained delay-area optimization.

비용 효과가 좋은 디지털 시스템을 설계하기 위하여, 트랜지스터 수준부터 RTL 수준까지 최적화를 위한 다양한 설계 방법이 연구되어 왔다. 가산기는 디지털 시스템에서 가장 기본적인 산술연산을 수행하는 필수 회로로서, 전체 시스템의 성능에 영향을 줄 수 있다. 본 논문에서는 최적의 가산기를 설계하기 위하여 상위수준에서 연구하였다. 결과로 혼합 가산기 구조를 제안하고 이를 정수 선형 프로그래밍(ILP: integer liner programming)을 이용해 수학적으로 모델링한다. 혼합 가산기 구조는 다양한 캐리 전달 방식을 가진 가산기 블록을 선형적으로 연결한 구조로서, 사용된 가산기 블록의 종류와 개수에 따라 다양한 가산기 조합이 발생한다. 이러한 조합에 의해 확장된 가산기의 설계공간을 탐색함으로써, 단일 타입의 가산기만을 고려한 것보다 나은 최적의 가산기를 설계할 수 있다. 제안한 혼합 가산기 구조와 ILP를 이용한 최적화 기법은 연산시간과 회로면적 등의 특성이 다른 가산기 IP(intellectual property)들을 비트 수준에서 재합성하기 때문에, 보다 미세한 수준에서 최적화를 수행할 수 있다.

Keywords

References

  1. C. Nagendra, M.J. Irwin, R.M. Owens, 'Area -time - power tradeoffs in parallel adders,' In IEEE Trans. on Circuits and Systems II: Analog and Digital Signal Processing, vol. 43, pp. 689-702, Oct. 1996 https://doi.org/10.1109/82.539001
  2. M.D. Ercegovac and T. Lang, 'Digital Arithmetic,' Morgan Kaufmann Publishers, 2004
  3. James E. Stine, 'Digital Computer Arithmetic Datapath Design Using Verilog HDL,' Kluwer Academic Publishers, Nov. 2003
  4. J. Zhu and R. Kelly, 'Architectural Diversity -The Key to Design Compiler Optimization,' In DESIGN WARE, Synopsys Technical Bulletin, vol. 3, Q2 1998
  5. Anu Gupta, 'Programmatic design space exploration through validity filtering and quality filtering'
  6. Y. Wang, C. Pai, X. Song, 'The design of hybrid carry-lookahead/carry-select adders,' In IEEE Trans. on Circuits and Systems II: Analog and Digital Signal Processing, vol. 49, Jan. 2002
  7. H.P. Williams, 'Model Building in Mathematical Programming,' 4th Ed., John Wiley, New York, 1999
  8. Giovanni De Micheli, 'Synthesis and Optimization of Digital Circuits,' McGraw-Hill Jan., 1994
  9. D.E. Williams, E.E. Jr. Swartzlander, 'Parametric delay and area models for adders,' In Proc. of the 36th Midwest Symposium on Circuits and Systems, pp. 863 - 870, Aug. 1993
  10. M. Berkelaar, 'lp_solve - version 4.0,' Eindhoven University of Technology, 'ftp://ftp.ics.ele.tue.nl/pub/lp_ solve/,' 2003
  11. 오세영, '최적화이론', 교우사