Question 11 : What is HOL?
1. higher order logic
2. higher order last
3. highly organised logic
4. higher order less
View Answer   Discuss with Members

Question 12 : What is BDD?
1. boolean decision diagram
2. binary decision diagrams
3. binary decision device
4. binary device diagram
View Answer   Discuss with Members

Question 13 : Which of the following is a popular system for model checking?
1. HOL
2. FOL
3. BDD
4. EMC
View Answer   Discuss with Members

Question 14 : What is meant by FOL?
1. free order logic
2. fast order logic
3. false order logic
4. first order logic
View Answer   Discuss with Members

Question 15 : Which gate is used in the graphical representation, if several events cause hazard?
1. OR
2. NOT
3. AND
4. NAND
View Answer   Discuss with Members

Question 16 : Which is also called stuck-at model?
1. byte pattern
2. parity pattern
3. bit pattern
4. test pattern
View Answer   Discuss with Members

Question 17 : What is FSM?
1. Fourier state machine
2. finite state machine
3. fast state machine
4. free state machine
View Answer   Discuss with Members

Question 18 : What is FMEA?
1. fast mode and effect analysis
2. front mode and effect analysis
3. false mode and effect analysis
4. failure mode and effect analysis
View Answer   Discuss with Members

Question 19 : Which formal verification technique consists of a Boolean formula?
1. HOL
2. FOL
3. Propositional logic
4. Both HOL and FOL
View Answer   Discuss with Members

Question 20 : What is CRC?
1. code reducing check
2. counter reducing check
3. counting redundancy check
4. cyclic redundancy check
View Answer   Discuss with Members