$\require{mediawiki-texvc}$
  • 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
안녕하세요!
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

논문 상세정보

초고집적 FPGA디버깅의 문제점 및 해결책

Debugging Problem for Multi-Million Gates FPGAs and the Way to Solve It

초록

최근의 FPGA는 매우 높은 집적도와 빠른 동작속도 때문에 많은 응용분야에서 널리 사용되고 있다. 그러나, FPGA에 구현된 설계를 디버깅하는 과정은, FPGA의 내부에 존재하는 수많은 신호선들을 탐침하는 과정이 매우 오랜 시간을 요하는 FPGA 재-컴파일을 최소 수 차례 이상 필요로 함으로서 많은 문제점을 가지고 있다. 본 논문에서는, 이와 같은 FPGA 디버깅의 문제점을 분석하고, 새로운 디버깅 방법을 제안한다. 제안되는 방법은 FPGA 내부에 존재1차는 모든 신호선들에 대한 100% 탐침을 한 차례의 FPGA 재-컴파일과정 없이도 수행하는 것을 가능하게 할 뿐만 아니라, 한번의 FPGA 컴파일 과정으로 최소 한 개의 설계 오류를 찾을 수 있도록 한다. 본 논문에서 제안된 방법은 실험을 통하여서도 매우 효과적이며 실용적임이 확인되었다.

Abstract

As today's field programmable gate arrays have very large logic capacity as well as relatively fast operation speed, they're widely used in many application areas. However, debugging the design implemented in FPGA's is very time-consuming and painful as the internal signal probing usually requires large number of FPGA re-compilations, which take tremendously long time. In this paper, we analyze the problems in FPGA debugging and propose a new powerful debugging solution. With the proposed FPGA debugging solution, we can guarantee not only to provide 100% internal signal visibility without FPGA re-compilation for the design in FPGA's, but also to identify at least one design bug per FPGA compilation. An experimental result has clearly shown the proposed approach to FPGA debugging very powerful and practical.

저자의 다른 논문

참고문헌 (13)

  1. Virtex-II Platform FPGA Datasheet, Xilinx(http://www.xilinx.com) 
  2. Excalibur SOPC FPGA Datasheet, Altera (http://www.altera.com), 2000 
  3. Certify Datasheet, Synplicity(http://www.synplify.com), 2000 
  4. ChipScope Datasheet, Xilinx (http://www.xilinx.com), 2001 
  5. SignalTap Embedded Logic Analyzer Datasheet, Altera (http://www.altera.com), 2001 
  6. SiliconExplorer Dasheet, Actel (http://www.actel.com), 2001 
  7. 양세양, '시뮬레이션과 에뮬레이션의 결혼: 검증 위기의 새로운 희망,' 대한전자공학회 CAD및 VLSI연구회 신진박사논문발표 및 종합학술대회 발표논문집, 2000 
  8. J. Babb et al., Logic Emulation with Virtual Wires, in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, June 1997 
  9. G. Ganapathy, et al, 'Hardware Emulation for Functional Verification of K5,' Proceeding of 33rd Design Automation Conference, June 1996 
  10. Accelerating Functional Closure Using Solidify and Hardware Emulation, Whitepaper, Averant Inc.(http://www.averant.com) 
  11. N. Kim et al, 'Virtual Chip: Making Functional Models Work on Real Target Systems,' Proceedings of 35th Design Automation Conference, June 1998 
  12. Seiyang Yang, 'Probing Apparatus and Probing Method Using the Same, and Mixed Emulation/Simulation Based on It, US Patent Pending, 1999 
  13. ANSI/IEEE Std 1149.1-1990 Standard Test Acces Port and Boundary-Scan Architecture (included IEEE Std 1149.1a-1993, IEEE Std 1149.1b-1994), IEEE Standards, Piscataway, N.J., USA 

이 논문을 인용한 문헌 (0)

  1. 이 논문을 인용한 문헌 없음

원문보기

원문 PDF 다운로드

  • ScienceON :

원문 URL 링크

원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다. (원문복사서비스 안내 바로 가기)

상세조회 0건 원문조회 0건

DOI 인용 스타일