The capstone applies the whole course to one small block. A report that looks nearly clean hides three planted problems: a divided clock that was never defined, a false path that waits to hide two real paths, and a hold violation whose obvious fix breaks setup. A runnable engine of about thirty lines computes every slack, so each claim in the lab can be checked.
Lesson | After it you can... |
|---|---|
Read the block, the constraints and the engine, and see why the first report misleads. | |
Find unconstrained endpoints and an overbroad exception, in the right order. | |
Fix setup on a shared cell and hold inside a computed window. | |
Assemble the final table, checklist and a conditional signoff statement. |
Prerequisites: the constraint audit ideas from Constraints and SDC, hold fixing from ECO and Closure and the patterns of the Debug Playbook. Everything in the lab is illustrative.
Coverage first, then exceptions: defining a clock exposes exceptions that were already in the file, so exceptions must be audited after the coverage fix.