On compliance test of on-chip bus for SOC

- In this paper, we employ a monitor-based approach for on-chip bus (OCB) compliance test. To describe the OCB protocols,we proposea 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 OCR protocols, WISHBONE and AMBA AHB, as the study cases. The experimentalresults show that we can verify the OCB prolocols efiiciently and detectthe designerrorswhen tests fail.

• Type: Conference
• Year: 2004
• Where: ASPDAC
• Authors: Hue-Min Lin, Chia-Chih Yen, Che-Hua Shih, Jing-Yang Jou
• Keywords: ASPDAC 2004, OCB Protocols, On-chip Bus, We Proposea