{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:KYUJXCPMG25SBRRCNMIV3KFLIA","short_pith_number":"pith:KYUJXCPM","canonical_record":{"source":{"id":"2311.04887","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2023-11-08T18:46:39Z","cross_cats_sorted":[],"title_canon_sha256":"f7a201317a993b50ea00246265b8ce582ab963ddabc9f133dabcec7f4f436ac0","abstract_canon_sha256":"0c24523d5cd54578a18fffe206fbc4eadaabb5f4f8f932e73dcccb2ce0826749"},"schema_version":"1.0"},"canonical_sha256":"56289b89ec36bb20c6226b115da8ab403945e623308c52aee6694895f8d10c46","source":{"kind":"arxiv","id":"2311.04887","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.04887","created_at":"2026-07-05T08:27:23Z"},{"alias_kind":"arxiv_version","alias_value":"2311.04887v2","created_at":"2026-07-05T08:27:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.04887","created_at":"2026-07-05T08:27:23Z"},{"alias_kind":"pith_short_12","alias_value":"KYUJXCPMG25S","created_at":"2026-07-05T08:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"KYUJXCPMG25SBRRC","created_at":"2026-07-05T08:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"KYUJXCPM","created_at":"2026-07-05T08:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:KYUJXCPMG25SBRRCNMIV3KFLIA","target":"record","payload":{"canonical_record":{"source":{"id":"2311.04887","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2023-11-08T18:46:39Z","cross_cats_sorted":[],"title_canon_sha256":"f7a201317a993b50ea00246265b8ce582ab963ddabc9f133dabcec7f4f436ac0","abstract_canon_sha256":"0c24523d5cd54578a18fffe206fbc4eadaabb5f4f8f932e73dcccb2ce0826749"},"schema_version":"1.0"},"canonical_sha256":"56289b89ec36bb20c6226b115da8ab403945e623308c52aee6694895f8d10c46","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:27:23.530108Z","signature_b64":"gvbtW2S5KgGo4+GJnvYS87iWoG8BhEoCPPhqLAgZqk/2jizpS3MX0tEA4r8H0PiK8vqbiuLD5rozVdPGVbDYDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56289b89ec36bb20c6226b115da8ab403945e623308c52aee6694895f8d10c46","last_reissued_at":"2026-07-05T08:27:23.529587Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:27:23.529587Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.04887","source_version":2,"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:27:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tdf4F9xq7offKHBLaNSF6n0GsHAOJK7PLCYYIwzoXSC0T6ETotpMC4FyVbJOaChEsBlhE8ZYWc8p3OUwT/LbAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T16:04:02.530981Z"},"content_sha256":"1c078aecd9cb62fcb48ad528f98f7062750f43c5b481968e5c58364bd1c4af50","schema_version":"1.0","event_id":"sha256:1c078aecd9cb62fcb48ad528f98f7062750f43c5b481968e5c58364bd1c4af50"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:KYUJXCPMG25SBRRCNMIV3KFLIA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AutoChip: Automating HDL Generation Using LLM Feedback","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Benjamin Tan, Hammond Pearce, Jason Blocklove, Ramesh Karri, Shailja Thakur, Siddharth Garg","submitted_at":"2023-11-08T18:46:39Z","abstract_excerpt":"Traditionally, designs are written in Verilog hardware description language (HDL) and debugged by hardware engineers. While this approach is effective, it is time-consuming and error-prone for complex designs. Large language models (LLMs) are promising in automating HDL code generation. LLMs are trained on massive datasets of text and code, and they can learn to generate code that compiles and is functionally accurate. We aim to evaluate the ability of LLMs to generate functionally correct HDL models. We build AutoChip by combining the interactive capabilities of LLMs and the output from Veril"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.04887","kind":"arxiv","version":2},"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/2311.04887/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:27:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OMCUqRczOCegzpeuKjMy+3P2tgjlpdLUmJAhiatdIukNCkX4SqrZv+KcrBaMtODvQaXHZpNLucrMWXYIPh+7AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T16:04:02.531917Z"},"content_sha256":"2f1ddd70eb9acb88c5e6bc75b8567b3d8a3a1551107f692c1078f3e4c2aeb56d","schema_version":"1.0","event_id":"sha256:2f1ddd70eb9acb88c5e6bc75b8567b3d8a3a1551107f692c1078f3e4c2aeb56d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KYUJXCPMG25SBRRCNMIV3KFLIA/bundle.json","state_url":"https://pith.science/pith/KYUJXCPMG25SBRRCNMIV3KFLIA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KYUJXCPMG25SBRRCNMIV3KFLIA/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-04T16:04:02Z","links":{"resolver":"https://pith.science/pith/KYUJXCPMG25SBRRCNMIV3KFLIA","bundle":"https://pith.science/pith/KYUJXCPMG25SBRRCNMIV3KFLIA/bundle.json","state":"https://pith.science/pith/KYUJXCPMG25SBRRCNMIV3KFLIA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KYUJXCPMG25SBRRCNMIV3KFLIA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:KYUJXCPMG25SBRRCNMIV3KFLIA","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":"0c24523d5cd54578a18fffe206fbc4eadaabb5f4f8f932e73dcccb2ce0826749","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2023-11-08T18:46:39Z","title_canon_sha256":"f7a201317a993b50ea00246265b8ce582ab963ddabc9f133dabcec7f4f436ac0"},"schema_version":"1.0","source":{"id":"2311.04887","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.04887","created_at":"2026-07-05T08:27:23Z"},{"alias_kind":"arxiv_version","alias_value":"2311.04887v2","created_at":"2026-07-05T08:27:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.04887","created_at":"2026-07-05T08:27:23Z"},{"alias_kind":"pith_short_12","alias_value":"KYUJXCPMG25S","created_at":"2026-07-05T08:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"KYUJXCPMG25SBRRC","created_at":"2026-07-05T08:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"KYUJXCPM","created_at":"2026-07-05T08:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:2f1ddd70eb9acb88c5e6bc75b8567b3d8a3a1551107f692c1078f3e4c2aeb56d","target":"graph","created_at":"2026-07-05T08:27: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/2311.04887/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Traditionally, designs are written in Verilog hardware description language (HDL) and debugged by hardware engineers. While this approach is effective, it is time-consuming and error-prone for complex designs. Large language models (LLMs) are promising in automating HDL code generation. LLMs are trained on massive datasets of text and code, and they can learn to generate code that compiles and is functionally accurate. We aim to evaluate the ability of LLMs to generate functionally correct HDL models. We build AutoChip by combining the interactive capabilities of LLMs and the output from Veril","authors_text":"Benjamin Tan, Hammond Pearce, Jason Blocklove, Ramesh Karri, Shailja Thakur, Siddharth Garg","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2023-11-08T18:46:39Z","title":"AutoChip: Automating HDL Generation Using LLM Feedback"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.04887","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:1c078aecd9cb62fcb48ad528f98f7062750f43c5b481968e5c58364bd1c4af50","target":"record","created_at":"2026-07-05T08:27: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":"0c24523d5cd54578a18fffe206fbc4eadaabb5f4f8f932e73dcccb2ce0826749","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2023-11-08T18:46:39Z","title_canon_sha256":"f7a201317a993b50ea00246265b8ce582ab963ddabc9f133dabcec7f4f436ac0"},"schema_version":"1.0","source":{"id":"2311.04887","kind":"arxiv","version":2}},"canonical_sha256":"56289b89ec36bb20c6226b115da8ab403945e623308c52aee6694895f8d10c46","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56289b89ec36bb20c6226b115da8ab403945e623308c52aee6694895f8d10c46","first_computed_at":"2026-07-05T08:27:23.529587Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:27:23.529587Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gvbtW2S5KgGo4+GJnvYS87iWoG8BhEoCPPhqLAgZqk/2jizpS3MX0tEA4r8H0PiK8vqbiuLD5rozVdPGVbDYDw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:27:23.530108Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.04887","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1c078aecd9cb62fcb48ad528f98f7062750f43c5b481968e5c58364bd1c4af50","sha256:2f1ddd70eb9acb88c5e6bc75b8567b3d8a3a1551107f692c1078f3e4c2aeb56d"],"state_sha256":"8efdf8dccdf89c7db6fda2ad33e22f33fa202089ae23a508217670d1585d6e30"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D5LPKBAJeX+RDi/Ts/kvKalaKn0KhRdzfwnRvQY0+RkLqjxGObh7VXK+xZKEYWPlQ1OljtO3qHvrTILKV42SCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T16:04:02.539470Z","bundle_sha256":"5b47734e9e1f8fb567057b5cccaf4d19756a8e97a1a7e9543c04dd603d9d42e6"}}