History and Related Tools
For over two decades, the researchers in the IBM Haifa Research Lab have been developing technologies and solutions for functional verification. Genesys Pro is the fourth-generation architectural-level test case generator. Its predecessor, Genesys, was the backbone for early PowerPC designs and used in other commercial designs based on a variety of architectures, e.g., the x86, ARM, and ST100/ST200 VLIW processors. Leveraging the experience from Genesys, and mainly from the Genesys model-based approach, Genesys Pro was built from scratch and added significant new capabilities, including the new constraint satisfaction engine and the expressive test template language.
Additional test generator tools developed in the department include: