Auditable claim record

OSS CAD Suite · includes

Bitwuzla · SUPPORTED

urn:vlsi:claim:aaa814f83bea781514eeb45bef650e54df9411d12470692329a8a68a29854f96

The official OSS CAD Suite manifest lists this component. Platform availability, target versions and individual component licenses remain separate; inclusion is not universal interoperability.

Back to OSS CAD Suite → · Complete history as JSON · JSON-LD

Evidence

OSS CAD Suite pinned component manifest ↗

The pinned OSS CAD Suite component list includes Bitwuzla.

YosysHQ official repository · Pinned README.md line 59 · supports

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

urn:vlsi:evidence:f23736c67c050d2defb5510bb91a1bdba909240b7935beb64c3c5592377bfb34

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.563Z	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.