• DocumentCode
    2244626
  • 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
  • fYear
    1996
  • fDate
    3-7 Jun, 1996
  • Firstpage
    655
  • Lastpage
    660
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference Proceedings 1996, 33rd
  • Conference_Location
    Las Vegas, NV
  • ISSN
    0738-100X
  • Print_ISBN
    0-7803-3294-6
  • Type

    conf

  • DOI
    10.1109/DAC.1996.545656
  • Filename
    545656
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2244626