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