Title :
AMBA AHB bus potocol checker with efficient debugging mechanism
Author :
Lin, Yi Ting ; Wang, Chien Chou ; Huang, Ing Jer
Author_Institution :
Dept. of Comput. Sci. & Eng., Nat. Sun Yat-sen Univ., Kaohsiung
Abstract :
Bus-based system-on-chip (SoC) design becomes the major integration methods for shorting design cycle and time-to-market, thus how to verify IP functionality on bus protocol is a challenge. Traditional simulation-based bus protocol monitors can check bus signals obey bus protocol or not, but they often lack of efficient debugging mechanisms .We propose a rule-based bus protocol checker, it contains 73 related bus protocol rules to check bus signal behavior, and two corresponding debugging mechanism to shorten debugging times. Error reference table can summarize design under tests (DUTs) have been violated; Windowed trace buffer can capture multiple errors´ history data that helps designer debug efficiently.
Keywords :
computer debugging; protocols; system-on-chip; time to market; AMBA AHB; IP functionality; SoC design; bus-based system-on-chip; debugging mechanism; debugging mechanisms; design under tests; integration methods; rule-based bus protocol checker; time-to-market; windowed trace buffer; Computational modeling; Computer science; Debugging; Design engineering; Design methodology; Formal verification; Master-slave; Monitoring; Protocols; System-on-a-chip;
Conference_Titel :
Circuits and Systems, 2008. ISCAS 2008. IEEE International Symposium on
Conference_Location :
Seattle, WA
Print_ISBN :
978-1-4244-1683-7
Electronic_ISBN :
978-1-4244-1684-4
DOI :
10.1109/ISCAS.2008.4541571