Formal Verification

Embedded System

This set of Embedded Systems Multiple Choice Questions & Answers (MCQs) focuses on “Formal Verification”.

1. What is meant by FOL?
a) free order logic
b) fast order logic
c) false order logic
d) first-order logic

2. What is HOL?
a) higher order logic
b) higher order last
c) highly organised logic
d) higher order less

3. What is BDD?
a) boolean decision diagram
b) binary decision diagrams
c) binary decision device
d) binary device diagram

4. Which formal verification technique consists of a Boolean formula?
a) HOL
b) FOL
c) Propositional logic
d) Both HOL and FOL

5. Which of the following is also known as equivalence checker?
a) BDD
b) FOL
c) Tautology checker
d) HOL

6. Which of the following is possible to locate errors in the specification of the future bus protocol?
a) EMC
b) HOL
c) BDD
d) FOL

7. Which of the following is a popular system for model checking?
a) HOL
b) FOL
c) BDD
d) EMC

8. What is CTL?
a) computational tree logic
b) code tree logic
c) cpu tree logic
d) computer tree logic

Leave a Reply

Your email address will not be published. Required fields are marked *