Product Design and Verification