设计验证的目的是验证设计输出是否满足()的要求。