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