可满足性论文

SMT求解器增强技术的研究
论文摘要在计算机集成电路不断飞速发展的信息时代,无论计算机的硬件还是软件设计的复杂度都在不断提高,也对开发设计提出了新的挑战,尤其是在保证新产品的安全性、可靠性和正确性方面。为...
描述逻辑概念可满足性推理研究
论文摘要在WEB上提供机器可理解的知识并实现WEB信息的自动处理逐渐成为人们重要的生活、工作需求之一。这其中,如何恰当地表示知识并在其上实现快速有效的推理以找出其它的相关知识是...
博弈理论在互模拟和模态μ-演算上的一些应用
论文摘要论文包括两部分内容,第一部分通过定义分解互模拟这个概念,对规范的(normed)上下文无关进程上的互模拟做了更为简单的有限刻画,并且对我们定义的分解互模拟这个概念进行了...
基于线性规划的RTL性质验证研究
论文摘要集成电路的验证,已经成为其研发的最大障碍。传统的模拟验证技术无法满足当前SOC（System-On-Chip）设计带来的空前巨大的验证需求。基于此,形式化的验证方法作为...
超大规模集成电路形式验证的方法研究
论文题目:超大规模集成电路形式验证的方法研究论文类型:博士论文论文专业:电路与系统作者:卢永江导师:严晓浪关键词:模拟验证,形式验证,等价性验证,二叉决策图,可满足性,割集,锁...