{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:XSPAZ2NXVPTR62ET7RILW2BQW5","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":"30eca693bd144c555f1a0255084031ef8407bf4aff5ce2cfc25a51c5827a32b7","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-08-19T21:40:28Z","title_canon_sha256":"24933f33a5ea56821c1c18503f26932430a96b85d086f5b84b8280b3f618c9da"},"schema_version":"1.0","source":{"id":"2408.10428","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.10428","created_at":"2026-07-05T08:57:11Z"},{"alias_kind":"arxiv_version","alias_value":"2408.10428v1","created_at":"2026-07-05T08:57:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.10428","created_at":"2026-07-05T08:57:11Z"},{"alias_kind":"pith_short_12","alias_value":"XSPAZ2NXVPTR","created_at":"2026-07-05T08:57:11Z"},{"alias_kind":"pith_short_16","alias_value":"XSPAZ2NXVPTR62ET","created_at":"2026-07-05T08:57:11Z"},{"alias_kind":"pith_short_8","alias_value":"XSPAZ2NX","created_at":"2026-07-05T08:57:11Z"}],"graph_snapshots":[{"event_id":"sha256:e2a94d9961154450e8ee936a5bd4b7e4b9ca0fa0b6e9e2a97ff0c26b43b88975","target":"graph","created_at":"2026-07-05T08:57:11Z","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/2408.10428/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The increasing complexity and demand for faster, energy-efficient hardware designs necessitate innovative High-Level Synthesis (HLS) methodologies. This paper explores the potential of Large Language Models (LLMs) to streamline or replace the HLS process, leveraging their ability to understand natural language specifications and refactor code. We survey the current research and conduct experiments comparing Verilog designs generated by a standard HLS tool (Vitis HLS) with those produced by LLMs translating C code or natural language specifications. Our evaluation focuses on quantifying the imp","authors_text":"Roman Lysecky, Tosiron Adegbija, Yuchao Liao","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-08-19T21:40:28Z","title":"Are LLMs Any Good for High-Level Synthesis?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.10428","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:1c0f47ca0621a0fb103a6b803e272dde9a6df22b006f59bfa13945cac9d54445","target":"record","created_at":"2026-07-05T08:57:11Z","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":"30eca693bd144c555f1a0255084031ef8407bf4aff5ce2cfc25a51c5827a32b7","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-08-19T21:40:28Z","title_canon_sha256":"24933f33a5ea56821c1c18503f26932430a96b85d086f5b84b8280b3f618c9da"},"schema_version":"1.0","source":{"id":"2408.10428","kind":"arxiv","version":1}},"canonical_sha256":"bc9e0ce9b7abe71f6893fc50bb6830b77b6178688bf006c7bea4925e333bfcee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc9e0ce9b7abe71f6893fc50bb6830b77b6178688bf006c7bea4925e333bfcee","first_computed_at":"2026-07-05T08:57:11.703855Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:57:11.703855Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"c6KLFucm1nX8uQ5vBZkG0ZKHfE9J/UkMWWcEYn47ISZnI+RYfNjJneQ2TxgQ/toUOQT4aLBSHTCwdJmSjPnTDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:57:11.704399Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.10428","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1c0f47ca0621a0fb103a6b803e272dde9a6df22b006f59bfa13945cac9d54445","sha256:e2a94d9961154450e8ee936a5bd4b7e4b9ca0fa0b6e9e2a97ff0c26b43b88975"],"state_sha256":"303cf4f99c86319d0d9c2f9d6d222ce2cf2dee1d3b039ea3566f8989bdac471e"}