7.3.1. Equivalence Checking

Try these first

1. 1.

   What is equivalence checking?

   Hint

   Think about the purpose of comparing designs.

2. 2.

   Name one tool used for equivalence checking.

   Hint

   Recall the tools discussed in class.

3. 3.

   What does equivalence checking verify?

   • If two designs are functionally identical
   • If designs are aesthetically similar
   • If designs use the same logic gates

   Hint

   Think about functional aspects of the designs.

4. 4.

   Equivalence Checking guarantees that...

   • True
   • False

   Hint

   Recall the core purpose of this verification.

5. 5.

   Consider a scenario where after synthesis, an equivalence checker fails to find equivalence between RTL and gate-level netlist. Discuss potential issues that might arise in the final product.

   Hint

   Reflect on what happens when expected behaviors change.

6. 6.

   Describe how you would approach a situation where a tool claimed equivalence but concerns were raised about specific edge cases potentially not being addressed.

   Hint

   Think of verification strategies that support thorough checking.