苏格拉底

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