You are the formal owner for a small chip block: a 4-entry FIFO, a valid/ready bridge stage, four control registers, a 4-requester round-robin arbiter, a 3-stage arithmetic pipeline with a retimed twin, and a decade counter. The lab plants 16 faults across the six designs. You get the symptoms first and the causes last: every stage lesson gives inputs, a deliverable and a pass criterion, and the Solutions topic after stage 4 gives the causes, the killing properties and the fixes. Every stage ends in the same place, rows in a results ledger that a script can check.
Lesson | After it you can... |
|---|---|
State the requirement set, the deliverables, the rubric, and the planted faults from their symptoms. | |
Fill in a ledger row from a run, and read each complaint the ledger checker can raise. |
Suggested order: the brief first, then the harness lesson with the runner open beside you. Until the appendix at the end of the section, no tool is named.
Ledger rows: one per obligation, each citing the run it rests on. Proofs without ledger rows do not count.