苏格拉底

苏格拉底：一个高效的自动测试模式生成系统。介绍了一个测试模式自动生成系统苏格拉底。苏格拉底包含了一些新的概念和技术，它们显著地改进和加速了组合电路和基于扫描的电路的自动测试模式生成过程。基于FAN算法，描述了改进的隐含、敏化和多重回溯过程。这些技术的应用大大减少了回溯的次数，并使人们更早地认识到冲突和冗余。使用一组组合基准电路的几个实验证明了苏格拉底的效率及其成本效益，即使在工作站环境中也是如此。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献10条)

显示第1到第10个结果，共10个。
按年份排序(引用)

  1. 席尔瓦侯爵，乔奥；Malik，Sharad：命题SAT解决（2018）
  2. 德雷克斯勒，R。；埃格斯格吕什，S。；费伊，G。；Tille，D.：使用布尔证明引擎生成测试模式（2009）
  3. 德雷克斯勒，罗尔夫；Fey，Görschwin:自动测试模式生成（2006）
  4. Kapitonova，Yu。五、 。；马雅诺维奇，T.P。；米什琴科：计算机系统组件的自动化设计与模拟（1997）
  5. 昆兹，沃尔夫冈；斯托菲尔，多米尼克：布尔网络中的推理。使用测试技术的逻辑综合与验证（1997）
  6. 李世爵；林伟杰：组合电路设计与命题逻辑之形式验证与诊断（1997）
  7. Hübner，Uwe:开关级静态数字CMOS电路的划分和分析，用于混合电平测试生成的准备（1994）
  8. 来自，S.G。；Farhat，H.A.：beta可测性模型中预期覆盖率的置信区间（1992）
  9. 范亨登里克，帕斯卡；西蒙尼斯，赫尔穆特；Dincbas，Mehmet:使用约束逻辑编程实现约束满足（1992）
  10. 舒尔茨，迈克尔H。；特里什勒，埃尔文；萨弗特，托马斯M.：苏格拉底：一个高效的自动测试模式生成系统。（1988年）ioport公司