Hardware and Software, Verification and Testing