dvabsolutetolerance.

由这件设定浮点绝对耐受性参数在设计验证者>测试生成窗格。

双倍的{'1.0e-05'}

脱离子

由这件设定断言块参数在设计验证者>财产证明窗格。

'elableall'|'disableall'|{'UselocalSettings'}

dvautomaticstubbing.

由这件设定自动破坏不支持的块和函数万博1manbetx参数在设计验证者窗格。

{'上'} |'离开'

dvblockreplacement.

由这件设定应用块替换参数在设计验证者>块替换窗格。

'on'|{'离开'}

dvblockreplacementmodelfilename.

由这件设定输出模型的文件路径参数在设计验证者>块替换窗格。

字符阵列{'$ modelname $ _replacement'}

dvblockreplacementruleslist.

由这件设定块替换规则列表参数在设计验证者>块替换窗格。

字符阵列{''}

dvcodeanalysisextraOptions.

由这件设定代码分析的其他选项参数在设计验证者窗格。

字符阵列{''}

dvcoveragedatafile.

由这件设定覆盖数据文件参数在设计验证者>测试生成窗格。

字符阵列{''}

DVCovFilter.

由这件设定忽略基于过滤器的目标参数在设计验证者窗格。

'on'|{'离开'}

dvcovfilterfilename.

由这件设定过滤文件参数在设计验证者窗格。

字符阵列{''}

dvdatafilename.

由这件设定数据文件名称参数在设计验证者>结果窗格。

字符阵列{'$ modelname $ _sldvdata'}

dvdesignminmaxcheck.

由这件设定指定的最小值和最大值违规参数在设计验证者>设计错误检测窗格。

'on'|{'离开'}

dvdesignminmaxconstraints.

由这件设定使用指定的输入最小值和最大值参数在设计验证者窗格。

{'上'} |'离开'

dvdetectactivelogic.

通过设置识别活动逻辑在这方面设计验证者>设计错误检测窗格。

'on'|{'离开'}

dvdetectblockinputrangeviolations

通过设置指定的块输入范围违规在这方面设计验证者>设计错误检测窗格。

'on'|{'离开'}

dvdetectdeadlogic.

通过设置死亡逻辑（部分）在这方面设计验证者>设计错误检测窗格。

'on'|{'离开'}

dvdetectdivisionbyzero.

由这件设定被零除参数在设计验证者>设计错误检测窗格。

{'上'} |'离开'

dvdetectdsmaccessviomation

由这件设定数据存储访问违规参数在设计验证者>设计错误检测窗格。

'on'|{'离开'}

dvdetectinfnan.

由这件设定非有限和楠浮点值参数在设计验证者>设计错误检测窗格。

'on'|{'离开'}

dvdetectintegeroverflow.

由这件设定整数溢出参数在设计验证者>设计错误检测窗格。

{'上'} |'离开'

dvdetectofbounds.

由这件设定出界数组访问参数在设计验证者>设计错误检测窗格。

{'上'} |'离开'

dvdetectsubnormal

由这件设定子正式浮点值参数在设计验证者>设计错误检测窗格。

'on'|{'离开'}

dvdisplayreport.

由这件设定显示报告参数在设计验证者>报告窗格。

{'上'} |'离开'

dvextendexistingtests.

由这件设定扩展现有的测试用例参数在设计验证者>测试生成窗格。

'on'|{'离开'}

dvexistingtestfile.

由这件设定数据文件参数在设计验证者>测试生成窗格。

字符阵列{''}

dvharnessmodelfilename.

由这件设定线束模型文件名参数在设计验证者>结果窗格。

字符阵列{'$ modelname $ _harness'}

DVHARNESSOURCE.

由这件设定安全带来源参数在设计验证者>结果窗格。

{'signal builder'} |'信号编辑器'

Dvignorecovsatisfied.

由这件设定忽略目标现有覆盖数据满足参数在设计验证者>测试生成窗格。

'on'|{'离开'}

Dvignoreexisttestsatisfied.

由这件设定忽略现有测试用例满足的目标参数在设计验证者>测试生成窗格。

