Skip to main content

IBM Research - Haifa

Verification and Cognitive Computing

The Verification and Cognitive Computing department develops advanced tools and technologies spanning the entire spectrum of dynamic functional verification: test-program and stimuli generation, functional coverage, and checking. The department specializes in the development of functional verification solutions for high-end designs focusing on the verification of micro-processors, multi-processor designs, and large systems. These technologies are recognized as the best in the field; they are being used extensively throughout IBM in all major hardware development labs.

Our mission is to provide IBM with continued innovation in the hardware verification arena, in order to keep IBM's verification capabilities ahead of the competition, and to timely address new verification challenges stemming from IBM's aggressive hardware product plans. At the heart of our most advanced research and development activities are two major computer science disciplines: Constraint Satisfaction (CSP) and Machine Learning. The technological assets we have developed around these disciplines are providing IBM with a significant competitive advantage in the area of hardware verification, and more recently, are also starting to bring value and impact for IBM products and solutions beyond the verification domain.


Related Resources

Senior Manager

Moshe Levinger, Senior Manager Verification and Cognitive Computing, IBM Research - Haifa

: Senior Manager Verification and Cognitive Computing, IBM Research - Haifa