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