This Supplier shall submit, as a part of this Proposal, a detailed formalerror-proofing strategy and corresponding implementation plan.
作为建议的一部分，供应商必须提供一个详细、正式的错误检验策略及应对措施。
2
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.