首页> 外文OA文献 >Mining Complex Boolean Expressions for Sequential Equivalence Checking

【2h】

Mining Complex Boolean Expressions for Sequential Equivalence Checking

机译：用于序列等价性检验的挖掘复杂布尔表达式

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Neha Goel; Michael S. Hsiao; Naren Ramakrishnan; Mohammed J. Zaki;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Equivalence checking of combinational circuits using Boolean expression diagrams [J] . Hulgaard H., Williams P.F. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 1999,第7期

机译：使用布尔表达式图对组合电路进行等效检查
2. Mining Global Constraints With Domain Knowledge for Improving Bounded Sequential Equivalence Checking [J] . Wu W., Hsiao M. S. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2008,第1期

机译：使用领域知识挖掘全局约束以改进有界顺序等效检查
3. Robust Boolean reasoning for equivalence checking and functional property verification [J] . Kuehlmann A., Paruthi V., Krohm F., IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2002,第12期

机译：用于等效性检查和功能属性验证的强大布尔推理
4. Mining Complex Boolean Expressions for Sequential Equivalence Checking [C] . Goel Neha, Hsiao Michael S., Ramakrishnan Narendran, 2010 19th IEEE Asian Test Symposium . 2010

机译：挖掘复杂的布尔表达式以进行顺序对等检查
5. Efficient equivalence checking in a modular design environment. [D] . Hasteer, Gagan. 1998

机译：模块化设计环境中的有效等效检查。
6. Divide and conquer! Data-mining tools and sequential multivariate analysis to search for diagnostic morphological characters within a plant polyploid complex (Veronica subsect. Pentasepalae, Plantaginaceae) [O] . Noemí López-González, Santiago Andrés-Sánchez, Blanca M. Rojas-Andrés, 2012

机译：分而治之！数据挖掘工具和顺序多变量分析，以在植物多倍体复合体（Veronica亚科，Pentasepalae，Plantaginaceae）中搜索诊断形态特征
7. Mining global constraints for improving bounded sequential equivalence checking [O] . Weixin Wu, Michael S. Hsiao 2006

机译：挖掘全局约束以改进有界顺序等价检查
8. Boolean Approach to Unbounded, Fully Symbolic Model Checking of Timed Automata [R] . Seshia, S. A. , Bryant, R. E. 2003

机译：时间自动机无界完全符号模型检验的布尔方法

Mining Complex Boolean Expressions for Sequential Equivalence Checking

著录项

引文网络

相似文献

相关主题

期刊订阅