设计验证方法有哪些