Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

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
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