{"adoption": {"forks": 1149, "observed_at": "2026-08-28T04:08:57.242852+00:00", "stars": 4704}, "canonical_url": "https://ross.abutalabs.com/products/yosys", "card": {"archived": false, "artifact_type": "framework", "description": "Yosys Open SYnthesis Suite", "domain": ["hardware", "embedded-systems", "developer-tools", "compilers"], "enriched": true, "function": ["compiler", "developer-tools", "simulation", "parser"], "health_score": 100, "homepage": "https://yosyshq.net/yosys/", "language": "C++", "license": "ISC", "license_family": "permissive", "maturity": "stable", "member_repos": ["YosysHQ/yosys"], "name": "YosysHQ/yosys", "platform": ["windows", "cpp", "cli"], "pushed_at": "2026-08-26T15:39:52+00:00", "repo": "YosysHQ/yosys", "stars": 4704, "tags": ["rtl-synthesis", "verilog", "systemverilog", "fpga", "asic", "netlist", "formal-verification", "hardware-description-language", "open-source-eda", "linux", "macos"], "topics": [], "urls": [], "use_cases": ["synthesize Verilog to a gate-level netlist for an ASIC standard cell library", "map an RTL design to Lattice iCE40, ECP5, or Xilinx 7-Series FPGAs", "convert Verilog to BLIF, EDIF, BTOR, or SMT-LIB formats", "check equivalence or properties of hardware designs with formal methods", "build a custom synthesis flow on an extensible open-source framework", "elaborate and analyze a synthesizable SystemVerilog design"], "what_it_is": "Yosys is an open-source framework for Verilog/SystemVerilog RTL synthesis, converting hardware description code into gate-level netlists for ASICs and FPGAs. It is scriptable, extensible via C++ passes, and serves as the foundation for many open-source EDA flows including formal verification tools like SBY.", "when_to_avoid": ["you require industry-grade VHDL or full SystemVerilog assertion support without a commercial license", "you need place-and-route or bitstream generation - pair it with nextpnr or vendor tools", "you want a GUI-driven EDA suite rather than a command-line script-based tool"], "when_to_choose": ["you need a free, open-source RTL synthesis tool for FPGA or ASIC flows", "you want a scriptable, extensible synthesis framework for research or custom toolchains", "you need a front-end for formal hardware verification with SMT solvers"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/yosys", "repo": "YosysHQ/yosys", "role": "main", "score": 98}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:19:11.587755+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "291abb70d0e82939206bb1ccde706a9b715a176dadbd151213d076aa68b89b32", "fetched_at": "2026-08-28T04:08:57.242852+00:00", "kind": "readme", "missing": false, "url": "https://github.com/YosysHQ/yosys"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.592163+00:00", "kind": "homepage", "missing": false, "url": "https://yosyshq.net/yosys/"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.595103+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/about.html"}, {"content_hash": "a7ffb7f1da1ce11cd6bbe5d49f88cf44749f5aa988b1392169ac46cdaed29218", "fetched_at": "2026-08-29T09:03:04.597045+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/documentation.html"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:19:11.587755+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "291abb70d0e82939206bb1ccde706a9b715a176dadbd151213d076aa68b89b32", "fetched_at": "2026-08-28T04:08:57.242852+00:00", "kind": "readme", "missing": false, "url": "https://github.com/YosysHQ/yosys"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.592163+00:00", "kind": "homepage", "missing": false, "url": "https://yosyshq.net/yosys/"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.595103+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/about.html"}, {"content_hash": "a7ffb7f1da1ce11cd6bbe5d49f88cf44749f5aa988b1392169ac46cdaed29218", "fetched_at": "2026-08-29T09:03:04.597045+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/documentation.html"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:19:11.587755+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "291abb70d0e82939206bb1ccde706a9b715a176dadbd151213d076aa68b89b32", "fetched_at": "2026-08-28T04:08:57.242852+00:00", "kind": "readme", "missing": false, "url": "https://github.com/YosysHQ/yosys"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.592163+00:00", "kind": "homepage", "missing": false, "url": "https://yosyshq.net/yosys/"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.595103+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/about.html"}, {"content_hash": "a7ffb7f1da1ce11cd6bbe5d49f88cf44749f5aa988b1392169ac46cdaed29218", "fetched_at": "2026-08-29T09:03:04.597045+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/documentation.html"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:19:11.587755+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "291abb70d0e82939206bb1ccde706a9b715a176dadbd151213d076aa68b89b32", "fetched_at": "2026-08-28T04:08:57.242852+00:00", "kind": "readme", "missing": false, "url": "https://github.com/YosysHQ/yosys"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.592163+00:00", "kind": "homepage", "missing": false, "url": "https://yosyshq.net/yosys/"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.595103+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/about.html"}, {"content_hash": "a7ffb7f1da1ce11cd6bbe5d49f88cf44749f5aa988b1392169ac46cdaed29218", "fetched_at": "2026-08-29T09:03:04.597045+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/documentation.html"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:19:11.587755+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "291abb70d0e82939206bb1ccde706a9b715a176dadbd151213d076aa68b89b32", "fetched_at": "2026-08-28T04:08:57.242852+00:00", "kind": "readme", "missing": false, "url": "https://github.com/YosysHQ/yosys"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.592163+00:00", "kind": "homepage", "missing": false, "url": "https://yosyshq.net/yosys/"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.595103+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/about.html"}, {"content_hash": "a7ffb7f1da1ce11cd6bbe5d49f88cf44749f5aa988b1392169ac46cdaed29218", "fetched_at": "2026-08-29T09:03:04.597045+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/documentation.html"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:19:11.587755+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "291abb70d0e82939206bb1ccde706a9b715a176dadbd151213d076aa68b89b32", "fetched_at": "2026-08-28T04:08:57.242852+00:00", "kind": "readme", "missing": false, "url": "https://github.com/YosysHQ/yosys"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.592163+00:00", "kind": "homepage", "missing": false, "url": "https://yosyshq.net/yosys/"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.595103+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/about.html"}, {"content_hash": "a7ffb7f1da1ce11cd6bbe5d49f88cf44749f5aa988b1392169ac46cdaed29218", "fetched_at": "2026-08-29T09:03:04.597045+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/documentation.html"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:08:57.242852+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:19:11.587755+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "291abb70d0e82939206bb1ccde706a9b715a176dadbd151213d076aa68b89b32", "fetched_at": "2026-08-28T04:08:57.242852+00:00", "kind": "readme", "missing": false, "url": "https://github.com/YosysHQ/yosys"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.592163+00:00", "kind": "homepage", "missing": false, "url": "https://yosyshq.net/yosys/"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.595103+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/about.html"}, {"content_hash": "a7ffb7f1da1ce11cd6bbe5d49f88cf44749f5aa988b1392169ac46cdaed29218", "fetched_at": "2026-08-29T09:03:04.597045+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/documentation.html"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:19:11.587755+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "291abb70d0e82939206bb1ccde706a9b715a176dadbd151213d076aa68b89b32", "fetched_at": "2026-08-28T04:08:57.242852+00:00", "kind": "readme", "missing": false, "url": "https://github.com/YosysHQ/yosys"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.592163+00:00", "kind": "homepage", "missing": false, "url": "https://yosyshq.net/yosys/"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.595103+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/about.html"}, {"content_hash": "a7ffb7f1da1ce11cd6bbe5d49f88cf44749f5aa988b1392169ac46cdaed29218", "fetched_at": "2026-08-29T09:03:04.597045+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/documentation.html"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:19:11.587755+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "291abb70d0e82939206bb1ccde706a9b715a176dadbd151213d076aa68b89b32", "fetched_at": "2026-08-28T04:08:57.242852+00:00", "kind": "readme", "missing": false, "url": "https://github.com/YosysHQ/yosys"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.592163+00:00", "kind": "homepage", "missing": false, "url": "https://yosyshq.net/yosys/"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.595103+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/about.html"}, {"content_hash": "a7ffb7f1da1ce11cd6bbe5d49f88cf44749f5aa988b1392169ac46cdaed29218", "fetched_at": "2026-08-29T09:03:04.597045+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/documentation.html"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:19:11.587755+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "291abb70d0e82939206bb1ccde706a9b715a176dadbd151213d076aa68b89b32", "fetched_at": "2026-08-28T04:08:57.242852+00:00", "kind": "readme", "missing": false, "url": "https://github.com/YosysHQ/yosys"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.592163+00:00", "kind": "homepage", "missing": false, "url": "https://yosyshq.net/yosys/"}, {"content_hash": "3e0c2a923acb8a7040926efa056fc7195318c2de0580fc60e43abf9db301a851", "fetched_at": "2026-08-29T09:03:04.595103+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/about.html"}, {"content_hash": "a7ffb7f1da1ce11cd6bbe5d49f88cf44749f5aa988b1392169ac46cdaed29218", "fetched_at": "2026-08-29T09:03:04.597045+00:00", "kind": "site_page", "missing": false, "url": "https://yosyshq.net/yosys/documentation.html"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 99, "longevity": 100, "rhythm": 96}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 4988, "days_push": 7, "days_rel": 28, "gap_med": 28.5, "n_releases_24m": 25}, "score": 98, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}