On compliance test of on-chip bus for SOC

Hue Min Lin, Chia Chih Yen, Che Hua Shih, Jing Yang Jou

Research output: Contribution to conferencePaperpeer-review

17 Scopus citations

Abstract

In this paper, we employ a monitor-based approach for on-chip bus (OCB) compliance test. To describe the OCB protocols, we propose a FSM model, which can help to extract the necessary properties systematically and verify the data part of a bus transfer efficiently. To demonstrate our methodology, we illustrate two OCB protocols, WISHBONE and AMBA AHB, as the study cases. The experimental results show that we can verify the OCB protocols efficiently and detect the design errors when tests fail.

Original languageEnglish
Pages328-333
Number of pages6
StatePublished - 2004
EventProceedings of the ASP - DAC 2004 Asia and South Pacific Design Automation Conference - 2004 - Yokohama, Japan
Duration: 27 Jan 200430 Jan 2004

Conference

ConferenceProceedings of the ASP - DAC 2004 Asia and South Pacific Design Automation Conference - 2004
Country/TerritoryJapan
CityYokohama
Period27/01/0430/01/04

Fingerprint

Dive into the research topics of 'On compliance test of on-chip bus for SOC'. Together they form a unique fingerprint.

Cite this