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
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;
Conference_Titel :
Design Automation Conference (DAC), 2010 47th ACM/IEEE
Conference_Location :
Anaheim, CA
Print_ISBN :
978-1-4244-6677-1