... formal argument 型式自变量 formal error 格式错误 FORMAL Formula manipulation Language 公式处理语言，Formal 语言 ...
基于158个网页-相关网页
This Supplier shall submit, as a part of this Proposal, a detailed formal error-proofing strategy and corresponding implementation plan.
作为建议的一部分，供应商必须提供一个详细、正式的错误检验策略及应对措施。
The traditional verification method can't eliminate all the design error. Therefore, many people tum to various formal verification methods to grantee the correctness of the design under any inputs.
传统的验证手段难以排除所有的设计错误，人们转而求助于各种形式验证方法来保证设计在各种可能输入组合下的正确性。
Experimental results show that using formal techniques to direct simulation captures the main characteristics of error location and improves the effectiveness and efficiency of design error diagnosis.
实验结果表明，利用形式验证的技术来导向模拟的过程，抓住了高复杂度的多错误定位问题的特征，提高了电路错误诊断的效率。
应用推荐