设计验证工作包括（ ）。