DocumentCode
2681260
Title
Post-silicon bug diagnosis with inconsistent executions
Author
DeOrio, Andrew ; Khudia, Daya Shanker ; Bertacco, Valeria
Author_Institution
Univ. of Michigan, Ann Arbor, MI, USA
fYear
2011
fDate
7-10 Nov. 2011
Firstpage
755
Lastpage
761
Abstract
The complexity of modern chips intensifies verification challenges, and an increasing share of this verification effort is shouldered by post-silicon validation. Focusing on the first silicon prototypes, post-silicon validation poses critical new challenges such as intermittent failures, where multiple executions of a same test do not yield a consistent outcome. These are often due to on-chip asynchronous events and electrical effects, leading to extremely time-consuming, if not unachievable, bug diagnosis and debugging processes. In this work, we propose a methodology called BPS (Bug Positioning System) to support the automatic diagnosis of these difficult bugs. During post-silicon validation, lightweight BPS hardware logs a compact encoding of observed signal activity over multiple executions of the same test: some passing, some failing. Leveraging a novel post-analysis algorithm, BPS uses the logged activity to diagnose the bug, identifying the approximate manifestation time and critical design signals. We found experimentally that BPS can localize most bugs down to the exact root signal and within about 1,000 clock cycles of their occurrence.
Keywords
formal verification; integrated circuit design; automatic diagnosis; bug positioning system; electrical effects; inconsistent execution; intermittent failures; on-chip asynchronous events; post-silicon bug diagnosis; post-silicon validation; verification effort; Computer bugs; Debugging; Hardware; Manufacturing; Silicon; Software; System-on-a-chip;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer-Aided Design (ICCAD), 2011 IEEE/ACM International Conference on
Conference_Location
San Jose, CA
ISSN
1092-3152
Print_ISBN
978-1-4577-1399-6
Electronic_ISBN
1092-3152
Type
conf
DOI
10.1109/ICCAD.2011.6105414
Filename
6105414
Link To Document