• 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