한국정보과학회논문지:컴퓨팅의 실제 및 레터 (Journal of KIISE:Computing Practices and Letters)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

하드웨어-소프트웨어 통합 설계 시스템을 위한 상위 단계에서의 검증 기법

High-Level Design Verification Techniques for Hardware-Software Codesign Systems

  • 이종석 (현대전자 메모리연구소 응용제품팀) ;
  • 김충희 (한양대학교 전자공학과) ;
  • 신현철 (한양대학교 전자공학과)
  • 발행 : 2000.08.31
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

설계되는 시스템의 규모가 커지고 복잡해지므로 이를 빠른 시간 내에 효율적으로 검증하기 위한 상위 단계에서의 검증 기술의 개발이 중요하게 되었다. 본 연구에서는 하드웨어와 소프트웨어가 혼합되어 있는 시스템을 위한 상위 단계에서의 검증기술을 개발하였다. 에뮬레이션 또는 시뮬레이션만을 수행하는 것보다 빠르고 우수하게 기능적으로 검증하기 위해, 하드웨어와 소프트웨어 부분으로 분할한 후 인터페이스 회로를 이용하여 구현 가능하도록 하였다. 그리고, 상위 단계의 회로를 쉽게 하드웨어를 이용하여 검증하기 위한 설계 지침들을 제시하였다. 본 방법을 이용하여 리드-솔로몬 디코더 회로에 대한 검증을 수행한 결과 시뮬레이션만을 수행한 경우에 비하여 modified Euclid 알고리즘 수행 블록은 12,000배 이상의 속도로 검증을 수행할 수 있었으며, 전체 검증 시간도 반 이하로 줄었다.

As the system complexity increases, it is important to develop high-level verification techniques for fast and efficient design verifications. In this research, fast verification techniques for hardware and software co-design systems have been developed by using logic emulation and algorithm-level simulation. For faster and superior functional verification, we partition the system being designed into hardware and software parts, and implement the divided parts by using interface modules. We also propose several hardware design techniques for efficient hardware emulation. Experimental results, obtained by using a Reed-Solomon decoder system, show that our new verification methodology is more than 12,000 times faster than a commercial simulation tool for the modified Euclid's algorithm block and the overall verification time is reduced by more than 50%.

키워드

참고문헌

  1. C. Kim and H. Shin, 'A Performance-Driven Logic Emulation System: FPGA Network Design and Performance-Driven Partitioning,' IEEE Transactions on CAD/ICAS, Vol. 15, No 5, pp. 560-568, May 1996
  2. Z. Barzilai, J. L. Carter, B. K. Rosen, and J. D Rutledge, 'Hss- a high-speed simulator,' IEEE Trans. on CAD/ICAS, pp. 601-617, July 1987
  3. C. Hansen, 'Hardware logic simulation by compilation,' Proc. ACM/IEEE 24th Design Automation Conference, pp. 712-715 June 1987 https://doi.org/10.1109/DAC.1988.14848
  4. C. J. DeVane, 'Efficient circuit partitioning to extend cycle simulation beyond synchronous circuits,' Proc. IEEE/ACM Int. Conf. on CAD, pp. 154-161 Nov 1997
  5. Tom Blank, 'A Survey of Hardware Accelerators Used in Computer-Aided Design,' IEEE Design & Test, Vol. 1, Aug. 84, pp. 21-39
  6. F. Nacabal, O. Deygas, P. Paulin, and M. Harrand, 'C-VHDL co-simulation: Industrial requirements for embedded control processors,' in Proceedings, EuroDAC/EuroVHDL Designer Sessions, pp. 55-60, 1996
  7. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The Polis Approach, Kluwer Academic Publishers, 1997
  8. J. Buck, S. Ha, E. Lee, and D. Messerschmitt, 'Ptolemy: a framework for simulating and prototyping heterogeneous systems,' Int. Journal of Computer Simulation, vol. 4, Apr. 1994
  9. J. Varghese, M. Butts and J. Batcheller, 'An Efficient Logic Emulation System,' IEEE Trans. on VLSI System, VOL. 1, NO. 2, pp. 171-174, June 1993 https://doi.org/10.1109/92.238418
  10. J. Babb, R. Tessier and A. Agarwal, 'Virtual Wires: Overcoming Pin Limitations in FPGA-based Logic Emulators,' IEEE Workshop on FPGA for CCM, pp. 142-151, 1993 https://doi.org/10.1109/FPGA.1993.279469
  11. H. Verheyen and G. Lara, 'Rapid Prototyping Using System Emulation Technology for DSP Validation,' Proc. EDA&T '95, August, 1995
  12. M. Borgatti, R. Rambaldi, G. Gori, and R. Guerrieri, 'A smoothly upgradable approach to virtual emulation of HW/SW systems,' Proc. Int. Workshop on Rapid System Prototyping, June 1996
  13. J.-H. Hong, S.-A. Hwang, and C.-W. Wu, 'An FPGA-based hardware emulator for fast fault emulation,' in Proc. Midwest Symp. on Circuits and Systems, Aug. 1996 https://doi.org/10.1109/MWSCAS.1996.594168
  14. Jerry Bauer, Michael Bershteyn, Ian Kaplan and Paul Vyedin, 'A Reconfigurable Logic Machine for Fast Event-Driven Simulation,' Proc. ACM/IEEE 24th Design Automation Conference, June 1998 https://doi.org/10.1145/277044.277214
  15. S. Kwon, H. Shin, 'An Area-Efficient VLSI Architecture of A Reed-Solomon Decoder/Encoder for Digital VCRs,' IEEE Trans. on Consumer Electronics, Vol. 43, No 4, pp. 1019-1027, Nov. 1997