rakko
Full Member level 4
Which one of these designs is most suited to use formal verification instead of simulation completely (not hybrid approach)?
-Multipliers
-MPEG Decoder
-Arbiters
-CPU
The property "If a request is received, a grant will eventually be detected" is a:
-Liveness Property
-Safety Property
-Don't know
"Blackboxing" is to eliminate a sub-module from consideration when doing formal analysis. If a property is proven after blackboxing, what does it say about the design without the blackboxing analysis?
-The actual design is correct with respect to the property
-The actual design is incorrect with respect to the property
-No guarantee can be said about the correctness of the actual design with respect to the property
-Don't know
If the run produces a counter-example after blackboxing, what does it say about the design without the blackboxing analysis?
-The actual design is correct with respect to the property
-The actual design is incorrect with respect to the property
-No guarantee can be said about the correctness of the actual design with respect to the property
-Don't know
True or False: Assuming no constraints are used in the analysis, if a property is proven to be true by formal analysis tool, then it is tested for all possible input scenarios.
-True
-False
-Don't know
"Overconstraint" of assumptions is when the user defines a legal behavior as illegal and removes it from analysis. If the property is proved while given overconstrained assumptions, what can be said about the formal analysis?
-The actual design is correct with respect to the property
-The actual design is incorrect with respect to the property
-No guarantee can be said about the correctness of the actual design with respect to the property
-Don't know
"Underconstraint" of assumptions is when the user allows illegal inputs into the DUT. If the property is proved while it is underconstrained, what can be said about the formal analysis?
-The actual design is correct with respect to the property
-The actual design is incorrect with respect to the property
-No guarantee can be said about the correctness of the actual design with respect to the property
-Don't know
-Multipliers
-MPEG Decoder
-Arbiters
-CPU
The property "If a request is received, a grant will eventually be detected" is a:
-Liveness Property
-Safety Property
-Don't know
"Blackboxing" is to eliminate a sub-module from consideration when doing formal analysis. If a property is proven after blackboxing, what does it say about the design without the blackboxing analysis?
-The actual design is correct with respect to the property
-The actual design is incorrect with respect to the property
-No guarantee can be said about the correctness of the actual design with respect to the property
-Don't know
If the run produces a counter-example after blackboxing, what does it say about the design without the blackboxing analysis?
-The actual design is correct with respect to the property
-The actual design is incorrect with respect to the property
-No guarantee can be said about the correctness of the actual design with respect to the property
-Don't know
True or False: Assuming no constraints are used in the analysis, if a property is proven to be true by formal analysis tool, then it is tested for all possible input scenarios.
-True
-False
-Don't know
"Overconstraint" of assumptions is when the user defines a legal behavior as illegal and removes it from analysis. If the property is proved while given overconstrained assumptions, what can be said about the formal analysis?
-The actual design is correct with respect to the property
-The actual design is incorrect with respect to the property
-No guarantee can be said about the correctness of the actual design with respect to the property
-Don't know
"Underconstraint" of assumptions is when the user allows illegal inputs into the DUT. If the property is proved while it is underconstrained, what can be said about the formal analysis?
-The actual design is correct with respect to the property
-The actual design is incorrect with respect to the property
-No guarantee can be said about the correctness of the actual design with respect to the property
-Don't know