Threadmill: A post-silicon exerciser for multi-threaded processors
- Allon Adir
- Maxim Golubev
- et al.
- 2011
- DAC 2011
Publications
Date
Featured collections
Popular topics
13 results for Gil Shurek
Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor
- Allon Adir
- Amir Nahir
- et al.
- 2011
- DAC 2011
Test program generation for functional verification of PowerPC processors in IBM
- Aharon Aharon
- Dave Goodman
- et al.
- 1995
- DAC 1995
Risk analysis based on design version control data
- Raviv Gal
- Gil Shurek
- et al.
- 2019
- MLCAD 2019
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 Naveli
- Michal Rimon
- et al.
- 2006
- AAAI/IAAI 2006
Generating concurrent test-programs with collisions for multi-processor verification
- A. Adir
- Gil Shurek
- 2002
- HLDVT 2002
Constraint satisfaction for test program generation
- Daniel Lewin
- Laurent Fournier
- et al.
- 1995
- Phoenix IPCCC 1995