汉尼拔 swMATH ID: 10071 软件作者： 西昆茨。 描述： HANNIBAL：基于递归学习的有效逻辑验证工具。本文介绍了一种基于递归学习的组合电路逻辑验证的新方法。特别是，所述方法有效地提取了两个待验证电路的内部节点之间的等效性。我们提供了一个工具HANNIBAL，它对于存在此类内部等效性的许多实际验证问题非常有效。该方法还可用于大幅加速其他验证工具。实验结果清楚地表明了HANNIBAL的效率。例如，HANNIBAR在Sparc Workstation ELC上仅用48秒就验证了乘法器c6288相对于无冗余版本c6288nr的有效性。 主页： http://ieeexplore.iee.org/xpl/login.jsp？tp=&arnumber=580111 相关软件： 帕萨特；苏格拉底；HITEC公司；伯克明州；糠；SATIRE（饱和）；SATO公司；CUDD公司；NuSMV公司；超小卫星；皮纳帕；ANTLR公司；系统C；萨托里；Daikon公司；FoC公司；zChaff公司；马戏团 引用于： 8文件 全部的 前5名14位作者引用 三 罗尔夫·德雷克斯勒 三 Görschwin菲 2 范艾克，C.A.J。 1 雅各布·A·亚伯拉罕。 1 郑光庭 1 埃格斯格鲁，斯蒂芬 1 Donald S.Fussell。 1 黄世玉 1 贾瓦哈尔·贾因 1 拉贾什·穆克吉 1 奈森，R.X.T。 1 高山小一郎 1 蒂尔，D。 1 保尔·弗雷德里克·威廉姆斯 3篇连载文章中引用 2 集成。超大规模集成电路杂志 1 系统设计中的形式化方法 1 理论计算机科学电子笔记 在3个字段中引用 7 计算机科学（68至XX） 2 信息与通信理论、电路（94-XX） 1 系统论；控制（93至XX） 按年份列出的引文