7.7.3 检查设计输入文件与约束