基础知识 swMATH ID: 12910 软件作者： 罗伯特·布雷顿；阿兰·米什琴科 描述： ABC：学术行业实力验证工具。ABC是一个公共域系统，用于同步硬件设计中出现的二进制逻辑电路的逻辑综合和形式验证。ABC将基于与转换图（AIG）的可伸缩逻辑转换与各种创新算法相结合。对顺序合成和顺序验证协同作用的关注导致了这两个领域的改进。本文介绍了ABC，推动了它的发展，并说明了它在形式验证中的应用。 主页： https://people.eecs.berkeley.edu/~alanmi/abc/ 源代码： https://github.com/berkeley-abc/abc 关键词： 模型检查；等价性检查；逻辑综合；模拟；集成顺序；验证流程 相关软件： 超小卫星；爱格；z3（零3）；自旋蛋白；CBMC公司；github；NuSMV公司；尤瑟斯；CAQE公司；ACL2型；CUDD公司；常春藤；CoSA公司；数学SAT5；第2类；nuXmv（数字）；CVC4型；PySAT公司；Uppaal公司；斑点 引用于： 43文件 全部的 前5名136位作者引用 4 伯恩德·芬克贝纳 4 马蒂亚斯·苏肯 三 乔瓦尼·德·米歇尔 三 罗尔夫·德雷克斯勒 2 亚历山大·巴卡洛夫（Alexander A.Barkalov）。 2 阿明·比尔 2 布洛克，罗德里克 2 詹皮埃罗·卡波迪 2 查克拉波蒂，苏普拉特克 2 科宁，诺琳 2 罗伯特·Könighfer 2 朱利亚·穆利 2 米什琴科，艾伦 2 马蒂娜·塞德尔 2 拉里萨·蒂塔伦科 1 阿克沙伊，S。 1 穆罕默德·阿尔谢赫 1 瓦莱里·巴拉巴诺夫 1 克拉克·W·巴雷特。 1 鲍迈斯特，简 1 贝恩德·贝克尔 1 卞正兵 1 博尔祖·博纳克达尔普尔 1 波士顿，布雷特 1 罗伯特·K·布雷顿。 1 塞缪尔·布雷斯 1 米卡·布莱迪 1 尼古拉斯·比舍尔 1 萨特拉吉·查特吉 1 查塔尼·迪内什 1 Fabián A.Chudak。 1 马西耶·西塞尔斯基 1 雷蒙·达赫塞特 1 乔伊·多兹 1 多兹，迈克 1 尼尔·德鲁克 1 杰哈德·杜克（Gerhard W.Dueck）。 1 吕迪格·埃勒斯 1 彼得·费蒙维尔 1 弗朗茨，马丁 1 哈达尔·弗兰克尔 1 拉杰库马尔·加贾维利 1 曼努埃尔·吉塞金 1 舒巴姆·戈尔 1 亚历山大·戈特马诺夫 1 克里斯托弗·哈恩 1 坦马·霍丹卡尔 1 赫金·哈布什，杰斯科 1 凯乔·赫尔扬科 1 何希明 1 卢卡什，霍利克 1 安德烈亚斯·霍尔泽 1 汤姆·霍拉克 1 布赖恩·霍夫曼 1 劳拉·汉弗莱。 1 亨特，沃伦·A·琼。 1 保罗·伊恩 1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 1 蒋洁红·罗兰 1 斯特凡·卡岑贝塞尔 1 曼纽尔·考尔斯 1 丹尼尔·考夫曼 1 苏拉布·O·卡西达什维利。 1 迈克尔·基希内夫斯基 1 贝蒂娜·科尼霍费尔 1 波胡斯拉夫·科埃纳 1 马钦·库比卡 1 苏米思·库拉尔 1 罗伯特·P·库尔珊（Robert P.Kurshan）。 1 卡梅洛·洛伊亚科诺 1 弗洛里安·朗辛 1 迈克尔·卢滕伯格 1 威廉·麦格雷迪（William G.Macready）。 1 马凯·曼 1 若昂·席尔瓦侯爵。 1 马·戈扎塔·马祖基维奇（Mazurkiewicz，Małgorzata） 1 汤姆·梅尔姆 1 Niklas O.Metzger。 1 菲利普·迈耶。 1 卡米尔·米尔卡雷克 1 拉凯什·米斯特里 1 安德烈·莫霍夫 1 菲利普·尼曼 1 塞尔吉奥·诺科 1 奥尔德罗格，恩斯特·吕迪格 1 亚当·奥帕拉 1 乔尔·欧·瓦克宁。 1 雷米鹦鹉 1 米查尔·佩恩 1 亚当·佩彻 1 安娜·佩特科夫斯卡 1 埃尔南·蓬塞·德莱昂 1 亚历山德罗·普雷维蒂 1 斯特凡诺·奎尔 1 马库斯·拉贝。 1 亨氏里纳 1 马丁·罗特勒 1 奥利维尔·H·鲁克斯。 1 艾丹·罗伊 1 塞萨尔·桑切斯 …还有36位作者 全部的 前5名12篇连载文章中引用 9 系统设计中的形式化方法 三 国际应用数学与计算机科学杂志 1 信息学报 1 人工智能 1 国际通用系统杂志 1 计算机与系统科学杂志 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 自动推理杂志 1 离散事件动态系统 1 量子信息处理 全部的 前5名在9个字段中引用 39 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 8 信息与通信理论、电路（94-XX） 4 量子理论（81-XX） 1 总体主题；集合（00-XX） 1 有序，格，有序代数结构（06-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文