{"apiVersion":"1.0","data":{"id":"pono","name":"Pono","owner":"Stanford Centaur","source":"https://github.com/upscale-project/pono","licenseSource":"https://github.com/upscale-project/pono/blob/main/LICENSE","license":"BSD-3-Clause","description":"A flexible and extensible SMT-based model checker.","domains":["Digital"],"kind":"Tool","tasks":["Verification"],"language":"C++","target":"SMT-based hardware model checking","toolchain":"smt-switch","tags":["Formal","Model checking","SMT","Verification"],"discoverySources":["https://github.com/upscale-project/pono","https://github.com/YosysHQ/oss-cad-suite-build"],"evidence":{"readmeUrl":"https://raw.githubusercontent.com/upscale-project/pono/main/README.md","licenseUrl":"https://raw.githubusercontent.com/upscale-project/pono/main/LICENSE","licenseSha256":"7199b208de32b59293b0f1f19f5df37a64c3b73515269f7b4a287d1980b484bb","checkedAt":"2026-09-26T00:00:00Z","notes":"Fetched upstream README and license body; not run."},"type":"Open EDA","stage":"VERIFY","sourceLabel":"github.com/upscale-project/pono","status":"External index","activitySource":"https://raw.githubusercontent.com/upscale-project/pono/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":"PO","passport":null,"links":{"self":"/api/v1/resources/pono","html":"/repo/pono","evidence":"/api/v1/resources/pono/evidence","runs":"/api/v1/resources/pono/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."}}