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

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

DOI QR Code

Efficient Simulation Acceleration by FPGA Compilation Avoidance

FPGA 컴파일 회피에 의한 효과적인 시뮬레이션 가속

  • 심규호 (부산대학교 대학원 컴퓨터공학과) ;
  • 박창호 (동양시스템즈 IT서비스운영팀) ;
  • 양세양 (부산대학교 컴퓨터공학과)
  • Published : 2007.06.30
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, we proposed an efficient FPGA-based simulation acceleration method based on FPGA compilation avoidance, which can effectively decrease the long debugging turnaround time incurred from the every debugging process in the functional verification. The proposed method had been experimentally applied to the functional verification for a microcontroller design. It had clearly shown that the debugging turnaround time was greatly reduced while the high simulation speed of the simulation acceleration was still maintained.

본 논문에서는 FPCA 기반의 시뮬레이션가속을 통한 함수적 검증에서 매 설계오류의 수정 과정에서 필수적으로 진행되어야 하였던 긴 FPGA 컴파일 시간에 의한 오랜 디버깅턴어라운드시간을 단축할 수 있는 FPGA 컴파일 회피를 통한 효과적인 시뮬레이션가속 방법을 제시하였다. 마이크로컨트롤러 설계의 함수적 검증에 제안된 방법을 적용한 결과, 본 논문에서 제안된 방법이 시뮬레이션가속의 높은 시뮬레이션 수행 속도를 유지하는 동시에 디버깅턴어라운드시간도 크게 단축할 수 있음을 확인할 수 있었다.

Keywords

References

  1. Richard Foster, 'A Design Style to Simplify IP integration and Verification,' White paper, VLSI Technology, Inc. (http://www.vlsi.com), 1999
  2. N. Kim, H. Choi, S. Lee, S. Lee, I. Park, and C. Kyung, 'VIrtual Chip Making Functional Models Work on Real Target Systems,' in Proc. of 35th DAC, pp.170-173, June 1998
  3. 'Cadence Emulation Simulation Acceleration', White paper, Cadence Design Systems Inc. (http://www.cadence.com) , 2002
  4. Murali Kudlugi, Saha Hassoun, Charles Selvidge, Duaine Pryor, 'A Transaction-Based Unified Simulation Emulation Architecture for Functional Verification', in Proc. of 38th DAC, pp.623-628, June 2001 https://doi.org/10.1145/378239.379036
  5. Stuart Swan, 'SystemC Transaction Level Models and RTL Verification', in Proc. of 43rd DAC, pp.90-92, July 2006 https://doi.org/10.1145/1146909.1146937
  6. Daniel P. Bovet, Marco Cesati, Understanding the Linux Kernel, O'REILLY Publishers, December 2002
  7. Alessandro Rubini,· Jonathan Corbet, Linux Device Drivers, O'REILLY Publishers, June 2001
  8. IEEE Standard Hardware Description Language Based on the Verilog Hardware Description Language, IEEE Std. 1364-1995
  9. Swapnajit Mittra, Principles of Verilog PLI, Kluwer Academic Publishers, 2000
  10. JTAG Boundary Scan, IEEE Std. 1149.1
  11. ModelSim SE User's Manual, Mentor Graphics (http://www.model.com), 2006
  12. Spartan-If $200^{TM}$ PCI Development Board User's Guide V2.0, Memec (http://www.memec.com). 2002
  13. Synplify Pro User Guide, Synplicity Inc. (http://www.synplicity.com). 2005
  14. Xilinx ISE 6 Software Manuals, Xilinx Inc. (http:///www.xilinx.com), 2004
  15. 김남도, 양세양, '초고속 시스템 에뮬레이터의 구조와 이를 위한 소프트웨어', 한국정보처리학회논문지 A, 1598-2831, 제8A권 4호, pp.479-488, 2001