Title :
RuleBase: an industry-oriented formal verification tool
Author :
Beer, Ilan ; Ben-David, Shoham ; Eisner, Cindy ; Landver, Avner
Author_Institution :
IBM Israel Sci. & Technol. Center, Haifa, Israel
Abstract :
RuleBase is a formal verification tool, developed by the IBM Haifa Research Laboratory. It is the result of three years of experience in practical formal verification of hardware which, we believe, has been a key factor in bringing the tool to its current level of maturity. We present the tool, including several unique features, and summarize our usage experience
Keywords :
formal verification; logic CAD; IBM Haifa Research Laboratory; RuleBase; industry-oriented formal verification tool; Electronic design automation and methodology; Engines; Formal verification; Hardware design languages; Laboratories; Logic design; Permission; Robustness; Sugar industry; Usability;
Conference_Titel :
Design Automation Conference Proceedings 1996, 33rd
Conference_Location :
Las Vegas, NV
Print_ISBN :
0-7803-3294-6
DOI :
10.1109/DAC.1996.545656