{上'} |'离开'

dvincleuterelitionalboundary.

由这件设定包括关系边界目标参数在设计验证者>测试生成窗格。

{'上'} |'离开'

DVMakeOutputfilesunique

由这件设定通过添加后缀使输出文件名唯一复选框设计验证者窗格。

{'上'} |'离开'

dvmaxprocesstime.

由这件设定最大分析时间参数在设计验证者窗格。

双倍的{300}

dvmaxtestcasesteps.

由这件设定最大测试用例步骤参数在设计验证者>测试生成窗格。

INT32.{10000}

dvmaxviolationsteps.

由这件设定最大违规步骤参数在设计验证者>财产证明窗格。

INT32.{'20'}

DVMode.

由这件设定模式参数在设计验证者窗格。

{'testgeneration'} |'designerrodetection'|'职业生产'

dvmodelcoveragebjectives

由这件设定模型覆盖目标参数在设计验证者>测试生成窗格。

'没有'|'决定'|{'combiledecision'} |'MCDC'|'inshancedMCDC'

dvmodelrederceharness

由这件设定生成线束中的参考输入模型参数在设计验证者>结果配置参数对话框的窗格。

'on'|{'离开'}

DVOUTPUTDIR.

通过设置导出目录在这方面设计验证者窗格。

字符阵列{'sldv_output / $ modelname $'}

DVParameterConstraints.

通过设置约束参数表中的列设计验证者>参数窗格。

双数组{[]}

dvparameternames.

通过设置姓名参数表中的列设计验证者>参数窗格。

双数组{[]}

DVParameteruseInaNalysis.

通过设置用参数表中的列设计验证者>参数窗格。

细胞阵列{[]}

DVParameters.

通过设置启用参数配置在这方面设计验证者>参数窗格。

'on'|{'离开'}

dvparametersconfigfilename.

通过设置参数配置文件在这方面设计验证者>参数窗格。

此参数禁用时禁用dvparametersuseconfig被设定为'在'。

字符阵列{'sldv_params_template.m'}

dvparametersuseconfig

通过设置使用参数表在这方面设计验证者>参数窗格。

设置到'在'，此参数禁用dvparametersconfigfilename.。

'on'|{'离开'}

DV防护

由这件设定证明假设参数在设计验证者>财产证明窗格。

'elableall'|'disableall'|{'UselocalSettings'}

DVProvingStrategy.

由这件设定战略参数在设计验证者>财产证明窗格。

'findViolation'|{'prove'} |'provewithviolationdetection'

dvrandomizenoeffectdata.

由这件设定随机化不会影响结果的数据参数在设计验证者>结果窗格。

'on'|{'离开'}

dvrebuildmodelrepresentation

由这件设定重建模型表示参数在设计验证者窗格。

'永远'|{'如果检测到更改'}

dvreducerational approx.

{'上'} |'离开'

dvrelativeTolerance.

由这件设定浮点相对耐受性参数在设计验证者>测试生成窗格。

双倍的{'0.01'}

dvreportfilename.

由这件设定报告文件名参数在设计验证者>报告窗格。

字符阵列{'$ modelname $ _report'}

dvreportincludgraphics.

由这件设定包括屏幕截图参数在设计验证者>报告窗格。

'on'|{'离开'}

dvreportpdfformat.

由这件设定以PDF格式生成其他报告参数在设计验证者>报告窗格。

'on'|{离开'}

dvsaveexpectOutput.

由这件设定包括预期的输出值参数在设计验证者>结果窗格。

'on'|{'离开'}

dvsaveharnessmodel.

由这件设定分析后生成单独的线束模型参数在设计验证者>结果窗格。

'on'|{离开'}

dvsavereport.

由这件设定生成结果的报告参数在设计验证者>报告窗格。

'on'|{离开'}

dvsfcn万博1manbetxsupport.

由这件设定万博1manbetx支持S-函数在分析中参数在设计验证者窗格。

{'上'} |离开'

dvsltestharnessname.

由这件设定测试线束名称参数在设计验证者>结果窗格。

字符阵列{'$ modelname $ _sldvharness'}

dvsltestfilename.

由这件设定测试文件名称参数在设计验证者>结果窗格。

字符阵列{'$ modelname $ _test'}

dvstrictenhancedmcdc.

由这件设定使用严格的传播条件参数在设计验证者>测试生成窗格。

'on'|{'离开'}

DVTestConditions.

由这件设定测试条件参数在设计验证者>测试生成窗格。

'elableall'|'disableall'|{'UselocalSettings'}

DVTestGarGerget.

由这件设定测试生成目标参数在设计验证者>测试生成窗格。

{'model'} |'gencodetopmodel'|'gencodemodelref'

DVTestobjectives

由这件设定测试目标参数在设计验证者>测试生成窗格。

'elableall'|'disableall'|{'UselocalSettings'}

dvtes​​tsuiteoptimization.

由这件设定测试套件优化参数在设计验证者>测试生成窗格。

如果使用使用的方式分析您的模型遗产大型典范（非线性延长），软件显示此选项已被删除并建议您使用的警告消息汽车反而。

{'auto'} |'单独的目标'|'longtestcases'|'LargeModel（非线性延长）'

dvusearall

'on'|{'离开'}