|
RuleBase is an industrial-strength formal verification (FV) tool, developed by the IBM Haifa Research Laboratory. RuleBase is especially applicable for verifying the control logic of large hardware designs. Based on years of experience in practical FV, RuleBase offers this advanced technology to designers and verification engineers and not only to FV experts.
Whats New?
"Functional Verification of Power Gated Designs by Compositional Reasoning",
Cindy Eisner, Amir Nahir, and Karen Yorav, CAV 2008: 433-445. |
| RuleBase 2.03 released. Contact us for information on our new features |
| RuleBase PE 2.02 released. This new version of rulebase introduces automatic configuration, liveness support in SAT based engines, and many more exciting features |
| RuleBase 2.01 released. Contact us for information on our new features |
| RuleBase PE 2.00 released. This new version of rulebase introduces automatic configuration, liveness support in SAT based engines, and many more exciting features |
"Underapproximation for Model-Checking Based on Random Cryptographic Constructions",
Arie Matsliah and Ofer Strichman, accepted to CAV'07 |
"On-The-Fly Resolve Trace Minimization",
Ohad Shacham and Karen Yorav, DAC'07 |
| New to Formal Verification? |
RuleBase Parallel Edition was announced on February 16, 2004, IBM, and follow-on versions are delivered to customers on a regular basis. RuleBase, based on breakthrough technology that was previously only available to IBM engineers, provides superior verification performance and increases the size of designs that can be formally verified. RuleBase PE is based on parallel, formal, and semi-formal verification algorithms that were developed in IBM Research Labs at Haifa.
With RuleBase PE, IBM delivers the experience, the technology and the innovation you need to win in the consumer electronics, semiconductor or industrial automation marketplace. See more on IBM's industry know how and experience in the electronics field in general and electronic design tools in particular.
IBM presents RuleBase PE at the annual DAC conferences and other industry events
See this press release and this paper to review what was said about RuleBase PE at DAC'05.
RuleBase is available to universities, under certain conditions.
Contacts
Sivan Rabinovich
IBM Haifa Research Lab
Haifa University Campus
Mount Carmel
Haifa 31905
Israel
Email: sivanr@il.ibm.com
Tel: +972-4-828-1108
| |
DeepChip Verification Census, 2007: Quotes from users of RuleBase PE
July 24, 2008:
RuleBase PE 2.03 Released to Customers.
Contact us for more information on breakthrough improvements.
|
