Conclusions

Formal techniques are finding increasing use in verifying hardware

  • Beginning to see many success stories in real designs
    • by applying the appropriate approach to parts of the design

  • Lot of opportunity for developing improved methods
    • Integrating different techniques
    • Better abstractions to deal with large designs