Practice Model Checking (7.3.3) - RTL Verification using Formal Methods

Practise this section

9 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
3 questions · about 2 min · pass mark 70%. Hints available.
Sign up to start the quiz

6 sample questions

Question 1.
What is model checking?
Show hintHide hint
Think about how states are systematically checked.
Question 2.
Give an example of a safety property.
Show hintHide hint
Safety properties prevent bad occurrences.
3Question 3.
What does model checking entail?
- Only checking specific test cases
- Exhaustively exploring all possible states
- Running simulations under different conditions
Show hintHide hint
Remember the main goal of model checking.
4Question 4.
Safety properties ensure that bad things never happen in a system. True or False?
- True
- False
Show hintHide hint
Safety concerns the prevention of undesired events.
Question 5.
Design a simple circuit and define the safety and liveness properties for it. Then, describe how you would use model checking to verify these properties.
Show hintHide hint
Focus on the properties relevant to your design.
Question 6.
Explain the role of state space reduction techniques in model checking and give an example of such a technique.
Show hintHide hint
Consider how reducing complexity aids in model checking.

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