|
We have collected some of the user testimonials from the 2007 DeepChip Verification Census done by John Cooley, The question was:
Does your project use formal "bug hunters"? [...] In your opinion are these formal "bug hunters" useful or a waste of time?
Here are some of the answers regarding RuleBase PE:
- Yes - IBM RuleBase. Useful - wouldn't do another project without it!
- IBM Rulebase for IP verification. Very usefull.
- We're using IBM RuleBase as a "complete" verification tool for IPs which are simple and/or regular enough to be appropriate. Some blocks don't get simulated at all at the IP level, and just a simple simulation at SoC level.
- Yes, IBM RuleBase, useful
2005 DeepChip Verification Census user testimnials:
- "...the best tool (as for performances, at least) is still IBM's RuleBase."
- "We have .... 15 verification engineers using IBM RuleBase via a pre-defined package of properties."
- "Have used IBM RuleBase for functional formal checking and was very impressed with its performance on debugging a complex control logic in the execution unit of a processor. Absolutely useful at block-level control logic verification and weeds out bugs much much earlier than directed/random method would do."
- "IBM RuleBase…is really great. I used it in my former company and it really finds bugs quickly."
| 
