지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2009.11
- 수록면
- 124 - 127 (4page)
이용수
초록· 키워드
오류제보하기
This paper introduces a method to raise the debug abstraction level of communications to transaction level in postsilicon verification. The method is based on on-chip instrumentation using formal specifications of the on-chip bus communication protocols. Furthermore, we present a method for automatic analysis of extracted transactions to find potential erroneous transaction sequences. The post analysis method searches for certain patterns to find potential problems such as deadlock and race. To show the feasibility of the method, it is applied to a number of on chip buses. It is shown that the area overhead of the method is very low and it is effective to locate bugs.
목차
Abstract
I. INTRODUCTION
II. RELATED WORK
III. DEBUG METHOD OVERVIEW
IV. DEBUG HARDWARE
V. DEBUG SOFTWARE
VI. IMPLEMENTATION
VII. CONCLUSIONS
REFERENCES
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
On-Chip Debug Architecture for Multicore Processor
[ETRI] ETRI Journal
2012 .02
-
Advanced JTAG-based On-Chip Debugging Unit Design for SoC
ICEIC : International Conference on Electronics, Informations and Communications
2004 .08
-
In-Circuit System-on-Chip Verification and Debugging Environment
대한전자공학회 학술대회
2003 .07
-
Design of On-Chip Debug System for embedded processor
대한전자공학회 ISOCC
2008 .11
-
Easily Adaptable On-Chip Debug Architecture for Multicore Processors
[ETRI] ETRI Journal
2013 .04
-
Modeling and Analysis of On-chip and Off-Chip Power Supply Network
ICVC : International Conference on VLSI and CAD
1997 .01
-
On-Chip Network based Virtual Platform for Multimedia Applications
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2007 .07
-
Silicon debug를 고려한 정적 전압레벨 오류 검출
대한전자공학회 학술대회
2009 .05
-
SoC(System-on-Chip)
TTA 저널
2004 .01
-
Modeling and Analysis of Impedances and Noises on On-Chip and Off-Chip
대한전자공학회 ISOCC
2004 .10
-
A Bus Data Compression Method on a Phase-Based On-Chip Bus
JOURNAL OF SEMICONDUCTOR TECHNOLOGY AND SCIENCE
2012 .06
-
온칩 디버그 시스템을 적용한 효율적인 임베디드 환경의 구현
대한전자공학회 학술대회
2010 .06
-
Neural Chip 의 최근동향과 상용 Chip
대한전자공학회 워크샵
1991 .01
-
Design of a High-Performance On-Chip Bus
INTERNATIONAL CONFERENCE ON FUTURE INFORMATION & COMMUNICATION ENGINEERING
2016 .06
-
온칩 디버그 시스템을 적용한 효율적인 임베디드 환경의 구현
대한전자공학회 학술대회
2010 .06
-
병행 수행 제어를 위한 Transaction분석 시스템에 관한 연구
(구)정보과학회논문지
1981 .03
-
교환 소프트웨어의 교차 디버깅을 위한 디버그 서버 구현 ( A Debug Server for Cross Debugging of Switching Software )
대한전자공학회 학술대회
1996 .01
-
교환 소프트웨어의 교차 디버깅을 위한 디버그 서버 구현 ( A Debug Server for Cross Debugging of Switching Software )
한국통신학회 학술대회논문집
1996 .01
-
A Synthesizable AXI Protocol Checker for SoC Integration
대한전자공학회 ISOCC
2010 .11
-
UNIX 운영체계의 Turing 및 Debugging ( Tuning and Debugging of the UNIX Operating System )
대한전자공학회 학술대회
1984 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-001482438