{"apiVersion":"1.0","data":{"id":"ric3","name":"rIC3","owner":"Yuheng Su","source":"https://github.com/gipsyh/rIC3","licenseSource":"https://github.com/gipsyh/rIC3/blob/master/LICENSE","license":"BSD-3-Clause","description":"A hardware model checker.","domains":["Digital"],"kind":"Tool","tasks":["Verification"],"language":"Rust","target":"Hardware model checking","toolchain":"See upstream documentation","tags":["Formal","Model checking","IC3","Rust"],"discoverySources":["https://github.com/gipsyh/rIC3","https://github.com/YosysHQ/oss-cad-suite-build"],"evidence":{"readmeUrl":"https://raw.githubusercontent.com/gipsyh/rIC3/master/README.md","licenseUrl":"https://raw.githubusercontent.com/gipsyh/rIC3/master/LICENSE","licenseSha256":"de155c1f59e3ad91582fb1b4c9caed75ee697b22b7ab6dac5359268277463f49","checkedAt":"2026-09-26T00:00:00Z","notes":"Fetched upstream README and license body; not run."},"type":"Open EDA","stage":"VERIFY","sourceLabel":"github.com/gipsyh/rIC3","status":"External index","activitySource":"https://raw.githubusercontent.com/gipsyh/rIC3/master/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":"RI","passport":null,"links":{"self":"/api/v1/resources/ric3","html":"/repo/ric3","evidence":"/api/v1/resources/ric3/evidence","runs":"/api/v1/resources/ric3/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."}}