设计验证控制程序