Skip to main content
VLSI Korea

ENGINEERING STACK PLAN

Compose a stack. Keep unknowns visible.

Choose designs, verification, implementation tools and a PDK. Export the recorded source context and review missing integration evidence before building.

Planning only. A source-backed dependency is scoped to its cited revision. This selection is not a tested stack, generated tapeout flow or license compatibility approval.

CPU / accelerator

Ibex

Apache-2.0 · Root repository license at the observed commit. Bundled third-party code, models, PDK files and manufacturing use can have separate terms; this check is not a legal opinion.

Revision: af456e25575013668ab56725268126f6b0feca35Official upstream ↗
Verification

Verilator

LGPL-3.0-only OR Artistic-2.0 · The pinned README declares a choice of LGPL-3.0-only or Artistic-2.0. The separately retained root LICENSE contains LGPL version 3. Review file-level and generated-output terms before redistribution.

Revision: 712dc505c836e3e2b4e4f234efb646cde873e2d0Official upstream ↗
Synthesis

Yosys

ISC · Root repository license at the observed commit. Bundled third-party code, models, PDK files and manufacturing use can have separate terms; this check is not a legal opinion.

Revision: 3c94637a1857e61d07ac47f0346ba0804233abb3Official upstream ↗
Physical implementation

OpenROAD

BSD-3-Clause · Root repository license at the observed commit. Bundled third-party code, models, PDK files and manufacturing use can have separate terms; this check is not a legal opinion.

Revision: 232e05689fa87ca83424102d624fab09e498db87Official upstream ↗
Open PDK

SKY130 Open PDK

Apache-2.0 · Root repository license at the observed commit. Bundled third-party code, models, PDK files and manufacturing use can have separate terms; this check is not a legal opinion.

Revision: 7198cf647113f56041e02abf3eb623692820c5e1Official upstream ↗

Direct documented connections

Missing integration evidence

Per-resource license observations do not establish licensing compatibility of this stack.

