Subject: Formal verification of hardware designs

22 general knowledge quiz questions. It should take around 5 minutes to complete all the questions.