Chapter 11 quiz

Check yourself: Formal Signoff on Real Projects

Pick one answer per question, then press Check answers. Explanations appear after checking. Your best score is saved in this browser.

Q1 Which block is the strongest candidate for formal signoff? A floating-point divider with a vague spec. A new interrupt controller with clear interface rules and mostly control logic. A complete CPU running software. An analog front end.

Q2 What does proof-core coverage add over COI coverage? Nothing; they are the same. It shows which logic was actually needed for the proofs, not just what could influence the properties. It counts simulation cycles. It lists unreachable covers.

Q3 Why should a formal regression fail when a cover becomes unreachable after an RTL change? Because covers are slow. Because it may mean assertions are now vacuous or the environment is over-constrained — a silent false positive. Because tools require it. It should not fail.

Was this page helpful?

Tip: select any text on the page before clicking Report and it will be quoted in your report.