基础知识 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公司;尤瑟斯;卡奎;ACL2型;CUDD公司;常春藤;CoSA公司;数学SAT5;类型2;nuXmv（数字）;CVC4型;PySAT公司;Uppaal公司;现场 引用于： 42文件 全部的 前5名135位作者引用 4 伯恩德·芬克贝纳 三 罗尔夫·德雷克斯勒 三 马蒂亚斯·苏肯 2 亚历山大·巴卡洛夫。 2 阿明·比尔 2 罗德里克·布洛姆 2 詹皮埃罗·卡波迪 2 查克拉波蒂，苏普拉特克 2 科宁，诺琳 2 乔瓦尼·德米凯利 2 罗伯特·Könighfer 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 Manuel Gieseking先生 1 Shubham Goel公司 1 亚历山大·戈特马诺夫 1 克里斯托弗·哈恩 1 坦马·霍丹卡尔 1 赫金·哈布什，杰斯科 1 凯乔·赫尔扬科 1 何希明 1 卢卡什·霍利克 1 安德烈亚斯·霍尔泽 1 汤姆·霍拉克 1 布赖恩·霍夫曼 1 劳拉·汉弗莱。 1 沃伦·亨特（Warren A.jun Hunt）。 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 Joáo P.塞尔瓦侯爵。 1 马·戈扎塔·马祖基维奇（Mazurkiewicz，Małgorzata） 1 汤姆·梅尔姆 1 Niklas O.Metzger。 1 朱利亚·穆利 1 菲利普·梅耶（Philipp J.Meyer）。 1 卡米尔·米尔卡雷克 1 拉凯什·米斯特里 1 安德烈·莫霍夫 1 菲利普·尼曼 1 塞尔吉奥·诺科 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 亚当·奥帕拉 1 乔尔·欧·瓦克宁。 1 雷米鹦鹉 1 米查尔·佩恩 1 亚当·佩彻 1 佩特科夫斯卡，安娜 1 埃尔南·蓬塞·德莱昂 1 亚历山德罗·普雷维蒂 1 斯特凡诺·奎尔 1 拉贝，马库斯·N。 1 亨氏里纳 1 奥利维尔·H·鲁克斯。 1 罗伊，艾丹 1 塞萨尔·桑切斯 1 马蒂亚斯·施莱普费尔 …还有35位作者 全部的 前5名12篇连载文章中引用 9 系统设计中的形式化方法 三 国际应用数学与计算机科学杂志 1 信息学报 1 人工智能 1 国际通用系统杂志 1 计算机与系统科学杂志 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 自动推理杂志 1 离散事件动态系统 1 量子信息处理 全部的 前5名在9个字段中引用 39 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 8 信息与通信理论、电路（94-XX） 三 量子理论（81-XX） 1 一般性和全局性主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文