L04 (09.25): Verification of the detailed design