7.3.2. Property Checking

Try these first

1. 1.

   What is property checking?

   Hint

   Consider how this relates to assertions.

2. 2.

   Name a type of property checked during verification.

   Hint

   Think about what you want to ensure or guarantee in your design.

3. 3.

   What does property checking aim to do in hardware design?

   • Ensure all states are covered
   • Verify specific properties hold true
   • Run multiple simulations

   Hint

   Think about the definitions we've discussed.

4. 4.

   True or False: Safety properties ensure good things eventually happen.

   • True
   • False

   Hint

   Remember the definitions of the property types.

5. 5.

   Propose a scenario in a design where both safety and liveness properties are critical, and describe how assertions could provide verification.

   Hint

   Consider situations where safety is paramount.

6. 6.

   Create an assertion in any HDL that ensures a reset condition correctly restrains a signal from changing states during an active reset period.

   Hint

   Think of the logical states of reset.