RTL Proof · Sample
Tiny Calculator Engine
Example evidence layout · no learner identity
Simulation
Passing evidence
Directed checks + output log
Waveform
Attached
Key signals and transitions
Review
Target state
Capstone review status
Design explanation
“The controller FSM selects an ALU operation and writes the result into the register file. Separating control from the datapath made each block easier to test…”
Example learner-authored explanation
Skills demonstrated
- ✓ Controller FSM + datapath integration
- ✓ Clocked register design
- ✓ Waveform-based debugging
- ✓ Verification explanation