• DocumentCode
    523982
  • Title

    Bridging pre-silicon verification and post-silicon validation

  • Author

    Nahir, Amir ; Ziv, Avi ; Abramovici, Miron ; Camilleri, Albert ; Galivanche, Rajesh ; Bentley, Bob ; Foster, Harry ; Hu, Alan ; Bertacco, Valeria ; Kapoor, Shakti

  • Author_Institution
    Haifa Res. Lab., IBM, Haifa, Israel
  • fYear
    2010
  • fDate
    13-18 June 2010
  • Firstpage
    94
  • Lastpage
    95
  • Abstract
    Post-silicon validation is a necessary step in a design´s verification process. Pre-silicon techniques such as simulation and emulation are limited in scope and volume as compared to what can be achieved on the silicon itself. Some parts of the verification, such as full-system functional verification, cannot be practically covered with current pre-silicon technologies. This panel brings together experts from industry, academia, and EDA to review the differences and similarities between pre- and post-silicon, discuss how the fundamental aspects of verification are affected by these differences, and explore how the gaps between the two worlds can be bridged.
  • Keywords
    formal verification; logic design; emulation technique; full-system functional verification; post-silicon validation; pre-silicon verification; simulation technique; Computer bugs; Controllability; Costs; Emulation; Engines; Hardware; Observability; Signal analysis; Silicon; Testing; Post-Silicon; Validation. Pre-Silicon; Verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference (DAC), 2010 47th ACM/IEEE
  • Conference_Location
    Anaheim, CA
  • ISSN
    0738-100X
  • Print_ISBN
    978-1-4244-6677-1
  • Type

    conf

  • Filename
    5523529