6、 Model verification(模型校验) Assertion:标注输入非零 Check Discrete gradient:检验离散度 Check Dynamic Gap:检验动态间隙 Check Dynamic Range:检验动态范围 Check Static Gap:检验静态间隙 Check Static Range:检验静态范围 Check Dynamic Lower Bound:检验动态下限 Check Dynamic Upper Bound:检验动态上限 Check Input Resolution::检验输入分辨率 Check static Lower Bound:检验静态下限 Check Static Upper Bound:检验静态上限6、Model Verification(模型校验) Assertion：标注输入非零 Check Discrete Gradient：检验离散度 Check Dynamic Gap：检验动态间隙 Check Dynamic Range：检验动态范围 Check Static Gap ：检验静态间隙 Check Static Range ：检验静态范围 Check Dynamic Lower Bound ：检验动态下限 Check Dynamic Upper Bound ：检验动态上限 Check Input Resolution： ：检验输入分辨率 Check Static Lower Bound ：检验静态下限 Check Static Upper Bound ：检验静态上限