Bindings for ABC, A System for Sequential Synthesis and Verification

Bindings for ABC focused on creating And-Inverter Graphs (AIG) and then performing synthesis and equivalence checking.

  • Installation

  • Maintainer

    jhendrix@galois.com, rdockins@galois.com

  • Dependencies (6)

  • Dependents (1)

  • Package Flags

       (off by default)

      Enable building the long-test and find-segfault utility progams

       (on by default)

      Turn on multithreading