逻辑验证短周期