Ask a Question
  • Home
  • Embedded Systems
  • Which of the following is possible to locate errors in the specification of the future bus protocol?

Which of the following is possible to locate errors in the specification of the future bus protocol?

← Prev Question Next Question →
+1 vote
185 views
in Embedded Systems by (271k points)
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

I got this question during an interview for a job.

This interesting question is from Formal Verification topic in portion Validation of Embedded Systems

1 Answer

+1 vote
by (535k points)
selected by
 
Best answer
Correct answer is (c) BDD

Best explanation: The model checking was developed using the binary decision diagram and the BDD and it was possible to locate errors in the specification of the future bus protocol.

Related questions

+1 vote
1 answer
What is CTL?
asked Oct 9, 2021 in Embedded Systems by Kennedy (271k points)
+1 vote
1 answer
What is BDD?
asked Oct 9, 2021 in Embedded Systems by Kennedy (271k points)
+1 vote
1 answer
What is HOL?
asked Oct 9, 2021 in Embedded Systems by Kennedy (271k points)
+1 vote
1 answer
What is meant by FOL?
asked Oct 9, 2021 in Embedded Systems by Kennedy (271k points)
+1 vote
1 answer
What is FTA?
asked Oct 9, 2021 in Embedded Systems by Kennedy (271k points)
Welcome to TalkJarvis QnA, a question-answer community website for the people by the people. On TalkJarvis QnA you can ask your doubts, curiosity, questions and whatever going in your mind either related to studies or others. Experts and people from different fields will answer.

Most popular tags

biology – class 12 biology – class 11 construction & building materials chemistry – class 12 electronic devices & circuits network theory data structures & algorithms ii cell biology ic engine insurance finance money computational fluid dynamics engineering physics i discrete mathematics chemistry – class 11 aerodynamics casting-forming-welding i engineering mathematics operating system casting-forming-welding ii engineering drawing mysql engineering geology digital circuits wireless mobile energy management electrical measurements digital communications cyber security analytical instrumentation embedded systems electric drives cytogenetics advanced machining computer fundamentals life sciences basic civil engineering iot design of electrical machines physics – class 12 applied chemistry dairy engineering basic chemical engineering cloud computing microprocessor bioinformatics aircraft design aircraft maintenance software engineering drug biotechnology digital signal processing biochemistry data structures & algorithms i automotive engine design avionics engineering material & metallurgy energy engineering cognitive radio unix electrical machines biomedical instrumentation object oriented programming electromagnetic theory power electronics analog communications bioprocess engineering civil engineering drawing engineering metrology physics – class 11 mathematics – class 12 engineering chemistry i basic electrical engineering unit processes mongodb signals and systems cryptograph & network security hadoop mathematics – class 11 engineering physics ii html control systems engineering mechanics antennas analog circuits computer network java sql server javascript concrete technology chemical process calculation artificial intelligence design of steel structures c++ database management computer architecture engineering chemistry ii corrosion engineering chemical technology dc machines
Powered by TalkJarvis
...