{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:Z7CBPL6DJITJ3OS5SS6UEA3RQB","short_pith_number":"pith:Z7CBPL6D","canonical_record":{"source":{"id":"2406.00115","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-05-31T18:06:15Z","cross_cats_sorted":[],"title_canon_sha256":"18d267b28c8cffc676dce5e758176749dddef6228251adf40bb4a4de0a8b5c76","abstract_canon_sha256":"3b5bc860cdbfae05453b6c720f898891c0befbaf0b95448fa2fe303dbb59b8d8"},"schema_version":"1.0"},"canonical_sha256":"cfc417afc34a269dba5d94bd420371805a896da486f7ca4fbb59325ad7d989de","source":{"kind":"arxiv","id":"2406.00115","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.00115","created_at":"2026-07-05T08:25:57Z"},{"alias_kind":"arxiv_version","alias_value":"2406.00115v1","created_at":"2026-07-05T08:25:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.00115","created_at":"2026-07-05T08:25:57Z"},{"alias_kind":"pith_short_12","alias_value":"Z7CBPL6DJITJ","created_at":"2026-07-05T08:25:57Z"},{"alias_kind":"pith_short_16","alias_value":"Z7CBPL6DJITJ3OS5","created_at":"2026-07-05T08:25:57Z"},{"alias_kind":"pith_short_8","alias_value":"Z7CBPL6D","created_at":"2026-07-05T08:25:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:Z7CBPL6DJITJ3OS5SS6UEA3RQB","target":"record","payload":{"canonical_record":{"source":{"id":"2406.00115","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-05-31T18:06:15Z","cross_cats_sorted":[],"title_canon_sha256":"18d267b28c8cffc676dce5e758176749dddef6228251adf40bb4a4de0a8b5c76","abstract_canon_sha256":"3b5bc860cdbfae05453b6c720f898891c0befbaf0b95448fa2fe303dbb59b8d8"},"schema_version":"1.0"},"canonical_sha256":"cfc417afc34a269dba5d94bd420371805a896da486f7ca4fbb59325ad7d989de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:25:57.150196Z","signature_b64":"Qv0Pz606gr6wyuqJMpeR7TTPzj8tyT+STBh6VfA5FmY3ZmrJAmUaDZi6EMEpPSzMoGzypFvqaMGiBs1o2mzkDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cfc417afc34a269dba5d94bd420371805a896da486f7ca4fbb59325ad7d989de","last_reissued_at":"2026-07-05T08:25:57.149628Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:25:57.149628Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.00115","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:25:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pi4Cqw6AaIJ+J6abik7xSFqcl7if6z44lAMRQx+Eq5EyWf6JYgIHMLSbPB/X61YtWprII9ijZcdiOdZXMK/fBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T20:43:18.236461Z"},"content_sha256":"5084edab9c1414dcfa413897b3f145dfbb99070023dfe3145e04730df45c813e","schema_version":"1.0","event_id":"sha256:5084edab9c1414dcfa413897b3f145dfbb99070023dfe3145e04730df45c813e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:Z7CBPL6DJITJ3OS5SS6UEA3RQB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Hanxian Huang, Jishen Zhao, Ke Ding, Xin Chen, Zhenghan Lin, Zixuan Wang","submitted_at":"2024-05-31T18:06:15Z","abstract_excerpt":"We explore the use of Large Language Models (LLMs) to generate high-quality Register-Transfer Level (RTL) code with minimal human interference. The traditional RTL design workflow requires human experts to manually write high-quality RTL code, which is time-consuming and error-prone. With the help of emerging LLMs, developers can describe their requirements to LLMs which then generate corresponding code in Python, C, Java, and more. Adopting LLMs to generate RTL design in hardware description languages is not trivial, given the complex nature of hardware design and the generated design has to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.00115","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/2406.00115/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:25:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lH2faLuzvnt6p2QBsjk025Rpf17lUqPx2F9FeECthlPPE3t9TpVXGpaSAvww3nJYXZWPzfX2JXiut8wkLFM5Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T20:43:18.236980Z"},"content_sha256":"1b5a1df8c5bbb654d8f9f005a592343e2ba8bc84052c383d492b88ae3014eaf1","schema_version":"1.0","event_id":"sha256:1b5a1df8c5bbb654d8f9f005a592343e2ba8bc84052c383d492b88ae3014eaf1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Z7CBPL6DJITJ3OS5SS6UEA3RQB/bundle.json","state_url":"https://pith.science/pith/Z7CBPL6DJITJ3OS5SS6UEA3RQB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Z7CBPL6DJITJ3OS5SS6UEA3RQB/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-07T20:43:18Z","links":{"resolver":"https://pith.science/pith/Z7CBPL6DJITJ3OS5SS6UEA3RQB","bundle":"https://pith.science/pith/Z7CBPL6DJITJ3OS5SS6UEA3RQB/bundle.json","state":"https://pith.science/pith/Z7CBPL6DJITJ3OS5SS6UEA3RQB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Z7CBPL6DJITJ3OS5SS6UEA3RQB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:Z7CBPL6DJITJ3OS5SS6UEA3RQB","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":"3b5bc860cdbfae05453b6c720f898891c0befbaf0b95448fa2fe303dbb59b8d8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-05-31T18:06:15Z","title_canon_sha256":"18d267b28c8cffc676dce5e758176749dddef6228251adf40bb4a4de0a8b5c76"},"schema_version":"1.0","source":{"id":"2406.00115","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.00115","created_at":"2026-07-05T08:25:57Z"},{"alias_kind":"arxiv_version","alias_value":"2406.00115v1","created_at":"2026-07-05T08:25:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.00115","created_at":"2026-07-05T08:25:57Z"},{"alias_kind":"pith_short_12","alias_value":"Z7CBPL6DJITJ","created_at":"2026-07-05T08:25:57Z"},{"alias_kind":"pith_short_16","alias_value":"Z7CBPL6DJITJ3OS5","created_at":"2026-07-05T08:25:57Z"},{"alias_kind":"pith_short_8","alias_value":"Z7CBPL6D","created_at":"2026-07-05T08:25:57Z"}],"graph_snapshots":[{"event_id":"sha256:1b5a1df8c5bbb654d8f9f005a592343e2ba8bc84052c383d492b88ae3014eaf1","target":"graph","created_at":"2026-07-05T08:25:57Z","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/2406.00115/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We explore the use of Large Language Models (LLMs) to generate high-quality Register-Transfer Level (RTL) code with minimal human interference. The traditional RTL design workflow requires human experts to manually write high-quality RTL code, which is time-consuming and error-prone. With the help of emerging LLMs, developers can describe their requirements to LLMs which then generate corresponding code in Python, C, Java, and more. Adopting LLMs to generate RTL design in hardware description languages is not trivial, given the complex nature of hardware design and the generated design has to ","authors_text":"Hanxian Huang, Jishen Zhao, Ke Ding, Xin Chen, Zhenghan Lin, Zixuan Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-05-31T18:06:15Z","title":"Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.00115","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:5084edab9c1414dcfa413897b3f145dfbb99070023dfe3145e04730df45c813e","target":"record","created_at":"2026-07-05T08:25:57Z","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":"3b5bc860cdbfae05453b6c720f898891c0befbaf0b95448fa2fe303dbb59b8d8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-05-31T18:06:15Z","title_canon_sha256":"18d267b28c8cffc676dce5e758176749dddef6228251adf40bb4a4de0a8b5c76"},"schema_version":"1.0","source":{"id":"2406.00115","kind":"arxiv","version":1}},"canonical_sha256":"cfc417afc34a269dba5d94bd420371805a896da486f7ca4fbb59325ad7d989de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cfc417afc34a269dba5d94bd420371805a896da486f7ca4fbb59325ad7d989de","first_computed_at":"2026-07-05T08:25:57.149628Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:25:57.149628Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Qv0Pz606gr6wyuqJMpeR7TTPzj8tyT+STBh6VfA5FmY3ZmrJAmUaDZi6EMEpPSzMoGzypFvqaMGiBs1o2mzkDg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:25:57.150196Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.00115","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5084edab9c1414dcfa413897b3f145dfbb99070023dfe3145e04730df45c813e","sha256:1b5a1df8c5bbb654d8f9f005a592343e2ba8bc84052c383d492b88ae3014eaf1"],"state_sha256":"2ac3c28f35ad3bacb7e18e7fe1b02052e58c622b8880c0bbd064790a8b38dcc0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KLCbksRD5bXTVlHrEnUPIDGnwJ3KSqr6ijEDrZZW4qsHuBV8m6fSBTH/kvKisadxXu0appq3TSI91fUXASIXAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T20:43:18.241098Z","bundle_sha256":"f284b34cb501358cefa5fd340e8992267e6031fc8e049a6080a58315a5ef79aa"}}