Formal Verification from IBM

IBM research is offering an opportunity to license some of the most advanced technologies we develop. We believe that by sharing our technologies with companies outside IBM we enhance our understanding of the technology and dramatically improve our ability to develop and improve it.

Over the years we have licensed RuleBase to many chip design companies outside of IBM. Some of these customers are users of RuleBase for more than a decade. This fact alone serves as the strongest evidence for the superiority of our technology. Most of our efforts are targeted in delivering more power and capacity for our users, through innovative model checking technology, active research and constant benchmarking to make sure we are leading the field of formal verification. We learned from many years of experience in applying formal verification that the most important aspect of this technology is the capacity of the tool. We are proud to share the strongest formal verification technology in the world with our customers.

For licensing opportunities and information please contact:

Sivan Rabinovich IBM Haifa Research Laboratory
Haifa University Campus
Mount Carmel
Haifa 31905
ISRAEL