6.1 SIF的SIL验证