VLSI KoreaSILICON COMPATIBILITY
Follow the evidence between projects.
Each connection describes a specific documented dependency or integration. It records the source revision and scope. A documented connection does not imply an independently tested combination, transitive compatibility, or tapeout readiness.
14 documented connections. Absence of a connection means missing evidence.
| Source → target | Relationship / evidence | Scope |
|---|---|---|
| cocotb Verilator | supports upstream-documented | This cocotb source revision documents Verilator 5.036 or newer and SIM=verilator. This is upstream support with documented simulator-specific limitations. Inspect evidence → |
| Ibex FuseSoC | depends_on upstream-documented | The Simple System simulator build described here is driven by FuseSoC. Inspect evidence → |
| Ibex Verilator | requires upstream-documented | Ibex Simple System simulation example requires Verilator; this is a specific example, not a guarantee for every Ibex configuration. Inspect evidence → |
| Ibex Yosys | used_in_flow upstream-documented | Ibex README describes Yosys area evaluation using its basic synthesis flow and latch-based register file. No area figures are republished. Inspect evidence → |
| OpenLane 2 KLayout | depends_on upstream-documented | OpenLane describes KLayout among its infrastructure components. Inspect evidence → |
| OpenLane 2 OpenROAD | depends_on upstream-documented | OpenLane describes OpenROAD among its infrastructure components. Inspect evidence → |
| OpenLane 2 Yosys | depends_on upstream-documented | OpenLane describes Yosys among its infrastructure components. Inspect evidence → |
| OpenROAD KLayout | integrates_with upstream-documented | The described ORFS finishing stage uses KLayout for GDSII output and DRC/LVS checks. Inspect evidence → |
| OpenROAD Yosys | integrates_with upstream-documented | The OpenROAD README describes an ORFS flow whose synthesis stage uses Yosys. The OpenROAD application itself is not the complete ORFS flow. Inspect evidence → |
| OpenROAD SKY130 Open PDK | uses_pdk upstream-documented | The README names SKY130 among open PDKs supported in OpenROAD-flow-scripts; a selected platform and library configuration is required. Inspect evidence → |
| SymbiYosys Yosys | depends_on upstream-documented | SymbiYosys describes itself as a front-end for Yosys-based formal verification flows; solver and frontend selection affect applicability. Inspect evidence → |
| Verilator cocotb | integrates_with upstream-documented | Verilator lists cocotb as a Python cosimulation library that officially supports Verilator; target-version constraints should be read in cocotb documentation. Inspect evidence → |