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.
|Number of pages||6|
|State||Published - 2004|
|Event||Proceedings of the ASP - DAC 2004 Asia and South Pacific Design Automation Conference - 2004 - Yokohama, Japan|
Duration: 27 Jan 2004 → 30 Jan 2004
|Conference||Proceedings of the ASP - DAC 2004 Asia and South Pacific Design Automation Conference - 2004|
|Period||27/01/04 → 30/01/04|