您要查找的是不是：
- Keywords Formal Verification;Model Checking;Eletronic Design Automation;Counterexample Explanation;Bug Localization;Counterexample Minimization; 形式化验证;模型检验;电子设计自动化;反例解释;错误定位;反例压缩;
- Keywords formal verification;compositional verification;model checking;refinement checking;interface automata;architecture description language（ADL）; 形式验证;组合验证;模型检验;精化检验;接口自动机;体系结构描述语言;
- 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. 传统的验证手段难以排除所有的设计错误，人们转而求助于各种形式验证方法来保证设计在各种可能输入组合下的正确性。
- Keywords Timed automata;Timed System;Formal verification;Theorem proving;PVS; 关键词时间自动机;时间系统;形式验证;定理证明;PVS;
- Formal Verification of Sequential Circuits 时序电路的形式化证明
- Keywords formal;leisured;furniture;expression of symbol; 正式;休闲;家具;符号表现;
- Keywords Satisfiability problem;Sequential equivalence checking;Formal verification; 可满足性问题;时序电路等价验证;形式验证;
- Based TED high level formal verification for polynomial data path 基于泰勒展开图的数据路径高层次验证
- Formal Verification Techniques for Security Protocols 安全协议中的形式化验证技术
- Formal Verification Techniques in Workflow Process Modeling 工作流过程建模中的形式化验证技术
- A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION 一个安全、原子的电子商务协议及其形式化验证
- A Logic for Formal Verification and Design of Cryptographic Protocols 一种用于密码协议形式化验证的简单逻辑
- The Approaches and Technologies for Formal Verification of Security Protocols 安全协议的形式化分析技术与方法
- The Formal Verification of the Security of the Electronic Commerce Protocols 电子支付协议安全性的形式化分析
