6.4.2. Formal Verification

Try these first

1. 1.

   What is formal verification?

   Hint

   Think about what formal means in mathematics.

2. 2.

   What does equivalence checking verify?

   Hint

   What two design levels are compared in equivalence checking?

3. 3.

   What does formal verification primarily assure?

   • Design aesthetics
   • Correctness under all conditions
   • Performance optimization

   Hint

   Consider what formal methods are designed to do.

4. 4.

   True or False: Property checking guarantees that a design will enter an invalid state.

   • True
   • False

   Hint

   Think about the goals of property checking.

5. 5.

   Design a set of properties you might want to check in a safety-critical application and explain why each is essential.

   Hint

   Consider the worst-case scenarios for real-world implications.

6. 6.

   Explain how you would implement a formal verification strategy for a new design. What steps would you take?

   Hint

   Think about the logical order of the verification process.