On compliance test of on-chip bus for SOC

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

On compliance test of on-chip bus for SOC

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

電機工程學系

研究成果: 會議貢獻類型 › 會議論文 › 同行評審

17 引文斯高帕斯（Scopus）

摘要

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.

原文	???core.languages.en_GB???
頁面	328-333
頁數	6
出版狀態	已出版 - 2004
事件	Proceedings of the ASP - DAC 2004 Asia and South Pacific Design Automation Conference - 2004 - Yokohama, Japan 持續時間: 27 1月 2004 → 30 1月 2004

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	Proceedings of the ASP - DAC 2004 Asia and South Pacific Design Automation Conference - 2004
國家/地區	Japan
城市	Yokohama
期間	27/01/04 → 30/01/04

引用此

@conference{db7b1f73c9544b23b6e1eef7af1163eb,

title = "On compliance test of on-chip bus for SOC",

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.",

author = "Lin, {Hue Min} and Yen, {Chia Chih} and Shih, {Che Hua} and Jou, {Jing Yang}",

year = "2004",

language = "???core.languages.en_GB???",

pages = "328--333",

note = "Proceedings of the ASP - DAC 2004 Asia and South Pacific Design Automation Conference - 2004 ; Conference date: 27-01-2004 Through 30-01-2004",

}

TY - CONF

T1 - On compliance test of on-chip bus for SOC

AU - Lin, Hue Min

AU - Yen, Chia Chih

AU - Shih, Che Hua

AU - Jou, Jing Yang

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=2442548730&partnerID=8YFLogxK

M3 - 會議論文

AN - SCOPUS:2442548730

SP - 328

EP - 333

T2 - Proceedings of the ASP - DAC 2004 Asia and South Pacific Design Automation Conference - 2004

Y2 - 27 January 2004 through 30 January 2004

ER -

On compliance test of on-chip bus for SOC

摘要

???event.eventtypes.event.conference???

指紋

引用此