Processor Verification Technologies
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.
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.
Floating-Point Test Generator - FPgen
FPgen is a test generator targeted toward the verification of the floating point datapath. FPgen is a generic tool that targets architectures compliant with IEEE Standard 754. However, it can also be used for architectures that deviate from the standard. FPGen includes a generic test plan (GTP) for floating point to help verification engineers in the process of FPU datapath verification. This GTP is based on the experience accumulated during the verification of several processors in IBM, along with a deep knowledge and understanding of algorithms and design for the floating point unit. The GTP contains many interesting cases to be checked in simulation. It is coverage-oriented and comprises several coverage models, each targeting a specific part of the FPU, or a particular feature of floating point. These models are also implemented as input files for FPgen, giving the user a large base with which to begin the verification process.
Test Plan Automation
The Test Plan Automation (TPA) project explores new directions in processor-level test generation. We have defined two long term goals. The first goal is to develop a processor-level scenario definition language and supporting tools which enable a more efficient and higher quality implementation of directed test plans. The second goal is to define and implement an extendible generic test plan customizable for any architecture and micro-architecture. TPA will also introduce an additional layer to the GenesysPro test generator.