RuleBase PE is IBM’s industrial-strength platform for hardware formal-verification, and is developed in the IBM Haifa Research Lab. RuleBase is especially applicable for verifying the control logic of large hardware designs. RuleBase PE offers formal-verification technology to designers and verification engineers. Its use is not limited to experts and requires only a short training period. RuleBase PE offers an “automatic-pilot” mode for novices and a “manual gearbox” mode for senior FV engineers—checking both black-box and white box properties of a design.
Keywords for this software
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
- Grumberg, Orna; Meller, Yael; Yorav, Karen: Applying software model checking techniques for behavioral UML models (2012)
- Benalycherif, Lyes; McIsaac, Anthony: A semantic condition for data independence and applications in hardware verification (2009)
- Eisner, Cindy; Nahir, Amir; Yorav, Karen: Functional verification of power gated designs by compositional reasoning (2009)
- Nevo, Ziv: User-friendly model checking: Automatically configuring algorithms with rulebase/PE (2009)
- Gott, Rebecca M.; Baumgartner, Jason; Roessler, Paul; Joe, S.I.: Functional formal verification on designs of pseries microprocessors and communication subsystems. (2005)
Further publications can be found at: https://www.research.ibm.com/haifa/projects/verification/RB_Homepage/publications.html