ABC swMATH ID: 12910 Software Authors: Robert Brayton; Alan Mishchenko Description: ABC: An Academic Industrial-Strength Verification Tool. ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transformations based on And-Inverter Graphs (AIGs), with a variety of innovative algorithms. A focus on the synergy of sequential synthesis and sequential verification leads to improvements in both domains. This paper introduces ABC, motivates its development, and illustrates its use in formal verification. Homepage: https://people.eecs.berkeley.edu/~alanmi/abc/ Source Code: https://github.com/berkeley-abc/abc Keywords: Model checking; equivalence checking; logic synthesis; simulation; integrated sequential; verification flow Related Software: MiniSat; z3; AIGER; CBMC; SPIN; GitHub; ACL2; CUDD; NuSMV; CAQE; CESAR; SLAM; Ivy; MathSAT5; CVC4; Yosys; Kind 2; nuXmv; SINGULAR; Acacia+ Cited in: 36 Publications all top 5 Cited by 118 Authors 4 Soeken, Mathias 3 De Micheli, Giovanni 3 Finkbeiner, Bernd 2 Biere, Armin 2 Bloem, Roderick 2 Cabodi, Gianpiero 2 Chakraborty, Supratik 2 Drechsler, Rolf 2 Könighofer, Robert 2 Meuli, Giulia 2 Mishchenko, Alan 2 Seidl, Martina 1 Akshay, S. 1 Alshiekh, Mohammed 1 Balabanov, Valeriy 1 Barkalov, Alexander A. 1 Baumeister, Jan 1 Becker, Bernd 1 Bian, Zhengbing 1 Bonakdarpour, Borzoo 1 Boston, Brett 1 Brayton, Robert K. 1 Breese, Samuel 1 Büscher, Niklas 1 Chatterjee, Satrajit 1 Chhatani, Dinesh 1 Chudak, Fabián A. 1 Ciesielski, Maciej 1 Coenen, Norine 1 Dodds, Joey 1 Dodds, Mike 1 Drucker, Nir 1 Dueck, Gerhard W. 1 Ehlers, Rüdiger 1 Faymonville, Peter 1 Franz, Martin 1 Gajavelly, Rajkumar 1 Gieseking, Manuel 1 Goel, Shubham 1 Gotmanov, Alexander 1 Haldankar, Tanmay 1 Hecking-Harbusch, Jesko 1 Heljanko, Keijo 1 Ho, Hsi-Ming 1 Holzer, Andreas 1 Huffman, Brian 1 Humphrey, Laura 1 Hunt, Warren A. jun. 1 Ienne, Paolo 1 Ignatyev, Alexey A. 1 Jiang, Jie-Hong Roland 1 Katzenbeisser, Stefan 1 Kauers, Manuel 1 Kaufmann, Daniela 1 Khasidashvili, Zurab O. 1 Kishinevsky, Michael 1 Könighofer, Bettina 1 Křena, Bohuslav 1 Kulal, Sumith 1 Kurshan, Robert P. 1 Loiacono, Carmelo 1 Lonsing, Florian 1 Luttenberger, Michael 1 Macready, William G. 1 Marques-Silva, João P. 1 Melham, Tom 1 Meyer, Philipp J. 1 Mielcarek, Kamil 1 Mistry, Rakesh 1 Mokhov, Andrey 1 Nocco, Sergio 1 Olderog, Ernst-Rüdiger 1 Ouaknine, Joel O. 1 Penn, Michal 1 Petcher, Adam 1 Petkovska, Ana 1 Ponce de León, Hernán 1 Previti, Alessandro 1 Quer, Stefano 1 Rabe, Markus N. 1 Riener, Heinz 1 Rötteler, Martin 1 Roy, Aidan 1 Sánchez, César 1 Schlaipfer, Matthias 1 Schmitt, Bruno V. 1 Scholl, Christoph 1 Sebastiani, Roberto 1 Seger, Carl-Johan H. 1 Shah, Shetal 1 Shin, Seung Woo 1 Sickert, Salomon 1 Slobodová, Anna 1 Ştefănescu, Andrei 1 Sterin, Baruch 1 Strichman, Ofer 1 Su, Tiankai 1 Tague, Laura 1 Taylor, Landon 1 Temel, Mertcan ...and 18 more Authors all top 5 Cited in 10 Serials 9 Formal Methods in System Design 1 Acta Informatica 1 Artificial Intelligence 1 International Journal of General Systems 1 Journal of Computer and System Sciences 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Information and Computation 1 Journal of Automated Reasoning 1 International Journal of Applied Mathematics and Computer Science all top 5 Cited in 8 Fields 34 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 6 Information and communication theory, circuits (94-XX) 3 Quantum theory (81-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year