Transaction-based debugging of system-on-chips with patterns | IEEE Conference Publication | IEEE Xplore

Transaction-based debugging of system-on-chips with patterns

Publisher: IEEE

Abstract:

This paper presents a debug method for system communications in post-silicon verification. First, we extract transaction sequences at run-time using on-chip circuits and ...View more

Abstract:

This paper presents a debug method for system communications in post-silicon verification. First, we extract transaction sequences at run-time using on-chip circuits and store them in a trace buffer. Then, we read the stored transactions and analyze them with software. The analysis software tries to find certain patterns in the extracted transactions that are defined by our transaction debug pattern specification language (TDPSL). We have also defined a number of standard patterns for common communication problems such as race and deadlock in TDPSL. To show the feasibility of the method, it is applied to a number of on chip buses. It is shown that the area overhead of the method is very low. Also we have implemented the analysis software and shown that it is memory efficient, scalable and effective to find bugs. The proposed method can also be applied to fault analysis including transient faults.
Date of Conference: 04-07 October 2009
Date Added to IEEE Xplore: 17 February 2010
ISBN Information:

ISSN Information:

Publisher: IEEE
Conference Location: Lake Tahoe, CA, USA

References

References is not available for this document.