Methodology and System for Practical Formal Verification of Reactive Hardware

@inproceedings{Beer1994MethodologyAS,
  title={Methodology and System for Practical Formal Verification of Reactive Hardware},
  author={Ilan Beer and Shoham Ben-David and Daniel Geist and Raanan Gewirtzman and Michael Yoeli},
  booktitle={CAV},
  year={1994}
}
M/tking formal verification a practicality in industrial environments is still difficult. The capacity of most verification tools is too small, their integration in a design process is difficult and the methodology that should guide their usage is unclear. This paper describes a step-by-step methodology which was developed for the practical application of formal verification. The methodology was successfully realized in a production environment of hardware design. The realization involved the… CONTINUE READING

Similar Papers

Loading similar papers…