지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2010.11
- 수록면
- 103 - 106 (4page)
이용수
초록· 키워드
오류제보하기
System-on-a-Chip (SoC) design has become more and more complexly. Because difference functions components or IPs
(Intellectual Property) will be integrated within a chip. The challenge of integration is “how to verify on-chip communication properties”. Although traditional simulation-based on-chip bus protocol checking bus signals to obey bus transaction behavior or not, however, they are still lack of a chip-level dynamic verification to assist hardware debugging. We proposed a rule-based synthesizable AMBA AXI protocol checker. The AXI protocol checker contains 44 rules to check on-chip communication properties accuracy. In the verification strategy, we use the Synopsys VIP (Verification IP) to verify AXI protocol checker. In the experimental results, the chip cost of AXI
protocol checker is 70.7K gate counts and critical path is 4.13 ns (about 242 MHz) under TSMC 0.18um CMOS 1P6M Technology.
(Intellectual Property) will be integrated within a chip. The challenge of integration is “how to verify on-chip communication properties”. Although traditional simulation-based on-chip bus protocol checking bus signals to obey bus transaction behavior or not, however, they are still lack of a chip-level dynamic verification to assist hardware debugging. We proposed a rule-based synthesizable AMBA AXI protocol checker. The AXI protocol checker contains 44 rules to check on-chip communication properties accuracy. In the verification strategy, we use the Synopsys VIP (Verification IP) to verify AXI protocol checker. In the experimental results, the chip cost of AXI
protocol checker is 70.7K gate counts and critical path is 4.13 ns (about 242 MHz) under TSMC 0.18um CMOS 1P6M Technology.
목차
Abstract
Ⅰ. INTRODUCTION
Ⅱ. AMBA AXI PROTOCOL CHECKER ARCHITECTURE
Ⅲ. VERIFICATION STRATEGY
Ⅳ. EXPERIMENTAL RESULTS
Ⅴ. CONCLUSION
ACKNOWLEDGMENT
REFERENCES
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
AXI 프로토콜을 위한 인터페이스 구조 설계
대한전자공학회 학술대회
2012 .11
-
SOC Bus Transaction Verification Using AMBA Protocol Checker
JOURNAL OF SEMICONDUCTOR TECHNOLOGY AND SCIENCE
2002 .06
-
효율적인 네트워크 사용을 위한 온 칩 네트워크 프로토콜
전자공학회논문지-SD
2010 .01
-
효율적인 데이터 전송과 하드웨어 최적화를 위한 AMBA AXI4 BUS Interface 구현
융합신호처리학회 논문지
2014 .01
-
대용량 프로토타입 검증을 위한 효율적인 버스 시스템
대한전자공학회 학술대회
2010 .06
-
AMBA AXI 기반의 효율적인 SoC 테스트 제어기 설계
대한전자공학회 학술대회
2009 .05
-
AXI 네트워크 기반의 H.264 디코더 설계
한국통신학회 학술대회논문집
2014 .01
-
AXI 프로토콜 기반의 버스를 위한 중재기 설계
한국방송미디어공학회 학술발표대회 논문집
2013 .06
-
SoC 플랫폼을 위한 AXI 프로토콜 기반의 주변장치 설계
대한전자공학회 학술대회
2009 .11
-
System Level Architecture Evaluation and Optimization : an Industrial Case Study with AMBA3 AXI
대한전자공학회 ISOCC
2005 .10
-
AMBA AHB와 AXI간 연동을 위한 Switch Wrapper의 설계
대한전자공학회 학술대회
2005 .11
-
Register Slice Optimization for the AXI Bus Design
대한전자공학회 ISOCC
2007 .10
-
A Study on Prediction of the Base Pressures for an Axi-Symmetric Body
KSME International Journal
2001 .10
-
Deformation After Heat Treatment of Axi-Symmetric Part
한국소성가공학회 학술대회 논문집
2012 .05
-
Low-Power Bus Architecture Compositionfor AMBA AXI
JOURNAL OF SEMICONDUCTOR TECHNOLOGY AND SCIENCE
2009 .06
-
High Performance On-Chip-Network Architecture with Multiple Channels and Dual Routing
대한전자공학회 ISOCC
2008 .11
-
Design and Implementation of a Video Display Processing SoC For Full HD LCD TV
대한전자공학회 ISOCC
2012 .11
-
Study for Prediction the Door Checker Effort by using 2D-Contact
한국소음진동공학회 학술대회논문집
2016 .04
-
On-Chip Transaction Level Debug Support for System-on-Chips
대한전자공학회 ISOCC
2009 .11
-
AXI4 기반 Memory Interface에서 Burst Length에 따른 Memory Bandwidth의 비교
대한전자공학회 학술대회
2017 .06
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-001489048