af,otp和pdaf驱动的编写正确性检查步骤