Skip to content
STIMSMITH

IBM Research - Haifa

Organization
First seen 6/15/2026
Last seen 7/28/2026
Evidence 5 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

9 connections
Constraint satisfaction for test program generation ← published by 95% 1e
All authors of the paper are affiliated with IBM Research - Haifa.
Daniel R. Lewin ← part of 100% 1e
Daniel R. Lewin is affiliated with IBM Research - Haifa.
Laurent Sébastien Fournier ← part of 100% 1e
Laurent Sébastien Fournier is affiliated with IBM Research - Haifa.
Moshe Levinger ← part of 100% 1e
Moshe Levinger is affiliated with IBM Research - Haifa.
E. Roytman ← part of 100% 1e
E. Roytman is affiliated with IBM Research - Haifa.
Gil Shurek ← part of 100% 1e
Gil Shurek is affiliated with IBM Research - Haifa.
Threadmill: A Post-Silicon Exerciser for Multi-Threaded Processors ← authored by 100% 1e
The paper originates from IBM Research - Haifa.
A Unified Methodology for Pre-Silicon Verification and Post-Silicon Validation ← authored by 100% 1e
The paper is affiliated with IBM Research - Haifa.
Genesys-Pro uses → 90% 1e
GenesysPro has been used by IBM for over ten years in processor verification.