ECE 376 HW 11 Verification