{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:7RHJLLQAVUCBUSSDSLZ2VTOVDI","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":"5f51c5ca89f518d5a7de984374ecaeb105c6490f56d7a1bdc07510a12b3d0ea3","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AR","submitted_at":"2021-01-03T08:58:39Z","title_canon_sha256":"4929ea5474d5097c90d9a44eaeff55a21d4142c0784f6a3271b0f197996b7c70"},"schema_version":"1.0","source":{"id":"2101.00587","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.00587","created_at":"2026-07-05T02:04:19Z"},{"alias_kind":"arxiv_version","alias_value":"2101.00587v1","created_at":"2026-07-05T02:04:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.00587","created_at":"2026-07-05T02:04:19Z"},{"alias_kind":"pith_short_12","alias_value":"7RHJLLQAVUCB","created_at":"2026-07-05T02:04:19Z"},{"alias_kind":"pith_short_16","alias_value":"7RHJLLQAVUCBUSSD","created_at":"2026-07-05T02:04:19Z"},{"alias_kind":"pith_short_8","alias_value":"7RHJLLQA","created_at":"2026-07-05T02:04:19Z"}],"graph_snapshots":[{"event_id":"sha256:33a3e3093a619d873678174f23feec9e1678ccc99ca590670c16f54ce731c34e","target":"graph","created_at":"2026-07-05T02:04:19Z","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/2101.00587/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"High-Level Synthesis (HLS) frameworks allow to easily specify a large number of variants of the same hardware design by only acting on optimization directives. Nonetheless, the hardware synthesis of implementations for all possible combinations of directive values is impractical even for simple designs. Addressing this shortcoming, many HLS Design Space Exploration (DSE) strategies have been proposed to devise directive settings leading to high-quality implementations while limiting the number of synthesis runs. All these works require considerable efforts to validate the proposed strategies a","authors_text":"Giovanni Ansaloni, Giuseppe Di Guglielmo, Jihye Kwon, Laura Pozzi, Lorenzo Ferretti, Luca Carloni","cross_cats":[],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AR","submitted_at":"2021-01-03T08:58:39Z","title":"DB4HLS: A Database of High-Level Synthesis Design Space Explorations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.00587","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:1302800603e77e164423ce099d8f1ba3f2e62737fdd48c12392a8b5615802ae4","target":"record","created_at":"2026-07-05T02:04:19Z","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":"5f51c5ca89f518d5a7de984374ecaeb105c6490f56d7a1bdc07510a12b3d0ea3","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AR","submitted_at":"2021-01-03T08:58:39Z","title_canon_sha256":"4929ea5474d5097c90d9a44eaeff55a21d4142c0784f6a3271b0f197996b7c70"},"schema_version":"1.0","source":{"id":"2101.00587","kind":"arxiv","version":1}},"canonical_sha256":"fc4e95ae00ad041a4a4392f3aacdd51a3d402d9f8f8ab331e3855252a58a861b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fc4e95ae00ad041a4a4392f3aacdd51a3d402d9f8f8ab331e3855252a58a861b","first_computed_at":"2026-07-05T02:04:19.920841Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:04:19.920841Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qbGpR3zMqDYJtH4KWR32+Jp/noLQLqEFTlHRYKBFr/oiSC93lTJTjegVEMVj2IZczHxFAlcI0T0i8u8+gjMYCA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:04:19.921216Z","signed_message":"canonical_sha256_bytes"},"source_id":"2101.00587","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1302800603e77e164423ce099d8f1ba3f2e62737fdd48c12392a8b5615802ae4","sha256:33a3e3093a619d873678174f23feec9e1678ccc99ca590670c16f54ce731c34e"],"state_sha256":"8746ddd7f6bfefe49c702f24f78c532affa4ab3d674a4794c9936026ef62868a"}