Practice Property Checking (7.3.2) - RTL Verification using Formal Methods

Practice: Property Checking

Lesson 7.3.2RTL Verification using Formal Methods

Practise this section

8 questions

Flashcard drill
5 cards from this section. Quick, good the night before a test.
Exercise
6 questions · about 4 min · pass mark 70%. Hints available.
Sign up to start the exercise
Quiz
2 questions · about 1 min · pass mark 70%. Hints available.
Sign up to start the quiz

6 sample questions

Question 1.
What is property checking?
Show hintHide hint
Consider how this relates to assertions.
Question 2.
Name a type of property checked during verification.
Show hintHide hint
Think about what you want to ensure or guarantee in your design.
3Question 3.
What does property checking aim to do in hardware design?
- Ensure all states are covered
- Verify specific properties hold true
- Run multiple simulations
Show hintHide hint
Think about the definitions we've discussed.
4Question 4.
True or False: Safety properties ensure good things eventually happen.
- True
- False
Show hintHide hint
Remember the definitions of the property types.
Question 5.
Propose a scenario in a design where both safety and liveness properties are critical, and describe how assertions could provide verification.
Show hintHide hint
Consider situations where safety is paramount.
Question 6.
Create an assertion in any HDL that ensures a reset condition correctly restrains a signal from changing states during an active reset period.
Show hintHide hint
Think of the logical states of reset.

4 more questions in this section. Enroll free to practise them all.