Overview
Simulation of automatically-generated test programs is the main means for verifying complex hardware designs. The Processor Verification Technologies group specializes in automatic test program generation technologies for high-end designs, with a focus on verifying processors and Symmetric Multi-Processor (SMP) systems. Our technologies are recognized as the best in the field and are used throughout IBM's major hardware development labs and by external customers.
Activities
Genesys-Pro Test Program Generator
Genesys-Pro is an industry-leading state-of-the-art test program generator for processor and multi-processor functional verification. Leveraging experience of over two decades in test generator development, the tool has enabled the verification of IBM Power architecture and non-Power architecture designs. Genesys-Pro is also licensed by external companies for the functional verification of their designs.
ACS - A System for Generating Power Compliance Suites
ACS employs a novel approach to generate test suites that verify if a given design complies with the Power architecture. ACS serves as a criterion for granting Power licenses to companies developing designs and implementing the Power architecture.
Post-Silicon Activities
Generation solution for post silicon is a new developing domain in the group. Current activities include the development of a user-controlled exerciser platform for post-silicon function verification.
Manager
Yoav Katz,
