将系统转换为定点后的验证结果
一个DataTypeWorkflow。VerificationResult
对象包含将系统转换为固定点后的结果。对象上指定的公差指示转换是否成功DataTypeWorkflow。ProposalSettings
在转换期间使用的。
来模拟指定的系统verificationResult
=验证(转换器
,BaselineRunName
,RunName
)DataTypeWorkflow。转换器
对象,转换器
,并在新的运行中存储运行信息,RunName
.它返回一个DataTypeWorkflow。VerificationResult
对象,该对象比较基线和验证运行。
的DataTypeWorkflow。转换器
对象包含来自指定的运行的检测数据BaselineRunName
,以及在相关的公差规定DataTypeWorkflow。ProposalSettings
对象。软件使用指定的公差来确定验证运行的行为是否可接受ProposalSettings
对象。
探索 |
探索基线和定点实现的比较 |