{"adoption": {"forks": 785, "observed_at": "2026-09-03T02:15:09.574397+00:00", "stars": 1216}, "canonical_url": "https://ross.abutalabs.com/products/abc", "card": {"archived": false, "artifact_type": "application", "description": "ABC: System for Sequential Logic Synthesis and Formal Verification", "domain": ["hardware", "developer-tools"], "enriched": true, "function": ["compiler", "developer-tools", "simulation", "testing"], "health_score": 80, "homepage": null, "language": "C", "license": "NOASSERTION", "license_family": "other", "maturity": "active", "member_repos": ["berkeley-abc/abc"], "name": "berkeley-abc/abc", "platform": ["windows", "cpp", "c"], "pushed_at": "2026-09-02T15:02:35+00:00", "repo": "berkeley-abc/abc", "stars": 1216, "tags": ["logic-synthesis", "formal-verification", "eda", "aig", "model-checking", "circuit-optimization", "algorithms", "research", "linux", "macos"], "topics": [], "urls": [], "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"], "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/abc", "repo": "berkeley-abc/abc", "role": "main", "score": 77}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T06:17:14.681198+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "65a8c099b6580f6c2e41ee0b5d986d65c4b59d4bdb181a33827c24fd396277f9", "fetched_at": "2026-09-03T02:15:09.574397+00:00", "kind": "readme", "missing": false, "url": "https://github.com/berkeley-abc/abc"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T06:17:14.681198+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "65a8c099b6580f6c2e41ee0b5d986d65c4b59d4bdb181a33827c24fd396277f9", "fetched_at": "2026-09-03T02:15:09.574397+00:00", "kind": "readme", "missing": false, "url": "https://github.com/berkeley-abc/abc"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T06:17:14.681198+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "65a8c099b6580f6c2e41ee0b5d986d65c4b59d4bdb181a33827c24fd396277f9", "fetched_at": "2026-09-03T02:15:09.574397+00:00", "kind": "readme", "missing": false, "url": "https://github.com/berkeley-abc/abc"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T06:17:14.681198+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "65a8c099b6580f6c2e41ee0b5d986d65c4b59d4bdb181a33827c24fd396277f9", "fetched_at": "2026-09-03T02:15:09.574397+00:00", "kind": "readme", "missing": false, "url": "https://github.com/berkeley-abc/abc"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T06:17:14.681198+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "65a8c099b6580f6c2e41ee0b5d986d65c4b59d4bdb181a33827c24fd396277f9", "fetched_at": "2026-09-03T02:15:09.574397+00:00", "kind": "readme", "missing": false, "url": "https://github.com/berkeley-abc/abc"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T06:17:14.681198+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "65a8c099b6580f6c2e41ee0b5d986d65c4b59d4bdb181a33827c24fd396277f9", "fetched_at": "2026-09-03T02:15:09.574397+00:00", "kind": "readme", "missing": false, "url": "https://github.com/berkeley-abc/abc"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-09-03T02:15:09.574397+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T06:17:14.681198+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "65a8c099b6580f6c2e41ee0b5d986d65c4b59d4bdb181a33827c24fd396277f9", "fetched_at": "2026-09-03T02:15:09.574397+00:00", "kind": "readme", "missing": false, "url": "https://github.com/berkeley-abc/abc"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T06:17:14.681198+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "65a8c099b6580f6c2e41ee0b5d986d65c4b59d4bdb181a33827c24fd396277f9", "fetched_at": "2026-09-03T02:15:09.574397+00:00", "kind": "readme", "missing": false, "url": "https://github.com/berkeley-abc/abc"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T06:17:14.681198+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "65a8c099b6580f6c2e41ee0b5d986d65c4b59d4bdb181a33827c24fd396277f9", "fetched_at": "2026-09-03T02:15:09.574397+00:00", "kind": "readme", "missing": false, "url": "https://github.com/berkeley-abc/abc"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T06:17:14.681198+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "65a8c099b6580f6c2e41ee0b5d986d65c4b59d4bdb181a33827c24fd396277f9", "fetched_at": "2026-09-03T02:15:09.574397+00:00", "kind": "readme", "missing": false, "url": "https://github.com/berkeley-abc/abc"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 100, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases", "no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3097, "days_push": 0, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 77, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 3, "stale_scrape": false}}