{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:OVVLG2BG4QQCBZUTNYRQK3HPRV","short_pith_number":"pith:OVVLG2BG","schema_version":"1.0","canonical_sha256":"756ab36826e42020e6936e23056cef8d486c5dd3366e97a5bba7419ba8687a53","source":{"kind":"arxiv","id":"2409.03119","version":1},"attestation_state":"computed","paper":{"title":"Register Aggregation for Hardware Decompilation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AR","authors_text":"Varun Rao, Zachary D. Sisco","submitted_at":"2024-09-04T23:06:13Z","abstract_excerpt":"Hardware decompilation reverses logic synthesis, converting a gate-level digital electronic design, or netlist, back up to hardware description language (HDL) code. Existing techniques decompile data-oriented features in netlists, like loops and modules, but struggle with sequential logic. In particular, they cannot decompile memory elements, which pose difficulty due to their deconstruction into individual bits and the feedback loops they form in the netlist. Recovering multi-bit registers and memory blocks from netlists would expand the applications of hardware decompilation, notably towards"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2409.03119","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-09-04T23:06:13Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"8b59aa791cf11c1fb942116cd21455723820c2654f0bdb9a7a907f56c3cc091b","abstract_canon_sha256":"c941ee79d7fc1dacda3dd25501a8bf2f02068e442f8e8adf3d08f19aedbcaea2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:03:26.475946Z","signature_b64":"oKepWtPn67Nz1owvxWlZvLtkbb/iIxQ5d62o+TsNt35hNeo3mj1Z3+HIcCwdKIYX85iLrHZp9aGY5CIL87x4Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"756ab36826e42020e6936e23056cef8d486c5dd3366e97a5bba7419ba8687a53","last_reissued_at":"2026-07-05T09:03:26.475545Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:03:26.475545Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Register Aggregation for Hardware Decompilation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AR","authors_text":"Varun Rao, Zachary D. Sisco","submitted_at":"2024-09-04T23:06:13Z","abstract_excerpt":"Hardware decompilation reverses logic synthesis, converting a gate-level digital electronic design, or netlist, back up to hardware description language (HDL) code. Existing techniques decompile data-oriented features in netlists, like loops and modules, but struggle with sequential logic. In particular, they cannot decompile memory elements, which pose difficulty due to their deconstruction into individual bits and the feedback loops they form in the netlist. Recovering multi-bit registers and memory blocks from netlists would expand the applications of hardware decompilation, notably towards"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.03119","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2409.03119/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2409.03119","created_at":"2026-07-05T09:03:26.475599+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.03119v1","created_at":"2026-07-05T09:03:26.475599+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.03119","created_at":"2026-07-05T09:03:26.475599+00:00"},{"alias_kind":"pith_short_12","alias_value":"OVVLG2BG4QQC","created_at":"2026-07-05T09:03:26.475599+00:00"},{"alias_kind":"pith_short_16","alias_value":"OVVLG2BG4QQCBZUT","created_at":"2026-07-05T09:03:26.475599+00:00"},{"alias_kind":"pith_short_8","alias_value":"OVVLG2BG","created_at":"2026-07-05T09:03:26.475599+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OVVLG2BG4QQCBZUTNYRQK3HPRV","json":"https://pith.science/pith/OVVLG2BG4QQCBZUTNYRQK3HPRV.json","graph_json":"https://pith.science/api/pith-number/OVVLG2BG4QQCBZUTNYRQK3HPRV/graph.json","events_json":"https://pith.science/api/pith-number/OVVLG2BG4QQCBZUTNYRQK3HPRV/events.json","paper":"https://pith.science/paper/OVVLG2BG"},"agent_actions":{"view_html":"https://pith.science/pith/OVVLG2BG4QQCBZUTNYRQK3HPRV","download_json":"https://pith.science/pith/OVVLG2BG4QQCBZUTNYRQK3HPRV.json","view_paper":"https://pith.science/paper/OVVLG2BG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.03119&json=true","fetch_graph":"https://pith.science/api/pith-number/OVVLG2BG4QQCBZUTNYRQK3HPRV/graph.json","fetch_events":"https://pith.science/api/pith-number/OVVLG2BG4QQCBZUTNYRQK3HPRV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OVVLG2BG4QQCBZUTNYRQK3HPRV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OVVLG2BG4QQCBZUTNYRQK3HPRV/action/storage_attestation","attest_author":"https://pith.science/pith/OVVLG2BG4QQCBZUTNYRQK3HPRV/action/author_attestation","sign_citation":"https://pith.science/pith/OVVLG2BG4QQCBZUTNYRQK3HPRV/action/citation_signature","submit_replication":"https://pith.science/pith/OVVLG2BG4QQCBZUTNYRQK3HPRV/action/replication_record"}},"created_at":"2026-07-05T09:03:26.475599+00:00","updated_at":"2026-07-05T09:03:26.475599+00:00"}