Risk analysis based on design version control data
- Raviv Gal
- Gil Shurek
- et al.
- 2019
- MLCAD 2019
Conference paper
Publications
13 results for Gil Shurek
Threadmill: A post-silicon exerciser for multi-threaded processors
- Allon Adir
- Maxim Golubev
- et al.
- 2011
- DAC 2011
Conference paperLeveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor
- Allon Adir
- Amir Nahir
- et al.
- 2011
- DAC 2011
Conference paperA unified methodology for pre-silicon verification and post-silicon validation
- Allon Adir
- Shady Copty
- et al.
- 2011
- DATE 2011
Conference paperOntology-based tools in the service of hardware verification
- Eyal Bin
- Alaa Ghanayim
- et al.
- 2010
- SEKE 2010
Conference paperAn ontology and constraint based approach to cache preloading
- Rajiv Bhatia
- Eyal Bin
- et al.
- 2010
- HLDVT 2010
Conference paperConstraint-based random stimuli generation for hardware verification
- Yehuda Naveh
- Michal Rimon
- et al.
- 2007
- AI Magazine
PaperConstraint-based random stimuli generation for hardware verification
- Yehuda Naveli
- Michal Rimon
- et al.
- 2006
- AAAI/IAAI 2006
Conference paperInformation-flow models for shared memory with an application to the PowerPC architecture
- Allon Adir
- Hagit Attiya
- et al.
- 2003
- IEEE TPDS
PaperGenerating concurrent test-programs with collisions for multi-processor verification
- A. Adir
- Gil Shurek
- 2002
- HLDVT 2002
Conference paper