您要查找的是不是：
- The glossary significance finally manifests in the syntax structure by a certain form, the verb valence may carry on the formal verification in the syntax structure. 词汇意义最终在句法结构中以一定形式体现出来，动词的价可以在句法结构中进行形式验证。
- These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis. 这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
- Be responsible for micro-architecture and implementations of ASIC functions all the way to chip-level formal verification, timing analysis and bridge to physical design. 负责从微结构、ASIC功能实现、芯片级正式验证乃至时序分析之整个过程,搭建通向物理设计的桥梁。
- The CCB Chair and the Originator determine whether formal verification of the change will be required, following the procedure in the Verification section. 变更控制委员会主席和发起人决定是否需要对变更进行正式的验证，具体的步骤在下面的验证部分中描述。
- The concept and idea of error diagnosis and correction (EDAC) in formal verification of SOC are reviewed, and two approaches for EDAC, simulation-based approach and symbolic approach, are described in the paper. 文章首先介绍了SOC形式验证中故障诊断的概念和思想,然后分别讨论了两类故障诊断法:模拟诊断法和符号诊断法。
- Explaining the causes of infeasibility of Boolean formulae has theoretical importance and practical applications in various fields, such as formal verification and electronic design automation. 摘要解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值。
- 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. 传统的验证手段难以排除所有的设计错误，人们转而求助于各种形式验证方法来保证设计在各种可能输入组合下的正确性。
- Formal Verification of Sequential Circuits 时序电路的形式化证明
- Based TED high level formal verification for polynomial data path 基于泰勒展开图的数据路径高层次验证
- Formal Verification Techniques for Security Protocols 安全协议中的形式化验证技术
- Formal Verification Techniques in Workflow Process Modeling 工作流过程建模中的形式化验证技术
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
- He cast his last remark in more formal wording. 他用更正式的措词表达了最后一句话。
- Don't you be so fucking formal with me. 别你他妈的对我这么一本正经了。
- The letter is written in formal style. 这封信是用正式文体写的。
- Modern life trends towards less formal customs. 现代生活倾向于较少拘泥于客套习俗。
- The job does not require any formal training. 做这种工作不需要任何正规训练。
- A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION 一个安全、原子的电子商务协议及其形式化验证
- I'm composing a formal reply to the letter. 我正写一封郑重其事的回信。
- She is not used to the formal mode of address. 她不习惯于这种正式称呼。
