abc

ABC: System for Sequential Logic Synthesis and Formal Verification

ABC has many internal representation AIG, BDD, ... they usually corresponds to formal models. There is also a Verilog parser in abc/src/base/ver/.

• License: custom
• GIT: https://github.com/berkeley-abc/abc
• Internal representation: netlist, formal models
• Optimization alg. paradigm: many

Internal representation

Abc_Ntk_t