{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:X6J6QRB67XGSXEI356DNJNW5G7","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":"80e15110dfdc2cc15dcfad57e9e386a0aa3301ce7447862ada8986df3a2a901a","cross_cats_sorted":["cs.LG","cs.PF","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-05-06T06:33:22Z","title_canon_sha256":"df4bb4043e03a7a123e54573c24f7d01a794ebf9c39ea71fd187027e9f19d68e"},"schema_version":"1.0","source":{"id":"1905.03852","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.03852","created_at":"2026-05-17T23:46:35Z"},{"alias_kind":"arxiv_version","alias_value":"1905.03852v1","created_at":"2026-05-17T23:46:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.03852","created_at":"2026-05-17T23:46:35Z"},{"alias_kind":"pith_short_12","alias_value":"X6J6QRB67XGS","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"X6J6QRB67XGSXEI3","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"X6J6QRB6","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:b4a8a4ee5ca0227b7dc44e1f825ff5e2929162aed4719163a20a52d0f2079644","target":"graph","created_at":"2026-05-17T23:46:35Z","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"},"paper":{"abstract_excerpt":"High-level synthesis (HLS) shortens the development time of hardware designs and enables faster design space exploration at a higher abstraction level. Optimization of complex applications in HLS is challenging due to the effects of implementation issues such as routing congestion. Routing congestion estimation is absent or inaccurate in existing HLS design methods and tools. Early and accurate congestion estimation is of great benefit to guide the optimization in HLS and improve the efficiency of implementation. However, routability, a serious concern in FPGA designs, has been difficult to ev","authors_text":"Jieru Zhao, Sharad Sinha, Tingyuan Liang, Wei Zhang","cross_cats":["cs.LG","cs.PF","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-05-06T06:33:22Z","title":"Machine Learning Based Routing Congestion Prediction in FPGA High-Level Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.03852","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:ef46284d82123a8c230ec0e0906ed07445dded2a9b0ac6072201d6e2891d2971","target":"record","created_at":"2026-05-17T23:46:35Z","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":"80e15110dfdc2cc15dcfad57e9e386a0aa3301ce7447862ada8986df3a2a901a","cross_cats_sorted":["cs.LG","cs.PF","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-05-06T06:33:22Z","title_canon_sha256":"df4bb4043e03a7a123e54573c24f7d01a794ebf9c39ea71fd187027e9f19d68e"},"schema_version":"1.0","source":{"id":"1905.03852","kind":"arxiv","version":1}},"canonical_sha256":"bf93e8443efdcd2b911bef86d4b6dd37deb3835bf25da078acb7a6f55f2d4ad0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bf93e8443efdcd2b911bef86d4b6dd37deb3835bf25da078acb7a6f55f2d4ad0","first_computed_at":"2026-05-17T23:46:35.417865Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:35.417865Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"phcoXuVbE9ho6X0a2C0NigQ8Vef0ta27ujDMnnaPNoczOjf8XN+DqTh50ACXepeNQiN3DLN4uWDTs7COWdPDAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:35.418676Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.03852","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ef46284d82123a8c230ec0e0906ed07445dded2a9b0ac6072201d6e2891d2971","sha256:b4a8a4ee5ca0227b7dc44e1f825ff5e2929162aed4719163a20a52d0f2079644"],"state_sha256":"313fb30aaf0d3ac93aae31505131ce26063b9c26a8896e1fa329ed595108a7ac"}