Michael Vinov

Person

Michael Vinov is a computer engineering researcher associated with IBM Research Lab in Haifa, with documented work in functional processor verification, test program generation, constraint-based random stimuli generation, and related AI techniques for hardware verification.

First seen 5/23/2026

Last seen 5/26/2026

Evidence 3 chunks

Wiki v2

WIKI

Overview

Michael Vinov is a computer engineering researcher associated with IBM Research Lab in Haifa. His documented technical work centers on functional processor verification, test program generation, computer architecture, and parallel computing.[C1]

Research areas

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections

Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification ← authored by 100% 1e

The paper is authored by Michael Vinov among others

Constraint-based Random Stimuli Generation for Hardware Verification ← authored by 100% 1e

Michael Vinov is listed as an author of the paper.

LINKED ENTITIES

1 links

IBM Research Lab Haifa affiliation Vinov is listed as an author from IBM Research Lab, Haifa in the Genesys-Pro article and as an author affiliated with IBM Haifa Research Lab in the AAAI paper.

CITATIONS

6 sources

6 citations — click to expand

[1] Vinov's research interests include computer architectures, test program generation, functional verification, and parallel computing; his degrees include a BS in computer engineering from the Moscow Institute of Radio Technique, Electronics and Automation and an MS in computer engineering from the Technion, Israel Institute of Technology. Genesys-pro: innovations in test program generation for functional ...

[2] Vinov co-authored the 2004 Genesys-Pro article, which describes Genesys-Pro as a second-generation model-based test program generation tool for functional processor verification with improved template-language expressiveness and constraint-solving power. Genesys-pro: innovations in test program generation for functional ...

[3] Vinov co-authored the 2006 AAAI paper 'Constraint-based Random Stimuli Generation for Hardware Verification' and was listed with IBM Haifa Research Lab affiliation. Constraint-Based Random Stimuli Generation for Hardware Verification

[4] The 2006 AAAI paper reports on IBM's use of AI technologies including knowledge representation, expert systems, and constraint satisfaction for random stimuli generation in hardware verification, generating tests or stimuli before silicon fabrication to check conformance to specifications. Constraint-Based Random Stimuli Generation for Hardware Verification

[5] The 2006 AAAI paper describes the technology as using an ontology, a special-purpose scenario language, and a CSP solver whose engine adapts maintain-arc-consistency for stimuli generation. Constraint-Based Random Stimuli Generation for Hardware Verification

[6] The 2004 Genesys-Pro article directs questions and comments to Michael Vinov at IBM Research Laboratory, Haifa University Campus, Haifa 31905, Israel, using vinov@il.ibm.com. Genesys-pro: innovations in test program generation for functional ...