On the effective deployment of functional formal verification

Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham

Research output: Contribution to journalArticlepeer-review


We examine IBM's exploitation of formal verification using RuleBase-a formal verification tool developed by the IBM Haifa Research Laboratory. The goal of the paper is methodological. We identify an integrated methodology for the deployment of formal verification which involves three complementary modes: architectural verification, block-level verification, and design exploration.

Original languageEnglish
Article number325207
Pages (from-to)35-44
Number of pages10
JournalFormal Methods in System Design
Issue number1
StatePublished - Jul 2001
Externally publishedYes


  • Formal verification
  • Hardware verification
  • Model checking

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture


Dive into the research topics of 'On the effective deployment of functional formal verification'. Together they form a unique fingerprint.

Cite this