[ IBM Research ]
[ Home ] [ News ] [ Products & Services] [ Support ] [ Solutions ] [ Partners ] [ About IBM ]
Department overview
Homepage
Verification Background
General Structure
Genesys Experience
Genesys Features
Genesys Presentation
Screen Captures
Papers
FAQ
Feedback & Results
Contact Information


Research home
Employment
Genesys

> Back to Haifa Departments

Users comments on Genesys

  • "HRL's test case generation tools are probably the best in the industry. Genesys/Genie have proven their strength and usefulness in finding some of our most difficult design bugs" – PowerPC Development Director

  • "The Genesys/Genie tool set is an excellent technical achievement and it is an area of leadership for IBM within the industry ... [they] were critical tools for AS/400 verification during my tenure as verification manager." – AS/400 Verification Manager

  • "If you only claim the value of the processing cost, you will still add millions to your case ... Shorter time to market, shorter design cycles, faster bring up cycles and fewer escapes are all items you should claim" – AS/400 Verification Manager

  • "I've looked into the value of these tools and found that indeed, they are at the core of our improvements and industry leadership in (SMP) verification ... our recent processors came up extremely well! Had we not had these tools, we would have had at least one more RIT pass for sure (3 months). Also, they are being heavily utilized for our current processor which is a very complex 32 Way design" – VP IBM Server Group


Bugs found by Genesys and other means in a PowerPC design




[ Privacy ] [ Legal ] [ Search ] [ Contact ]