• Obj3

  • 137篇参考文献[SW05370]
  • 定理证明,用户界面设计,和硬件 验证等等。这是第一次…
  • 伊莎贝尔

  • 580篇参考文献[SW044]
  • 特定形式验证包括证明计算机的正确性硬件或者软件和证明…
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 自动定理证明包括硬件软件验证部分自动化的各种数学活动,促进…
  • 聚苯硫醚

  • 89篇参考文献[SW05357]
  • 用于分析的几种系统验证属于硬件以及软件组件。目前的应用跨度…
  • TPS

  • 70篇参考文献[SW0933]
  • 自动定理证明包括硬件软件验证部分自动化的各种数学活动,促进…
  • 多鲍里

  • 41篇参考文献[SW07223 ]
  • 日益重要的正式硬件软件验证基于布尔表达式,它同时遭受…
  • 茂物

  • 36篇参考文献[SW068 58]
  • 有效技术验证调试硬件最近在软件领域…
  • 阿佐维

  • 12篇参考文献[SW04634 ]
  • 计算逻辑中的有效数据结构硬件 验证. 我们提出了一种新的方法…
  • 聚/毫升

  • 10篇参考文献[SW11353]
  • 编写LAMBA系统硬件 验证以及其他工具。Mike Crawley…
  • 揭示

  • 20篇参考文献[SW0801]
  • 揭示形式功能验证制度及其在四个代表中的应用硬件测试用例。揭示…相信自动化验证对于一个有用的类硬件现在的设计相当…
  • 蛤蜊蛤蜊

  • 24篇参考文献[SW19614]
  • 特别是合成和验证软件和硬件系统使用一个更高的…
  • 埃斯特尔

  • 159篇参考文献[SW1212]
  • 数据操作。它也可以生成硬件以门的网表的形式…为显式或基于BDD提供支持验证执行双模拟减少的工具…
  • 消防员

  • 6篇参考文献[SW10594]
  • 已成功应用于硬件 验证模型检验。我们已经试验过…
  • SEL4

  • 78篇参考文献[SW15222]
  • 执行正式机器检查的经验验证从一个抽象的SEL4微内核…假定编译器、汇编代码的正确性,以及硬件我们使用了独特的设计方法…
  • 美国广播公司

  • 21篇参考文献[SW12910]
  • 合成与形式化验证同步电路中出现的二值逻辑电路硬件设计ABC合并…顺序合成与序贯协同验证导致在这两个领域的改进。本文…
  • VLSL语言

  • 3篇参考文献[SW1284]
  • 基于仿真的策略语言验证属于硬件. 像System Verilog这样的语言…在当代发挥重要作用硬件 验证方法论通过直接、语言层面的支持…覆盖,断言,等等,他们帮助验证工程师采用有用的范例。本文论证了…基于策略的范式硬件没有任何语言直接支持的测试生成…
  • SAT竞争

  • 8篇参考文献[SW04623 ]
  • 技术在他们的领域(规划,硬件或软件验证等)提交基准…
  • 穆塞尔2号

  • 12篇参考文献[SW13403]
  • 配置,基于知识的验证,硬件软件设计与验证. 本文描述了…