IBM Research Laboratory Haifa
OrganizationIBM Research Laboratory Haifa is identified in the evidence as IBM Research Lab, Haifa and IBM Research Laboratory in Haifa, an affiliation for researchers working on functional processor verification, test program generation, functional coverage, constraint-based modeling, and simulation-based verification. A 2004 IEEE Design & Test of Computers article by researchers from the lab describes Genesys-Pro, a second-generation model-based test program generation tool used as the main test generation tool for functional verification of IBM processors at the time.
WIKI
IBM Research Laboratory Haifa
Overview
IBM Research Laboratory Haifa appears in the provided evidence under closely related names, including IBM Research Lab, Haifa and IBM Research Laboratory in Haifa. The 2004 article Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification lists Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, and Avi Ziv with the affiliation IBM Research Lab, Haifa.[IBM Research Lab Haifa affiliation] The same article gives a contact address for Michael Vinov at IBM Research Laboratory, Haifa University Campus, Haifa 31905, Israel.[Haifa University Campus contact address]
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →