Prove the contract
before the result.
Paste a vlsi.yaml manifest to check metadata, license, verification and provenance boundaries before a catalog review.
VLSI.YAML · v0.1
Schema-aware static validation only. It checks structure, types, URLs, pinned revision shape, SPDX syntax and evidence boundaries. It does not clone a repository or run EDA tools.VALIDATES NOW
Manifest completeness
Required keys, declared flows, verification scope, metrics context and reproducibility claims.
REQUIRES A RUNNER
Build & benchmark
Repository checkout, Verilator/Icarus tests, Yosys synthesis and OpenSTA/OpenROAD evidence need isolated compute.
NEVER UPLOAD
Private rights
Commercial EDA outputs, foundry-confidential PDK files and customer data remain outside the public workflow.