{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:K3A2GF6ENQLV3OSZCUV44KGR4O","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":"c19576ff4e9adaa6b537ce0e47687f5e08e96113ce324136e2849e9d4bc6e7d1","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-09T17:10:47Z","title_canon_sha256":"313e3da1644c8c9b32f86af6578af5a6dffaca882e28bd10b1d0eb38453d3b92"},"schema_version":"1.0","source":{"id":"2506.07945","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07945","created_at":"2026-07-05T11:37:23Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07945v2","created_at":"2026-07-05T11:37:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07945","created_at":"2026-07-05T11:37:23Z"},{"alias_kind":"pith_short_12","alias_value":"K3A2GF6ENQLV","created_at":"2026-07-05T11:37:23Z"},{"alias_kind":"pith_short_16","alias_value":"K3A2GF6ENQLV3OSZ","created_at":"2026-07-05T11:37:23Z"},{"alias_kind":"pith_short_8","alias_value":"K3A2GF6E","created_at":"2026-07-05T11:37:23Z"}],"graph_snapshots":[{"event_id":"sha256:5869332c4520c5e51765c5a38f59721610c4bc46283c5df8e707f50963f91bf4","target":"graph","created_at":"2026-07-05T11:37:23Z","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/2506.07945/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in large language models (LLMs) have demonstrated strong performance in generating code for general-purpose programming languages. However, their potential for hardware description languages (HDLs), such as SystemVerilog, remains largely unexplored. HDL code generation poses unique challenges due to strict timing semantics, concurrency, and synthesizability constraints essential for correct hardware functionality. Further, HDL-based design flows encompass a broad set of tasks beyond structural code generation, including testbench development, assertion-based verification, timin","authors_text":"Arnav Sheth, Ivaxi Sheth, Mario Fritz","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-09T17:10:47Z","title":"ProtocolLLM: RTL Benchmark for SystemVerilog Generation of Communication Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07945","kind":"arxiv","version":2},"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:b6ff0b2d60d288f22de01425dd51106227fe0aeec13fc0eeb2908d79dce36bcc","target":"record","created_at":"2026-07-05T11:37:23Z","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":"c19576ff4e9adaa6b537ce0e47687f5e08e96113ce324136e2849e9d4bc6e7d1","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-09T17:10:47Z","title_canon_sha256":"313e3da1644c8c9b32f86af6578af5a6dffaca882e28bd10b1d0eb38453d3b92"},"schema_version":"1.0","source":{"id":"2506.07945","kind":"arxiv","version":2}},"canonical_sha256":"56c1a317c46c175dba59152bce28d1e39a3b108247d25bbe17e52a8b24d006a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56c1a317c46c175dba59152bce28d1e39a3b108247d25bbe17e52a8b24d006a5","first_computed_at":"2026-07-05T11:37:23.076051Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:37:23.076051Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/sHMuy/M+1e6IMrE1+DoxfgXq+hamNIcaZz6tgY5IZYKP5oC6m3e+mWEOlI9f1nu2xb0i8iISwW+uD9xtvkSAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:37:23.076560Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.07945","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6ff0b2d60d288f22de01425dd51106227fe0aeec13fc0eeb2908d79dce36bcc","sha256:5869332c4520c5e51765c5a38f59721610c4bc46283c5df8e707f50963f91bf4"],"state_sha256":"d613e25f39eb581900f67d93fe08ee96139912990c680abb72d2cfcaec1f8574"}