# berkeley-abc/abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Repository: https://github.com/berkeley-abc/abc
Canonical: https://ross.abutalabs.com/products/abc
Language: C
License: NOASSERTION
License Family: other
Last push: 2026-09-02T15:02:35+00:00

## Health v2 (maintenance only)
Score: 77/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 100, release rhythm 35, longevity 100
- inputs: {"age_days": 3097, "days_push": 0, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases, no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1216, forks 785 (observed 2026-09-03T02:15:09.574397+00:00)

## What it is
ABC is a system for sequential logic synthesis and formal verification of digital circuits, developed at UC Berkeley. It can be used as a standalone executable or embedded as a static library, operating on AIGER and BLIF logic networks.

## Use cases
- synthesize and optimize sequential logic circuits
- verify equivalence of logic networks
- perform DAG-aware AIG rewriting
- embed logic synthesis into a custom EDA tool via a C library
- model check hardware designs
- convert and process AIGER and BLIF circuit files

## When to choose
- you need academic-grade logic synthesis or circuit optimization
- you want formal equivalence checking or model checking for hardware designs
- you need a programmable synthesis engine to embed in your own EDA tooling

## When to avoid
- you need a GUI-based circuit design tool
- you are doing high-level synthesis from C/C++ rather than logic-level optimization
- you need commercial-grade support and documentation

## Facets
- artifact type: application
- maturity: active
- function: compiler, developer-tools, simulation, testing
- domain: hardware, developer-tools
- platform: windows, cpp, c
- tags: logic-synthesis, formal-verification, eda, aig, model-checking, circuit-optimization, algorithms, research, linux, macos

## Member repositories
- berkeley-abc/abc (main) score 77

## Provenance
- Observed fields: from GitHub, fetched 2026-09-03T02:15:09.574397+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T06:17:14.681198+00:00, confidence not recorded.
  - readme: https://github.com/berkeley-abc/abc (fetched 2026-09-03T02:15:09.574397+00:00, sha 65a8c099b658)
- Data as of 2026-08-30T08:39:29.467469+00:00.