Overview

Eitan Marcus is a computer scientist whose documented work is in hardware functional verification and test-program generation. A 2004 author biography describes him as a research staff member in the Verification Technologies Department at the IBM Research Laboratory in Haifa, with research interests including test program generation, functional coverage, and constraint-based modeling languages. The same biography states that he holds a BS in computer science from Columbia University and an MS in computer science from Carnegie Mellon University. ^[1]

Work on functional processor verification

Marcus was listed as an author of “Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification,” an IBM Research Lab, Haifa article about model-based random test-program generation for processor verification. The article presents Genesys-Pro as a second-generation model-based test program generation tool, with improvements over Genesys including a more expressive test-template language and greater constraint-solving processing power. ^[2]

Marcus was also listed as a coauthor of “Constraint-based Random Stimuli Generation for Hardware Verification,” an AAAI 2006 paper from IBM Haifa Research Lab. The paper reports on IBM’s use of random stimuli generation for hardware verification as an application of artificial intelligence techniques, including knowledge representation, expert systems, and constraint satisfaction. It describes a system that uses an ontology to model hardware functionality and verification expertise, a special-purpose language for verification scenarios, and a constraint-satisfaction engine adapted for stimuli generation. ^[3]

Evidence limits

The provided sources support Marcus’s affiliation, education, research interests, and authorship of the cited verification papers. They do not provide broader biographical details such as birth date, nationality, later employment, or a complete publication record.