DESIGN VERIFICATION