7.4.1. Exhaustive Coverage

Try these first

1. 1.

   What is exhaustive coverage in formal verification?

   Hint

   Think about how many different combinations we can have.

2. 2.

   What does formal verification aim to prove?

   Hint

   Consider what characteristics we want to validate in a design.

3. 3.

   What is the primary benefit of exhaustive coverage in formal verification?

   • It is less expensive
   • It checks all possible input states
   • It requires no assertions

   Hint

   Review what it means to check every possibility in a design.

4. 4.

   True or False: Traditional simulation can guarantee that a design is free of bugs.

   • True
   • False

   Hint

   Consider what limitations traditional methods have.

5. 5.

   You are tasked with designing a traffic signal controller that must work correctly under all possible light and pedestrian signal configurations. Discuss how you would use formal verification to ensure exhaustive coverage in testing this design.

   Hint

   Consider what configurations might cause issues in real-world scenarios.

6. 6.

   A complex digital circuit design occasionally fails under rare input conditions. Propose a formal verification strategy focused on exhaustive coverage for detecting these failures.

   Hint

   Think about what types of failures are commonly missed during traditional testing.