Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Gil Shurek
Observed names:
G Shurek,
G. Shurek
Institution:
IBM Research - Haifa
Observed institutions:
IBM (United States),
Technion – Israel Institute of Technology,
IBM Research - Haifa,
University of Haifa
OpenAlex ID:
A5020810091
Test Program Generation for Functional Verification of PowePC Processors in IBM
1995
·
Aharon Aharon
, Dave Goodman
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
167
Constraint-Based Random Stimuli Generation for Hardware Verification
2006
·
Y. Naveh
, Michal Rimon
, et al.
·
104
Using a constraint satisfaction formulation and solution techniques for random test program generation
2002
·
E. Bin
, R. Emek
, et al.
·
IBM Systems Journal
·
88
A unified methodology for pre-silicon verification and post-silicon validation
2011
·
A Adir
, S Copty
, et al.
·
Design, Automation, and Test in Europe
·
66
Information-flow models for shared memory with an application to the powerPC architecture
2003
·
A. Adir
, H. Attiya
, et al.
·
IEEE Transactions on Parallel and Distributed Systems
·
48
Threadmill
2011
·
Allon Adir
, Maxim Golubev
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
38
Generating concurrent test-programs with collisions for multi-processor verification
2003
·
A. Adir
, G. Shurek
·
Proceedings
·
27
Constraint satisfaction for test program generation
2002
·
D. Lewin
, L. Fournier
, et al.
·
International Phoenix Conference on Computers and Communications (IPCCC)
·
24
Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor
2011
·
Allon Adir
, Amir Nahir
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
21
The modular framework of computer-aided verification
2005
·
Gil Shurek
, Orna Grumberg
·
Springer eBooks
·
17
The Verification Cockpit – Creating the Dream Playground for Data Analytics over the Verification Process
2015
·
Moab Arar
, Michael Behm
, et al.
·
Lecture notes in computer science
·
7
COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design
2017
·
Hamid R. Motahari Nezhad
, Karen Yorov
, et al.
·
Lecture notes in computer science
·
5
The modular framework of computer-aided verification
1991
·
G. Shurek
, O. Grumberg
·
DIMACS series in discrete mathematics and theoretical computer science
·
5
Risk Analysis Based On Design Version Control Data
2019
·
Raviv Gal
, Gil Shurek
, et al.
·
ACM/IEEE Workshop on Machine Learning for CAD (MLCAD)
·
2
Ontology-Based Tools in the Service of Hardware Verification.
2010
·
Eyal Bin
, Alaa Ghanayim
, et al.
·
Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering
·
2
A New Test-Generation Methodology for System-Level Verification of Production Processes
2013
·
Allon Adir
, Alex Goryachev
, et al.
·
Lecture notes in computer science
·
1
An ontology and constraint based approach to cache preloading
2010
·
Rajiv Bhatia
, Eyal Bin
, et al.
·
Proceedings
·
1
Designer-level verification: an industrial experience story
2015
·
Stephen Bergman
, Gabor Bobok
, et al.
·
Design, Automation, and Test in Europe
Designer-Level Verification – An Industrial Experience Story
2015
·
Stephen Bergman
, Gabor Bobok
, et al.
·
Design, Automation, and Test in Europe
Show more works
View as search
Works count:
19
Citation count:
623
H-index:
10
I10-index:
10
Year
Topic
Type
