7.3. Formal Verification Methods

Try these first

1. 1.

   What is Equivalence Checking?

   Hint

   Think about comparing two different models of the same design.

2. 2.

   What does Property Checking ensure?

   Hint

   Remember, we categorize these properties into safety and liveness.

3. 3.

   What is the purpose of equivalence checking?

   • To validate behaviors under testing
   • To ensure identical operation of design descriptions
   • To summarize design attributes

   Hint

   Think of it as looking at two different forms of the same thing.

4. 4.

   True or False: Property checking uses specific input test cases.

   • True
   • False

   Hint

   Reflect on whether property checking is exhaustive or selective.

5. 5.

   Given an RTL design and its synthesized version, outline the steps for Equivalence Checking.

   Hint

   Think through the tool's output and what constitutes equivalence.

6. 6.

   Describe a complex situation where Model Checking might struggle, and suggest a workaround.

   Hint

   Consider how simplifying a design might help in verification.