Verification
Overview
The constraint solver serves as the internal engine for IBM test generation tools for hardware verification; these tools include GenesysPro, FPgen, TPA, CacheLoader and X-Gen. As such, it serves as a technological basis for verifying virtually all IBM high-end processors and systems:
- IBM iSeries, pSeries, and zSeries servers
- IBM Cell processor
Using our constraint solver, IBM's hardware verification tools have reduced design and verification costs by more than $100M. External companies that licensed the test generator tools noted the powerful CSP engine capabilities as a key factor in their decision.
Contact: Wesam Ibraheem (wesam@il.ibm.com)