9.4 仿真验证自动化