Auditable claim record

SymbiYosys · depends on

Yosys · SUPPORTED

urn:vlsi:claim:0f0b5873ecc2f040ed5d2a15c8282d9a6eef52c0d06410fd63bf2be4547a623f

SymbiYosys describes itself as a front-end for Yosys-based formal verification flows; solver and frontend selection affect applicability.

Evidence

SymbiYosys describes itself as a front-end for Yosys-based formal verification flows; solver and frontend selection affect applicability.

Official symbiyosys repository · README / Introduction · supports

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

urn:vlsi:evidence:ce871640669725ef724000251123b342d24fa69b62a439092b09dad563cf084e

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.