{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:C4Y6GQ2JWK2BTIHI7AK6E2TQY5","short_pith_number":"pith:C4Y6GQ2J","canonical_record":{"source":{"id":"2508.06047","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-08-08T06:12:00Z","cross_cats_sorted":[],"title_canon_sha256":"ec024c2f9dc4fd030c9971fb4c9982c9a61b4597bf8f8c39633a1e344b5b698f","abstract_canon_sha256":"ba2fbcb80d50d3f3c407af568fd5500eca1e8666b1937a80c8f3949621a64b86"},"schema_version":"1.0"},"canonical_sha256":"1731e34349b2b419a0e8f815e26a70c76981059e5b7d0f6f783ed9f5bcac4f90","source":{"kind":"arxiv","id":"2508.06047","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.06047","created_at":"2026-07-05T11:50:48Z"},{"alias_kind":"arxiv_version","alias_value":"2508.06047v1","created_at":"2026-07-05T11:50:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.06047","created_at":"2026-07-05T11:50:48Z"},{"alias_kind":"pith_short_12","alias_value":"C4Y6GQ2JWK2B","created_at":"2026-07-05T11:50:48Z"},{"alias_kind":"pith_short_16","alias_value":"C4Y6GQ2JWK2BTIHI","created_at":"2026-07-05T11:50:48Z"},{"alias_kind":"pith_short_8","alias_value":"C4Y6GQ2J","created_at":"2026-07-05T11:50:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:C4Y6GQ2JWK2BTIHI7AK6E2TQY5","target":"record","payload":{"canonical_record":{"source":{"id":"2508.06047","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-08-08T06:12:00Z","cross_cats_sorted":[],"title_canon_sha256":"ec024c2f9dc4fd030c9971fb4c9982c9a61b4597bf8f8c39633a1e344b5b698f","abstract_canon_sha256":"ba2fbcb80d50d3f3c407af568fd5500eca1e8666b1937a80c8f3949621a64b86"},"schema_version":"1.0"},"canonical_sha256":"1731e34349b2b419a0e8f815e26a70c76981059e5b7d0f6f783ed9f5bcac4f90","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:50:48.171555Z","signature_b64":"yDtZ39Q40EYBU37x3IidH5P0ecJok0fEaHAR+xsdPa0n1zSB9wexxM6+7KY1331XicnLgLcQKsgTEV05LDEtDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1731e34349b2b419a0e8f815e26a70c76981059e5b7d0f6f783ed9f5bcac4f90","last_reissued_at":"2026-07-05T11:50:48.171071Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:50:48.171071Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.06047","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-05T11:50:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"94gDyIxdWV1OTVrTtwPJTmOppXhuEmB6+e13NcXp5JlT0jEevqaXoiYwdbsZakW8HUzNtlsQ6Fm7t9+C6rJkDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T16:23:46.510373Z"},"content_sha256":"5e469b8998eb2ef1574ce0da272733de62599fba361475140254ede70a316b28","schema_version":"1.0","event_id":"sha256:5e469b8998eb2ef1574ce0da272733de62599fba361475140254ede70a316b28"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:C4Y6GQ2JWK2BTIHI7AK6E2TQY5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ArchXBench: A Complex Digital Systems Benchmark Suite for LLM Driven RTL Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Arun Ravindran, Mudit Gaur, Sankalp Bhat, Siddhant Garg, Sohan Mupparapu, Suresh Purini","submitted_at":"2025-08-08T06:12:00Z","abstract_excerpt":"Modern SoC datapaths include deeply pipelined, domain-specific accelerators, but their RTL implementation and verification are still mostly done by hand. While large language models (LLMs) exhibit advanced code-generation abilities for programming languages like Python, their application to Verilog-like RTL remains in its nascent stage. This is reflected in the simple arithmetic and control circuits currently used to evaluate generative capabilities in existing benchmarks. In this paper, we introduce ArchXBench, a six-level benchmark suite that encompasses complex arithmetic circuits and other"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.06047","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/2508.06047/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-05T11:50:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NilPUSzSS8EdkJTBdlIeH831ZDDL7TuMUTrKDGYF3LfcniLgjZJo5v5zRFyOR8ct1b34BcJKpd/qXMhddzPxCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T16:23:46.510956Z"},"content_sha256":"3f8b4369d2395f5c8b9b2085bc26688f99e3dab071fb8ee561f96d44dff008ae","schema_version":"1.0","event_id":"sha256:3f8b4369d2395f5c8b9b2085bc26688f99e3dab071fb8ee561f96d44dff008ae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C4Y6GQ2JWK2BTIHI7AK6E2TQY5/bundle.json","state_url":"https://pith.science/pith/C4Y6GQ2JWK2BTIHI7AK6E2TQY5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C4Y6GQ2JWK2BTIHI7AK6E2TQY5/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-22T16:23:46Z","links":{"resolver":"https://pith.science/pith/C4Y6GQ2JWK2BTIHI7AK6E2TQY5","bundle":"https://pith.science/pith/C4Y6GQ2JWK2BTIHI7AK6E2TQY5/bundle.json","state":"https://pith.science/pith/C4Y6GQ2JWK2BTIHI7AK6E2TQY5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C4Y6GQ2JWK2BTIHI7AK6E2TQY5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:C4Y6GQ2JWK2BTIHI7AK6E2TQY5","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":"ba2fbcb80d50d3f3c407af568fd5500eca1e8666b1937a80c8f3949621a64b86","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-08-08T06:12:00Z","title_canon_sha256":"ec024c2f9dc4fd030c9971fb4c9982c9a61b4597bf8f8c39633a1e344b5b698f"},"schema_version":"1.0","source":{"id":"2508.06047","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.06047","created_at":"2026-07-05T11:50:48Z"},{"alias_kind":"arxiv_version","alias_value":"2508.06047v1","created_at":"2026-07-05T11:50:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.06047","created_at":"2026-07-05T11:50:48Z"},{"alias_kind":"pith_short_12","alias_value":"C4Y6GQ2JWK2B","created_at":"2026-07-05T11:50:48Z"},{"alias_kind":"pith_short_16","alias_value":"C4Y6GQ2JWK2BTIHI","created_at":"2026-07-05T11:50:48Z"},{"alias_kind":"pith_short_8","alias_value":"C4Y6GQ2J","created_at":"2026-07-05T11:50:48Z"}],"graph_snapshots":[{"event_id":"sha256:3f8b4369d2395f5c8b9b2085bc26688f99e3dab071fb8ee561f96d44dff008ae","target":"graph","created_at":"2026-07-05T11:50:48Z","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/2508.06047/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern SoC datapaths include deeply pipelined, domain-specific accelerators, but their RTL implementation and verification are still mostly done by hand. While large language models (LLMs) exhibit advanced code-generation abilities for programming languages like Python, their application to Verilog-like RTL remains in its nascent stage. This is reflected in the simple arithmetic and control circuits currently used to evaluate generative capabilities in existing benchmarks. In this paper, we introduce ArchXBench, a six-level benchmark suite that encompasses complex arithmetic circuits and other","authors_text":"Arun Ravindran, Mudit Gaur, Sankalp Bhat, Siddhant Garg, Sohan Mupparapu, Suresh Purini","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-08-08T06:12:00Z","title":"ArchXBench: A Complex Digital Systems Benchmark Suite for LLM Driven RTL Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.06047","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:5e469b8998eb2ef1574ce0da272733de62599fba361475140254ede70a316b28","target":"record","created_at":"2026-07-05T11:50:48Z","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":"ba2fbcb80d50d3f3c407af568fd5500eca1e8666b1937a80c8f3949621a64b86","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-08-08T06:12:00Z","title_canon_sha256":"ec024c2f9dc4fd030c9971fb4c9982c9a61b4597bf8f8c39633a1e344b5b698f"},"schema_version":"1.0","source":{"id":"2508.06047","kind":"arxiv","version":1}},"canonical_sha256":"1731e34349b2b419a0e8f815e26a70c76981059e5b7d0f6f783ed9f5bcac4f90","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1731e34349b2b419a0e8f815e26a70c76981059e5b7d0f6f783ed9f5bcac4f90","first_computed_at":"2026-07-05T11:50:48.171071Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:50:48.171071Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yDtZ39Q40EYBU37x3IidH5P0ecJok0fEaHAR+xsdPa0n1zSB9wexxM6+7KY1331XicnLgLcQKsgTEV05LDEtDw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:50:48.171555Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.06047","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e469b8998eb2ef1574ce0da272733de62599fba361475140254ede70a316b28","sha256:3f8b4369d2395f5c8b9b2085bc26688f99e3dab071fb8ee561f96d44dff008ae"],"state_sha256":"3f61478ce7ae2c0363054709609ce1d8cd2cf0def53c69d121a76fff76a392f2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"edeKRs6srhBg2bPZqdKU6fcVeKicGUMIJV5ZLy0TReiNzvutQti+eDM7Q2ecyGBwoHfllzdUe5/l0axnnKgXCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T16:23:46.514786Z","bundle_sha256":"00f8f5ea38af7d9dcfe5aa7b02612102e5ae1b872c329e05000530f10c3e2c26"}}