×

苏格拉底

swMATH ID: 10073
软件作者: 舒尔茨,M.,特里施勒,E.,萨弗特,T。
描述: 苏格拉底一个高效的自动测试模式生成系统。提出了一个自动测试模式生成系统,苏格拉底。苏格拉底包括一些新的概念和技术,这些概念和技术极大地改进和加速了组合电路和扫描电路的自动测试模式生成过程。基于FAN算法,描述了改进的隐含、敏化和多重回溯过程。这些技术的应用大大减少了回溯的次数,并更早地认识到冲突和冗余。使用一组组合基准电路的几个实验证明了苏格拉底的效率及其成本效益,即使在工作站环境中也是如此。
主页: http://ieeexplore.iee.org/xpl/login.jsp?tp=&arnumber=3140
相关软件: 伯克明州;;超小卫星;汉尼拔;帕萨特;HITEC公司;MiniMaxSat卫星;快速拉伸;DIMACS公司;PicoSAT卫星;萨特齐拉;SATO公司;徒步旅行;ManySAT公司;SATIRE(饱和);zChaff公司;马戏团;勒梅;MAHA公司;HOL公司
引用于: 9出版物

按年份列出的引文