. Guarantee correctness of system design
. Sometimes, it might be life saver…
1) 1994, a
FDIV problem occurred in Intel Pentium processor
2) Intel spent $475M to cover replacement and inventory writedown
cost.
3) SCL ( strategic CAD labs) founded afterwards, formal verification is
one
of its
tasks.