Auditable claim record

cocotb · documents support for

Verilator · SUPPORTED

urn:vlsi:claim:0daa0bb81745d514c3f6d76d6e23d927861ac5f9ececfe679faf3a6b7d5e30d0

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.

Back to cocotb → · Complete history as JSON · JSON-LD

Evidence

verilator pinned upstream documentation ↗

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.

Official verilator repository · README / Related Projects · supports

Published date unknown · Retrieved 2026-10-13T23:58:55.161Z

urn:vlsi:evidence:49a96cca6c583eb3ad98e0ea94a97e9f00d8bc2ebe8286b25ae980f4b26189ba

Assessment history

New assessments preserve earlier records. A correction changes the current interpretation without rewriting what VLSI knew before it.

Recorded assessments, oldest first
Revision	Recorded at (UTC)	Status	Validity	Reviewer & reason
1	2026-10-14T00:04:17.557Z	SUPPORTED	unknown unknown	checked-catalog-source-adapter (adapter) Evidence ingested by official-registry-and-pinned-documents/1.0.0. Explicit upstream evidence only. No fabrication, validation, successful tapeout, measured performance, arbitrary-version interoperability or production qualification is inferred.