Courses on Design and Verification