Allon Adir
Allon Adir is a research staff member at the IBM Research Laboratory in Haifa. His research interests include test program generation, multiprocessor verification, languages for shared memory, and distributed programming.
Education
Adir has a BS and an MS in computer science from the Technion, Israel Institute of Technology.
Research and publications
Adir was one of the IBM Research Lab, Haifa authors of “Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.” The paper describes Genesys-Pro as a second-generation model-based test program generation tool for functional processor verification, improving on Genesys with a more expressive test-template language and greater constraint-solving processing power.
The same source lists Adir-associated publications in high-level design validation and test, including:
- “Improving Test Quality through Resource Reallocation,” Proc. 6th IEEE International Workshop on High-Level Design Validation and Test (HLDVT 2001), pp. 64–69.
- “Generating Concurrent Test-Programs with Collisions for Multi-Processor Verification,” Proc. 7th Annual IEEE International Workshop on High-Level Design Validation and Test (HLDVT 2002), pp. 77–82.
Notes
The provided public context includes a Wikipedia entry for Allan Adair, a British Army officer. That entry concerns a different person and is not used as evidence for this article.