Auditable claim record

Yosys · documents use of

SymbiYosys · SUPPORTED

urn:vlsi:claim:2046b5235ffe36d8ae00c5d4149bed662f6df0b37cd8e0a27d70a8f3565c778c

The Yosys README links SBY as its formal verification front-end; installed solvers and supported syntax remain separate requirements.

Evidence

The Yosys README links SBY as its formal verification front-end; installed solvers and supported syntax remain separate requirements.

Official yosys repository · README / Web Site and Other Resources · supports

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

urn:vlsi:evidence:9caef99452e11f49b0033304b147d1ebf5785a0651403b1f7ae24c245a080e19

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.