{"apiVersion":"1.0","data":{"id":"eqy","name":"EQY","owner":"YosysHQ","source":"https://github.com/YosysHQ/eqy","licenseSource":"https://github.com/YosysHQ/eqy/blob/main/COPYING","license":"ISC","description":"A front-end driver for Yosys-based formal hardware equivalence-checking flows.","domains":["Digital"],"kind":"Tool","tasks":["Verification"],"language":"Python","target":"Formal hardware equivalence checking","toolchain":"Yosys","tags":["Formal","Equivalence","Yosys","Verification"],"discoverySources":["https://github.com/YosysHQ/oss-cad-suite-build","https://github.com/YosysHQ"],"evidence":{"readmeUrl":"https://raw.githubusercontent.com/YosysHQ/eqy/main/README.md","licenseUrl":"https://raw.githubusercontent.com/YosysHQ/eqy/main/COPYING","licenseSha256":"2461a7732f6ec80eb507f7912578e8fbc46fc51ff5fac7b9203d74b9c0680cdb","checkedAt":"2026-09-26T00:00:00Z","notes":"Fetched upstream README and license body; not run."},"type":"Open EDA","stage":"VERIFY","sourceLabel":"github.com/YosysHQ/eqy","status":"External index","activitySource":"https://raw.githubusercontent.com/YosysHQ/eqy/main/README.md","activity":"See upstream documentation for releases and maintenance status.","cataloged":"Metadata checked 2026-09-26","licenseScope":"Fetched upstream README and license body; not run.","accent":"blue","glyph":"EQ","passport":null,"links":{"self":"/api/v1/resources/eqy","html":"/repo/eqy","evidence":"/api/v1/resources/eqy/evidence","runs":"/api/v1/resources/eqy/runs"}},"attribution":{"catalog":"https://hub.vlsi.kr","methodology":"https://hub.vlsi.kr/methodology","note":"Source documentation, license evidence, Hub reproduction and silicon reports are separate claims."}}