Skip to main content
VLSI Korea

Auditable claim record

Ibex · depends on

Verilator · SUPPORTED

urn:vlsi:claim:68bda90c265f66d26ae5a12b1ee455d84cdfc4862cd3d3ad8d015642db947818

Ibex Simple System simulation example requires Verilator; this is a specific example, not a guarantee for every Ibex configuration.

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

Evidence

ibex pinned upstream documentation ↗

Ibex Simple System simulation example requires Verilator; this is a specific example, not a guarantee for every Ibex configuration.

Official ibex repository · Simple System / Prerequisites · supports

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

urn:vlsi:evidence:37c36a31344f70fcd13c4c8a93aeeb553c2820ac63062a6d43f3c30fe96d2704

Assessment history

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

Recorded assessments, oldest first
RevisionRecorded at (UTC)StatusValidityReviewer & reason
12026-10-14T00:04:17.557ZSUPPORTEDunknown
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.