Inspect the complete manifest
{
  "schemaVersion": "hub-stack-plan/1.0",
  "executionStatus": "planning-only",
  "selected": [
    {
      "role": "core",
      "id": "ibex",
      "name": "Ibex",
      "type": "RISC-V Core",
      "stage": "RTL",
      "source": "https://github.com/lowRISC/ibex",
      "revision": "af456e25575013668ab56725268126f6b0feca35",
      "license": "Apache-2.0",
      "licenseScope": "Root repository license at the observed commit. Bundled third-party code, models, PDK files and manufacturing use can have separate terms; this check is not a legal opinion.",
      "checkedAt": "2026-10-13T16:38:37.918Z"
    },
    {
      "role": "verification",
      "id": "verilator",
      "name": "Verilator",
      "type": "Open EDA",
      "stage": "VERIFY",
      "source": "https://github.com/verilator/verilator",
      "revision": "712dc505c836e3e2b4e4f234efb646cde873e2d0",
      "license": "LGPL-3.0-only OR Artistic-2.0",
      "licenseScope": "The pinned README declares a choice of LGPL-3.0-only or Artistic-2.0. The separately retained root LICENSE contains LGPL version 3. Review file-level and generated-output terms before redistribution.",
      "checkedAt": "2026-10-13T16:34:27.061Z"
    },
    {
      "role": "synthesis",
      "id": "yosys",
      "name": "Yosys",
      "type": "Open EDA",
      "stage": "SYNTH",
      "source": "https://github.com/YosysHQ/yosys",
      "revision": "3c94637a1857e61d07ac47f0346ba0804233abb3",
      "license": "ISC",
      "licenseScope": "Root repository license at the observed commit. Bundled third-party code, models, PDK files and manufacturing use can have separate terms; this check is not a legal opinion.",
      "checkedAt": "2026-10-13T16:34:20.133Z"
    },
    {
      "role": "physical",
      "id": "openroad",
      "name": "OpenROAD",
      "type": "Open EDA",
      "stage": "PHYSICAL",
      "source": "https://github.com/The-OpenROAD-Project/OpenROAD",
      "revision": "232e05689fa87ca83424102d624fab09e498db87",
      "license": "BSD-3-Clause",
      "licenseScope": "Root repository license at the observed commit. Bundled third-party code, models, PDK files and manufacturing use can have separate terms; this check is not a legal opinion.",
      "checkedAt": "2026-10-13T16:38:38.478Z"
    },
    {
      "role": "pdk",
      "id": "sky130",
      "name": "SKY130 Open PDK",
      "type": "Open PDK",
      "stage": "PDK",
      "source": "https://github.com/google/skywater-pdk",
      "revision": "7198cf647113f56041e02abf3eb623692820c5e1",
      "license": "Apache-2.0",
      "licenseScope": "Root repository license at the observed commit. Bundled third-party code, models, PDK files and manufacturing use can have separate terms; this check is not a legal opinion.",
      "checkedAt": "2026-10-13T16:38:41.515Z"
    }
  ],
  "relationships": [
    {
      "id": "ibex:requires:verilator",
      "sourceResourceId": "ibex",
      "targetResourceId": "verilator",
      "type": "requires",
      "status": "upstream-documented",
      "sourceVersion": "af456e25575013668ab56725268126f6b0feca35",
      "targetVersion": null,
      "scope": "Ibex Simple System simulation example requires Verilator; this is a specific example, not a guarantee for every Ibex configuration.",
      "limitations": [
        "Documented upstream at the source commit; this combination was not executed by Hub.",
        "Target tool revision is not pinned by this evidence; verify the upstream configuration and version constraints."
      ],
      "evidence": {
        "id": "source:940494884f680a9731388d3a59c5a05ef1228d66d880bdfe011d2ca38e6173f7",
        "url": "https://github.com/lowRISC/ibex/blob/af456e25575013668ab56725268126f6b0feca35/examples/simple_system/README.md",
        "rawUrl": "https://raw.githubusercontent.com/lowRISC/ibex/af456e25575013668ab56725268126f6b0feca35/examples/simple_system/README.md",
        "sourceRevision": "af456e25575013668ab56725268126f6b0feca35",
        "checkedAt": "2026-10-13T16:38:38.204Z",
        "sha256": "1bc428e57c4480d5f8c750d63484dc7ce24079ee0df160c952310f5537b32ab6",
        "locator": "Simple System / Prerequisites",
        "rights": "reference-only",
        "note": "Pinned upstream document; only metadata and original concise descriptions are published. Source bytes were fetched for review; source documentation is not republished."
      },
      "runId": null,
      "knowledgeClaimId": null
    },
    {
      "id": "ibex:used_in_flow:yosys",
      "sourceResourceId": "ibex",
      "targetResourceId": "yosys",
      "type": "used_in_flow",
      "status": "upstream-documented",
      "sourceVersion": "af456e25575013668ab56725268126f6b0feca35",
      "targetVersion": null,
      "scope": "Ibex README describes Yosys area evaluation using its basic synthesis flow and latch-based register file. No area figures are republished.",
      "limitations": [
        "Documented upstream at the source commit; this combination was not executed by Hub.",
        "Target tool revision is not pinned by this evidence; verify the upstream configuration and version constraints."
      ],
      "evidence": {
        "id": "source:ff619b86ba54d211861b06a62484c11d1aa27f3fa8f6cea0f89e7950682614b0",
        "url": "https://github.com/lowRISC/ibex/blob/af456e25575013668ab56725268126f6b0feca35/README.md",
        "rawUrl": "https://raw.githubusercontent.com/lowRISC/ibex/af456e25575013668ab56725268126f6b0feca35/README.md",
        "sourceRevision": "af456e25575013668ab56725268126f6b0feca35",
        "checkedAt": "2026-10-13T16:38:38.196Z",
        "sha256": "15390adacd873639c7955f3aaebf25ce36420173e578d3f3d81f83c8c7c10a21",
        "locator": "README / Configuration / Yosys synthesis notes",
        "rights": "reference-only",
        "note": "Pinned upstream document; only metadata and original concise descriptions are published. Source bytes were fetched for review; source documentation is not republished."
      },
      "runId": null,
      "knowledgeClaimId": null
    },
    {
      "id": "openroad:integrates_with:yosys",
      "sourceResourceId": "openroad",
      "targetResourceId": "yosys",
      "type": "integrates_with",
      "status": "upstream-documented",
      "sourceVersion": "232e05689fa87ca83424102d624fab09e498db87",
      "targetVersion": null,
      "scope": "The OpenROAD README describes an ORFS flow whose synthesis stage uses Yosys. The OpenROAD application itself is not the complete ORFS flow.",
      "limitations": [
        "Documented upstream at the source commit; this combination was not executed by Hub.",
        "Target tool revision is not pinned by this evidence; verify the upstream configuration and version constraints."
      ],
      "evidence": {
        "id": "source:79572b84ed6bc633f3eeccd6346bccad335de64fd1dad6489d115debc4e32a43",
        "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/232e05689fa87ca83424102d624fab09e498db87/README.md",
        "rawUrl": "https://raw.githubusercontent.com/The-OpenROAD-Project/OpenROAD/232e05689fa87ca83424102d624fab09e498db87/README.md",
        "sourceRevision": "232e05689fa87ca83424102d624fab09e498db87",
        "checkedAt": "2026-10-13T16:38:38.738Z",
        "sha256": "d50a23627ad3f6dce2f250a874ec25b8cb48fd0f57004e7b5afebc43a33dfa96",
        "locator": "README / RTL-GDSII Using OpenROAD-flow-scripts",
        "rights": "reference-only",
        "note": "Pinned upstream document; only metadata and original concise descriptions are published. Source bytes were fetched for review; source documentation is not republished."
      },
      "runId": null,
      "knowledgeClaimId": null
    },
    {
      "id": "openroad:uses_pdk:sky130",
      "sourceResourceId": "openroad",
      "targetResourceId": "sky130",
      "type": "uses_pdk",
      "status": "upstream-documented",
      "sourceVersion": "232e05689fa87ca83424102d624fab09e498db87",
      "targetVersion": null,
      "scope": "The README names SKY130 among open PDKs supported in OpenROAD-flow-scripts; a selected platform and library configuration is required.",
      "limitations": [
        "Documented upstream at the source commit; this combination was not executed by Hub.",
        "Target tool revision is not pinned by this evidence; verify the upstream configuration and version constraints."
      ],
      "evidence": {
        "id": "source:79572b84ed6bc633f3eeccd6346bccad335de64fd1dad6489d115debc4e32a43",
        "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/232e05689fa87ca83424102d624fab09e498db87/README.md",
        "rawUrl": "https://raw.githubusercontent.com/The-OpenROAD-Project/OpenROAD/232e05689fa87ca83424102d624fab09e498db87/README.md",
        "sourceRevision": "232e05689fa87ca83424102d624fab09e498db87",
        "checkedAt": "2026-10-13T16:38:38.738Z",
        "sha256": "d50a23627ad3f6dce2f250a874ec25b8cb48fd0f57004e7b5afebc43a33dfa96",
        "locator": "README / PDK Support",
        "rights": "reference-only",
        "note": "Pinned upstream document; only metadata and original concise descriptions are published. Source bytes were fetched for review; source documentation is not republished."
      },
      "runId": null,
      "knowledgeClaimId": null
    },
    {
      "id": "yosys:integrates_with:verilator",
      "sourceResourceId": "yosys",
      "targetResourceId": "verilator",
      "type": "integrates_with",
      "status": "upstream-documented",
      "sourceVersion": "3c94637a1857e61d07ac47f0346ba0804233abb3",
      "targetVersion": null,
      "scope": "The README recommends a separate Verilator lint check because the read_verilog command does not perform syntax checking.",
      "limitations": [
        "Documented upstream at the source commit; this combination was not executed by Hub.",
        "Target tool revision is not pinned by this evidence; verify the upstream configuration and version constraints."
      ],
      "evidence": {
        "id": "source:8bdb21b92ad43f94e403143ffc8cc26cc3f0b702ab96d3c087fd39e877b177e8",
        "url": "https://github.com/YosysHQ/yosys/blob/3c94637a1857e61d07ac47f0346ba0804233abb3/README.md",
        "rawUrl": "https://raw.githubusercontent.com/YosysHQ/yosys/3c94637a1857e61d07ac47f0346ba0804233abb3/README.md",
        "sourceRevision": "3c94637a1857e61d07ac47f0346ba0804233abb3",
        "checkedAt": "2026-10-13T16:34:20.882Z",
        "sha256": "6872d8d07706deeccb1817bc1883238a7dbb34cfa25774e5abbc0348bf3a58a5",
        "locator": "README / Additional information",
        "rights": "reference-only",
        "note": "Pinned upstream document; only metadata and original concise descriptions are published. Source bytes were fetched for review; source documentation is not republished."
      },
      "runId": null,
      "knowledgeClaimId": null
    }
  ],
  "unknowns": [
    "Ibex → Verilator: evidence does not specify the target version",
    "Ibex → Yosys: evidence does not specify the target version",
    "Yosys → OpenROAD: evidence does not specify the target version",
    "OpenROAD → SKY130 Open PDK: evidence does not specify the target version"
  ],
  "licenseReview": "Per-resource license observations do not establish licensing compatibility of this stack.",
  "reproduction": "No executable flow is generated. Pin missing dependencies and review each source scope before implementation."
}