검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

HPChecker: An AMBA AHB On-Chip Bus Protocol Checker with Efficient Verification Mechanisms HPChecker: 효율적인 검증 메커니즘을 갖춘 AMBA AHB 온칩 버스 프로토콜 검사기

Liang-Bi CHEN, Jiun-Cheng JU, Chien-Chou WANG, Ing-Jer HUANG

  • 조회수

    0

  • 이것을 인용

요약 :

버스 기반 SoC(시스템 온 칩) 설계는 SoC 설계 시간을 단축하기 위한 주요 통합 방법론이 되었습니다. 주요 과제는 온칩 버스 프로토콜을 효율적으로 검증하는 방법입니다. 기존의 시뮬레이션 기반 버스 프로토콜 모니터는 버스 신호가 버스 프로토콜을 준수하는지 여부를 확인할 수 있습니다. FPGA 레벨이나 칩 레벨과 같은 효율적인 버스 프로토콜 검증 환경이 여전히 부족합니다. 부족함을 극복하기 위해 우리는 AHB 버스 신호 동작을 확인하기 위한 73개의 관련 AHB 온칩 버스 프로토콜 규칙과 두 개의 해당 검증 메커니즘인 오류 참조 테이블을 포함하는 규칙 기반 합성 가능한 AMBA AHB 온칩 버스 프로토콜 검사기를 제안합니다. ERT) 및 창 추적 버퍼를 사용하여 확인 시간을 단축합니다.

발행
IEICE TRANSACTIONS on Information Vol.E93-D No.8 pp.2100-2108
발행일
2010/08/01
공개일
온라인 ISSN
1745-1361
DOI
10.1587/transinf.E93.D.2100
원고의 종류
Special Section PAPER (Special Section on Multiple-Valued Logic and VLSI Computing)
범주
다중 값 VLSI 기술

작성자

키워드