• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>AI communications >Verification of partial designs using incremental QBF
【24h】

Verification of partial designs using incremental QBF

机译：使用增量QBF验证部分设计

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

SAT solving is an indispensable core component of numerous formal verification tools and has found widespread use in industry, in particular when using it in an incremental fashion, e. g., in Bounded Model Checking (BMC). On the other hand, for some applications SAT formulas are not expressive enough, whereas a description via Quantified Boolean Formulas (QBF) is much more adequate, for instance when dealing with partial designs.
机译：SAT解决是众多形式验证工具必不可少的核心组成部分，并且已在工业中得到广泛使用，尤其是当以增量方式使用它时，例如。例如，在边界模型检查（BMC）中。另一方面，对于某些应用程序，SAT公式的表达能力不足，而通过量化布尔公式（QBF）进行的描述就足够了，例如在处理部分设计时。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号