Semiconductor graph

Verilator

27 entities and 33 documented connections shown.

AI / computeNVIDIA FoundriesTSMC AI / computeAMD MemorySK hynix Open siliconOpenROAD Flow Tiny TapeoutTT 8 Tiny TapeoutTT 9 Tiny TapeoutTT IHP 26a Tiny TapeoutTT SKY 26a

Filters & dates 2 steps

Relationship stepsRelationshipEntity typeRelationship valid onKnown by UTC dateClear filters

Validity and knowledge time are separate. Unknown validity is excluded from dated queries.

2,343 covered entities2,781 recorded claims2,248 indexed resourcesCoverage & gaps →

Includes catalog identities and shuttle listings.

CompanyChip / productTechnologyPlace / facility

Select a node to reveal relationship labels

Relationships & evidence (33)

Every displayed connection is a scoped claim. Arrows follow subject to object.
Subject	Object	Status	Evidence
OSS CAD Suite	Amaranth HDL	SUPPORTEDValidity dates not established	Why are these connected? Listed distribution component at the pinned README revision; availability depends on the upstream release and supported platform. Component license is not replaced by the distribution license. OSS CAD Suite README YosysHQ · Tier A · Primary source · supports The OSS CAD Suite README lists Amaranth HDL among its distribution components. Location: Pinned README.md line 34: Python hardware design Published Not stated Retrieved 2026-10-13 Store factual paraphrases, metadata, source-byte SHA-256 and pinned document link only. Source bytes were fetched for this review but are not retained or redistributed. Repository and component licenses remain separate. Commit date is not document publication or relationship validity. Full claim history →
OSS CAD Suite	Pono	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes Pono. Location: Pinned README.md line 57 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	SymbiYosys	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes sby (formerly SymbiYosys). Location: Pinned README.md line 48 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
cocotb	Verilator	SUPPORTEDValidity dates not established	Why are these connected? Verilator documentation names cocotb as a library that supports Verilator. This establishes cocotb as the support provider; versions and execution are not established by this source. verilator pinned upstream documentation Official verilator repository · Tier A · Primary source · supports Verilator documentation names cocotb as a library that supports Verilator. This establishes cocotb as the support provider; versions and execution are not established by this source. Location: README / Related Projects Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
SymbiYosys	Yosys	SUPPORTEDValidity dates not established	Why are these connected? SymbiYosys describes itself as a front-end for Yosys-based formal verification flows; solver and frontend selection affect applicability. symbiyosys pinned upstream documentation Official symbiyosys repository · Tier A · Primary source · supports SymbiYosys describes itself as a front-end for Yosys-based formal verification flows; solver and frontend selection affect applicability. Location: README / Introduction Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	AIGER	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes aiger. Location: Pinned README.md line 52 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	slang	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes Slang. Location: Pinned README.md line 38 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OpenLane 2	Yosys	SUPPORTEDValidity dates not established	Why are these connected? OpenLane describes Yosys among its infrastructure components. openlane2 pinned upstream documentation Official openlane2 repository · Tier A · Primary source · supports OpenLane describes Yosys among its infrastructure components. Location: Readme / ASIC infrastructure components Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	Icarus Verilog	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes iverilog. Location: Pinned README.md line 82 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
Yosys	SymbiYosys	SUPPORTEDValidity dates not established	Why are these connected? The Yosys README links SBY as its formal verification front-end; installed solvers and supported syntax remain separate requirements. yosys pinned upstream documentation Official yosys repository · Tier A · Primary source · supports The Yosys README links SBY as its formal verification front-end; installed solvers and supported syntax remain separate requirements. Location: README / Web Site and Other Resources Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	EQY	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes eqy. Location: Pinned README.md line 50 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OpenROAD Flow Scripts	Yosys	SUPPORTEDValidity dates not established	Why are these connected? The OpenROAD README describes an ORFS flow whose synthesis stage uses Yosys. The OpenROAD application itself is not the complete ORFS flow. openroad pinned upstream documentation Official openroad repository · Tier A · Primary source · supports The OpenROAD README describes an ORFS flow whose synthesis stage uses Yosys. The OpenROAD application itself is not the complete ORFS flow. Location: README / RTL-GDSII Using OpenROAD-flow-scripts Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
Yosys	Verilator	SUPPORTEDValidity dates not established	Why are these connected? The README recommends a separate Verilator lint check because the read_verilog command does not perform syntax checking. yosys pinned upstream documentation Official yosys repository · Tier A · Primary source · supports The README recommends a separate Verilator lint check because the read_verilog command does not perform syntax checking. Location: README / Additional information Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	MCY	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes mcy. Location: Pinned README.md line 49 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
Ibex	Yosys	SUPPORTEDValidity dates not established	Why are these connected? Ibex README describes Yosys area evaluation using its basic synthesis flow and latch-based register file. No area figures are republished. ibex pinned upstream documentation Official ibex repository · Tier A · Primary source · supports Ibex README describes Yosys area evaluation using its basic synthesis flow and latch-based register file. No area figures are republished. Location: README / Configuration / Yosys synthesis notes Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	Project Peppercorn	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes Project Peppercorn. Location: Pinned README.md line 68 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	Verilator	SUPPORTEDValidity dates not established	Why are these connected? Listed distribution component at the pinned README revision; availability depends on the upstream release and supported platform. Component license is not replaced by the distribution license. OSS CAD Suite README YosysHQ · Tier A · Primary source · supports The OSS CAD Suite README lists Verilator among its distribution components. Location: Pinned README.md line 81: Verilog/SystemVerilog simulation Published Not stated Retrieved 2026-10-13 Store factual paraphrases, metadata, source-byte SHA-256 and pinned document link only. Source bytes were fetched for this review but are not retained or redistributed. Repository and component licenses remain separate. Commit date is not document publication or relationship validity. Full claim history →
Ibex	Verilator	SUPPORTEDValidity dates not established	Why are these connected? Ibex Simple System simulation example requires Verilator; this is a specific example, not a guarantee for every Ibex configuration. ibex pinned upstream documentation Official ibex repository · Tier A · Primary source · supports Ibex Simple System simulation example requires Verilator; this is a specific example, not a guarantee for every Ibex configuration. Location: Simple System / Prerequisites Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	nextpnr	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes nextpnr. Location: Pinned README.md line 63 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	GHDL	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes GHDL. Location: Pinned README.md line 37 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	Project IceStorm	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes Project IceStorm. Location: Pinned README.md line 64 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	Yosys	SUPPORTEDValidity dates not established	Why are these connected? Listed distribution component at the pinned README revision; availability depends on the upstream release and supported platform. Component license is not replaced by the distribution license. OSS CAD Suite README YosysHQ · Tier A · Primary source · supports The OSS CAD Suite README lists Yosys among its distribution components. Location: Pinned README.md line 33: RTL synthesis Published Not stated Retrieved 2026-10-13 Store factual paraphrases, metadata, source-byte SHA-256 and pinned document link only. Source bytes were fetched for this review but are not retained or redistributed. Repository and component licenses remain separate. Commit date is not document publication or relationship validity. Full claim history →
OSS CAD Suite	Project Trellis	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes Project Trellis. Location: Pinned README.md line 65 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	Bitwuzla	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes Bitwuzla. Location: Pinned README.md line 59 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
cocotb	Verilator	SUPPORTEDValidity dates not established	Why are these connected? This cocotb source revision documents Verilator 5.036 or newer and SIM=verilator. This is upstream support with documented simulator-specific limitations. cocotb pinned upstream documentation Official cocotb repository · Tier A · Primary source · supports This cocotb source revision documents Verilator 5.036 or newer and SIM=verilator. This is upstream support with documented simulator-specific limitations. Location: Simulator Support / Verilator Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	openFPGALoader	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes openFPGALoader. Location: Pinned README.md line 71 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	rIC3	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes rIC3. Location: Pinned README.md line 60 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
Ibex	FuseSoC	SUPPORTEDValidity dates not established	Why are these connected? The Simple System simulator build described here is driven by FuseSoC. ibex pinned upstream documentation Official ibex repository · Tier A · Primary source · supports The Simple System simulator build described here is driven by FuseSoC. Location: Simple System / Building Simulation Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	Boolector	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes Boolector. Location: Pinned README.md line 54 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	Project Apicula	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes Project Apicula. Location: Pinned README.md line 67 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OpenROAD Flow Scripts	Yosys	SUPPORTEDValidity dates not established	Why are these connected? Yosys is documented for the synthesis stage of OpenROAD Flow Scripts at this source revision. OpenROAD Flow Scripts README The OpenROAD Project · Tier A · Primary source · supports The ORFS flow diagram assigns logic synthesis to Yosys. Location: Pinned README.md line 19: RTL synthesis Published Not stated Retrieved 2026-10-13 Store factual paraphrases, metadata, source-byte SHA-256 and pinned document link only. Source bytes were fetched for this review but are not retained or redistributed. Repository and component licenses remain separate. Commit date is not document publication or relationship validity. Full claim history →
OSS CAD Suite	Project Oxide	SUPPORTEDValidity dates not established	Why are these connected? The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability. OSS CAD Suite pinned component manifest YosysHQ official repository · Tier A · Primary source · supports The pinned OSS CAD Suite component list includes Project Oxide. Location: Pinned README.md line 66 Published Not stated Retrieved 2026-10-13 Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms. Full claim history →
OSS CAD Suite	cocotb	SUPPORTEDValidity dates not established	Why are these connected? Listed distribution component at the pinned README revision; availability depends on the upstream release and supported platform. Component license is not replaced by the distribution license. OSS CAD Suite README YosysHQ · Tier A · Primary source · supports The OSS CAD Suite README lists cocotb among its distribution components. Location: Pinned README.md line 83: Python testbenches Published Not stated Retrieved 2026-10-13 Store factual paraphrases, metadata, source-byte SHA-256 and pinned document link only. Source bytes were fetched for this review but are not retained or redistributed. Repository and component licenses remain separate. Commit date is not document publication or relationship validity. Full claim history →

Find an evidence path

Find a documented path

From Verilator · up to two relationship steps.

A path retains its original claims. Shared technology does not establish a supply contract.

27 nodes · 33 claims2026-10-14 · 03:32 UTC

Scope

Relationships may describe different dates. A path does not establish simultaneous activity. Bounded source-backed collection. Missing or filtered connections do not establish absence. Supported does not mean independently verified.

Search, filters and the expandable relationship evidence table work without JavaScript. The map controls and path results require JavaScript; path submissions open the structured API response.

Connections

Find a documented path