Part 17 answers: Can you apply all of it?

Five exercises that use the whole course: write a plan from a specification, find all 24 DCRouter bugs at the lowest cost, review a flawed plan, sit on a sign-off board, and debug a night of regression failures.

After this part you can

• Write and defend a complete verification plan.

• Choose the cheapest mix of techniques that finds every planted bug.

• Make and defend a tape-out decision from evidence.

Lessons

Every lesson in this part is ready. Work through them in order: each one sets up the problem the next one solves.

Related topics

• Course hub

• Previous: Part 16 · Case Studies

• Next: Part 18 · Interview Preparation