所有作者：潘晓 韦卫 郭炳晖 郑志明
作者单位：北京航空航天大学数学与系统科学学院
论文摘要：本电路设计模型检验是计算机领域广泛关注的问题，目前已有的基于SAT问题的无界模型检验等都存在着无法包含不同逻辑模块协调约束信息的缺陷。针对上述问题，通过将电路中不同的组合逻辑功能实现转化为相应的布尔方程约束，作者提出了电路设计模型检验的多尺度可满足性模型，进一步给出了该模型sharp阈值存在性的完整证明，并根据Unit Clause算法得到了给定电路拓扑结构下组合逻辑模块数目的上界估计并给出了实例分析。
关键词： 模型检验 布尔可满足性 多尺度 阈值
免费下载《多尺度电路模型检验阈值研究》PDF全文（已停止下载）
本站“论文下载”文章收集整理于“中国科技论文在线”，由于各种原因，本站已暂停论文下载！请前往“中国科技论文在线http://www.paper.edu.cn/”免费下载！
下一篇：分析学中的一类反例函数
指出，范文大全立刻进行改正或删除有关内容! 
当前位置：