8.2.2. Property Checking

Try these first

1. 1.

   What is property checking?

   Hint

   Think of what properties we want to ensure in a system.

2. 2.

   Name one type of temporal logic.

   Hint

   Temporal logic is used to specify properties over time.

3. 3.

   What does property checking primarily verify in RTL designs?

   • Functional correctness
   • Power consumption
   • Physical layout accuracy

   Hint

   Consider what aspects of a design are most critical for reliable operation.

4. 4.

   True or False: Property checking can only confirm safety properties.

   • True
   • False

   Hint

   Think about the different outcomes that can occur in a system.

5. 5.

   Design a FIFO queue using property checking principles. Write down the key properties you would verify.

   Hint

   Think about what conditions can lead to invalid states in a FIFO.

6. 6.

   Discuss how you would handle the state explosion problem when using property checking in large designs.

   Hint

   Consider techniques mentioned that help mitigate complexities.