{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:AXAJAGFT75ECVORGQSSQG5RWCO","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d13c5b4c7c90f8fb290db700a5e1d34ab69e3a48c112ddcf6dc0e06c9736aeec","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AR","submitted_at":"2022-03-11T04:12:17Z","title_canon_sha256":"2aad635d808e1d41b1b51a40ba8aaa296a7626c4ad247c0541a204117020f195"},"schema_version":"1.0","source":{"id":"2203.05742","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.05742","created_at":"2026-07-05T04:04:08Z"},{"alias_kind":"arxiv_version","alias_value":"2203.05742v1","created_at":"2026-07-05T04:04:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.05742","created_at":"2026-07-05T04:04:08Z"},{"alias_kind":"pith_short_12","alias_value":"AXAJAGFT75EC","created_at":"2026-07-05T04:04:08Z"},{"alias_kind":"pith_short_16","alias_value":"AXAJAGFT75ECVORG","created_at":"2026-07-05T04:04:08Z"},{"alias_kind":"pith_short_8","alias_value":"AXAJAGFT","created_at":"2026-07-05T04:04:08Z"}],"graph_snapshots":[{"event_id":"sha256:7747fdabdb912353dd51ab3720b07c77b1315c879ed452d286e57a5475d53e9e","target":"graph","created_at":"2026-07-05T04:04:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2203.05742/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"High-level hardware generators have significantly increased the productivity of design engineers. They use software engineering constructs to reduce the repetition required to express complex designs and enable more composability. However, these benefits are undermined by a lack of debugging infrastructure, requiring hardware designers to debug generated, usually incomprehensible, RTL code. This paper describes a framework that connects modern software source-level debugging frameworks to RTL created from hardware generators. Our working prototype offers an Integrated Development Environment (","authors_text":"Keyi Zhang, Mark Horowitz, Zain Asgar","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AR","submitted_at":"2022-03-11T04:12:17Z","title":"Bringing Source-Level Debugging Frameworks to Hardware Generators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.05742","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6fa178954f6dc3aff42d33c3b2636573f8b069ad7771a69bacbb589cb8a905c3","target":"record","created_at":"2026-07-05T04:04:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"d13c5b4c7c90f8fb290db700a5e1d34ab69e3a48c112ddcf6dc0e06c9736aeec","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AR","submitted_at":"2022-03-11T04:12:17Z","title_canon_sha256":"2aad635d808e1d41b1b51a40ba8aaa296a7626c4ad247c0541a204117020f195"},"schema_version":"1.0","source":{"id":"2203.05742","kind":"arxiv","version":1}},"canonical_sha256":"05c09018b3ff482aba2684a503763613934422f6761fee0609eb4a01c5ae23f7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"05c09018b3ff482aba2684a503763613934422f6761fee0609eb4a01c5ae23f7","first_computed_at":"2026-07-05T04:04:08.862909Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:04:08.862909Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yMBjsxmM9g+vUsiDM80icRAi90adcylBj83zFvs7CiNDgKDUU/6xMuaZJgGebQKtzEIozw5iXr4YGoYd40QiBw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:04:08.863300Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.05742","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6fa178954f6dc3aff42d33c3b2636573f8b069ad7771a69bacbb589cb8a905c3","sha256:7747fdabdb912353dd51ab3720b07c77b1315c879ed452d286e57a5475d53e9e"],"state_sha256":"a28cf97216880320b0f236675b1945188bb145c73da6e80e9d760ff4a1d8f934"}