15.1 IBIS模型及其验证