RuleBasePE

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

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 5 articles )

Showing results 1 to 5 of 5.
Sorted by year (citations)

  1. Grumberg, Orna; Meller, Yael; Yorav, Karen: Applying software model checking techniques for behavioral UML models (2012)
  2. Benalycherif, Lyes; McIsaac, Anthony: A semantic condition for data independence and applications in hardware verification (2009)
  3. Eisner, Cindy; Nahir, Amir; Yorav, Karen: Functional verification of power gated designs by compositional reasoning (2009)
  4. Nevo, Ziv: User-friendly model checking: Automatically configuring algorithms with rulebase/PE (2009) ioport
  5. Gott, Rebecca M.; Baumgartner, Jason; Roessler, Paul; Joe, S. I.: Functional formal verification on designs of pseries microprocessors and communication subsystems. (2005) ioport


Further publications can be found at: https://www.research.ibm.com/haifa/projects/verification/RB_Homepage/publications.html