{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:T6J4KNHZ6PSP65KANDF7IXSMQC","short_pith_number":"pith:T6J4KNHZ","canonical_record":{"source":{"id":"2506.13905","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-16T18:33:25Z","cross_cats_sorted":[],"title_canon_sha256":"934e63483ba6b6fa3e7fa4e91efad35ba5206003e6a0d6e7f53ed91c877d8533","abstract_canon_sha256":"ae16b7922bc07c2cea47e6be0920496840256b41c7e25a0f445cfc742998d766"},"schema_version":"1.0"},"canonical_sha256":"9f93c534f9f3e4ff754068cbf45e4c80a4a6c09a469d3aef45895bcaad2f1a39","source":{"kind":"arxiv","id":"2506.13905","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.13905","created_at":"2026-07-05T12:07:08Z"},{"alias_kind":"arxiv_version","alias_value":"2506.13905v2","created_at":"2026-07-05T12:07:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.13905","created_at":"2026-07-05T12:07:08Z"},{"alias_kind":"pith_short_12","alias_value":"T6J4KNHZ6PSP","created_at":"2026-07-05T12:07:08Z"},{"alias_kind":"pith_short_16","alias_value":"T6J4KNHZ6PSP65KA","created_at":"2026-07-05T12:07:08Z"},{"alias_kind":"pith_short_8","alias_value":"T6J4KNHZ","created_at":"2026-07-05T12:07:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:T6J4KNHZ6PSP65KANDF7IXSMQC","target":"record","payload":{"canonical_record":{"source":{"id":"2506.13905","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-16T18:33:25Z","cross_cats_sorted":[],"title_canon_sha256":"934e63483ba6b6fa3e7fa4e91efad35ba5206003e6a0d6e7f53ed91c877d8533","abstract_canon_sha256":"ae16b7922bc07c2cea47e6be0920496840256b41c7e25a0f445cfc742998d766"},"schema_version":"1.0"},"canonical_sha256":"9f93c534f9f3e4ff754068cbf45e4c80a4a6c09a469d3aef45895bcaad2f1a39","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:07:08.807991Z","signature_b64":"9NWnzYSrfG/dGzuUHbQJlq5/dwtbHszaUL0l8RNQn5wVI1bQSz8wxBS+cBOHQBiEl9Ypu5cZYkqDjbyda3AoBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f93c534f9f3e4ff754068cbf45e4c80a4a6c09a469d3aef45895bcaad2f1a39","last_reissued_at":"2026-07-05T12:07:08.807359Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:07:08.807359Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.13905","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-05T12:07:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9efDssi3uwdS1ClIGmPRC92w7tRb46Gpcngf5AGs86wR3kToE3UKgwpE2FfxEFJa4Wd24iwsQ/v0yJFPKGr2BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T16:45:30.763189Z"},"content_sha256":"3f4c2ddc3cca6639b36c992780310bcf39886877d358125783e6e7aece8b9223","schema_version":"1.0","event_id":"sha256:3f4c2ddc3cca6639b36c992780310bcf39886877d358125783e6e7aece8b9223"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:T6J4KNHZ6PSP65KANDF7IXSMQC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Spec2RTL-Agent: Automated Hardware Code Generation from Complex Specifications Using LLM Agent Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Haoxing Ren, Michael Zimmer, Mingjie Liu, Yingyan Celine Lin, Yong Liu, Zhongzhi Yu","submitted_at":"2025-06-16T18:33:25Z","abstract_excerpt":"Despite recent progress in generating hardware RTL code with LLMs, existing solutions still suffer from a substantial gap between practical application scenarios and the requirements of real-world RTL code development. Prior approaches either focus on overly simplified hardware descriptions or depend on extensive human guidance to process complex specifications, limiting their scalability and automation potential. In this paper, we address this gap by proposing an LLM agent system, termed Spec2RTL-Agent, designed to directly process complex specification documentation and generate correspondin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.13905","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/2506.13905/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-05T12:07:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"evFk+gv/V4dLrdxWVk1l/I8Pd42K2z5WSyCAG2EHuxdPxTCWPETf2EyXwWObLvmvbPb3Czzklp2jwF8haS27DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T16:45:30.763738Z"},"content_sha256":"a00d74d77934e27bba6ed9494b91733299f60e125f72b61da9bc8a7626fa254a","schema_version":"1.0","event_id":"sha256:a00d74d77934e27bba6ed9494b91733299f60e125f72b61da9bc8a7626fa254a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T6J4KNHZ6PSP65KANDF7IXSMQC/bundle.json","state_url":"https://pith.science/pith/T6J4KNHZ6PSP65KANDF7IXSMQC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T6J4KNHZ6PSP65KANDF7IXSMQC/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-07T16:45:30Z","links":{"resolver":"https://pith.science/pith/T6J4KNHZ6PSP65KANDF7IXSMQC","bundle":"https://pith.science/pith/T6J4KNHZ6PSP65KANDF7IXSMQC/bundle.json","state":"https://pith.science/pith/T6J4KNHZ6PSP65KANDF7IXSMQC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T6J4KNHZ6PSP65KANDF7IXSMQC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:T6J4KNHZ6PSP65KANDF7IXSMQC","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":"ae16b7922bc07c2cea47e6be0920496840256b41c7e25a0f445cfc742998d766","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-16T18:33:25Z","title_canon_sha256":"934e63483ba6b6fa3e7fa4e91efad35ba5206003e6a0d6e7f53ed91c877d8533"},"schema_version":"1.0","source":{"id":"2506.13905","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.13905","created_at":"2026-07-05T12:07:08Z"},{"alias_kind":"arxiv_version","alias_value":"2506.13905v2","created_at":"2026-07-05T12:07:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.13905","created_at":"2026-07-05T12:07:08Z"},{"alias_kind":"pith_short_12","alias_value":"T6J4KNHZ6PSP","created_at":"2026-07-05T12:07:08Z"},{"alias_kind":"pith_short_16","alias_value":"T6J4KNHZ6PSP65KA","created_at":"2026-07-05T12:07:08Z"},{"alias_kind":"pith_short_8","alias_value":"T6J4KNHZ","created_at":"2026-07-05T12:07:08Z"}],"graph_snapshots":[{"event_id":"sha256:a00d74d77934e27bba6ed9494b91733299f60e125f72b61da9bc8a7626fa254a","target":"graph","created_at":"2026-07-05T12:07:08Z","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.13905/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Despite recent progress in generating hardware RTL code with LLMs, existing solutions still suffer from a substantial gap between practical application scenarios and the requirements of real-world RTL code development. Prior approaches either focus on overly simplified hardware descriptions or depend on extensive human guidance to process complex specifications, limiting their scalability and automation potential. In this paper, we address this gap by proposing an LLM agent system, termed Spec2RTL-Agent, designed to directly process complex specification documentation and generate correspondin","authors_text":"Haoxing Ren, Michael Zimmer, Mingjie Liu, Yingyan Celine Lin, Yong Liu, Zhongzhi Yu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-16T18:33:25Z","title":"Spec2RTL-Agent: Automated Hardware Code Generation from Complex Specifications Using LLM Agent Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.13905","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:3f4c2ddc3cca6639b36c992780310bcf39886877d358125783e6e7aece8b9223","target":"record","created_at":"2026-07-05T12:07:08Z","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":"ae16b7922bc07c2cea47e6be0920496840256b41c7e25a0f445cfc742998d766","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-16T18:33:25Z","title_canon_sha256":"934e63483ba6b6fa3e7fa4e91efad35ba5206003e6a0d6e7f53ed91c877d8533"},"schema_version":"1.0","source":{"id":"2506.13905","kind":"arxiv","version":2}},"canonical_sha256":"9f93c534f9f3e4ff754068cbf45e4c80a4a6c09a469d3aef45895bcaad2f1a39","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f93c534f9f3e4ff754068cbf45e4c80a4a6c09a469d3aef45895bcaad2f1a39","first_computed_at":"2026-07-05T12:07:08.807359Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:07:08.807359Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9NWnzYSrfG/dGzuUHbQJlq5/dwtbHszaUL0l8RNQn5wVI1bQSz8wxBS+cBOHQBiEl9Ypu5cZYkqDjbyda3AoBA==","signature_status":"signed_v1","signed_at":"2026-07-05T12:07:08.807991Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.13905","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f4c2ddc3cca6639b36c992780310bcf39886877d358125783e6e7aece8b9223","sha256:a00d74d77934e27bba6ed9494b91733299f60e125f72b61da9bc8a7626fa254a"],"state_sha256":"026882e7aba66a06149ba4cdf6d3650c0c6ad157e4625fbb3d2a6462abb84b01"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H26tPGdLvmeC8MestU/1LsJxU5fUHcRNcx7vFicL+wQZHHNxpKE/NuGYOiP/B7BbmTWCbH8MzGo4EZXl81FBAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T16:45:30.768563Z","bundle_sha256":"286a0c5e88c3436180a69b9461e6e51c7664c86d8142be2119642679880a6ea0"}}