20.2 验证IBIS模型