MCQOPTIONS
Saved Bookmarks
MCQOPTIONS
This section includes 8 Mcqs, each offering curated multiple-choice questions to sharpen your Embedded Systems knowledge and support exam preparation. Choose a topic below to get started.
| 1. |
What is CTL? |
| A. | computational tree logic |
| B. | code tree logic |
| C. | cpu tree logic |
| D. | computer tree logic |
| Answer» B. code tree logic | |
| 2. |
Which of the following is a popular system for model checking? |
| A. | HOL |
| B. | FOL |
| C. | BDD |
| D. | EMC |
| Answer» E. | |
| 3. |
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 |
| Answer» D. FOL | |
| 4. |
Which of the following is also known as equivalence checker? |
| A. | BDD |
| B. | FOL |
| C. | Tautology checker |
| D. | HOL |
| Answer» D. HOL | |
| 5. |
Which formal verification technique consists of a Boolean formula? |
| A. | HOL |
| B. | FOL |
| C. | Propositional logic |
| D. | Both HOL and FOL |
| Answer» D. Both HOL and FOL | |
| 6. |
What is BDD? |
| A. | boolean decision diagram |
| B. | binary decision diagrams |
| C. | binary decision device |
| D. | binary device diagram |
| Answer» C. binary decision device | |
| 7. |
What is HOL? |
| A. | higher order logic |
| B. | higher order last |
| C. | highly organised logic |
| D. | higher order less |
| Answer» B. higher order last | |
| 8. |
What is meant by FOL? |
| A. | free order logic |
| B. | fast order logic |
| C. | false order logic |
| D. | first order logic |
| Answer» E. | |