{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EJOFRDAXY7DWA2BGEXDRYM2ABF","short_pith_number":"pith:EJOFRDAX","canonical_record":{"source":{"id":"2508.13257","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-08-18T16:41:32Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1a80dcae47f3c8e41a39ef862da378dfaaf67b466170e6a66ea5be2d28ccf371","abstract_canon_sha256":"6ce0be3e4c52c111cf3aa9d678d75acf8883073f495560ec373b2fd28c01042d"},"schema_version":"1.0"},"canonical_sha256":"225c588c17c7c760682625c71c3340094bfb26b964b99ff9b4eb0d0ba1b2dfd7","source":{"kind":"arxiv","id":"2508.13257","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.13257","created_at":"2026-07-05T11:55:45Z"},{"alias_kind":"arxiv_version","alias_value":"2508.13257v1","created_at":"2026-07-05T11:55:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.13257","created_at":"2026-07-05T11:55:45Z"},{"alias_kind":"pith_short_12","alias_value":"EJOFRDAXY7DW","created_at":"2026-07-05T11:55:45Z"},{"alias_kind":"pith_short_16","alias_value":"EJOFRDAXY7DWA2BG","created_at":"2026-07-05T11:55:45Z"},{"alias_kind":"pith_short_8","alias_value":"EJOFRDAX","created_at":"2026-07-05T11:55:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EJOFRDAXY7DWA2BGEXDRYM2ABF","target":"record","payload":{"canonical_record":{"source":{"id":"2508.13257","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-08-18T16:41:32Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1a80dcae47f3c8e41a39ef862da378dfaaf67b466170e6a66ea5be2d28ccf371","abstract_canon_sha256":"6ce0be3e4c52c111cf3aa9d678d75acf8883073f495560ec373b2fd28c01042d"},"schema_version":"1.0"},"canonical_sha256":"225c588c17c7c760682625c71c3340094bfb26b964b99ff9b4eb0d0ba1b2dfd7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:55:45.639686Z","signature_b64":"ya7I6yVXFBA0Q4OBxz/5fQvNzd2u6q0h8npaDA1wfXxM6nla7OpVhtWmps1mvFmkANZG+qGUC2PaJjUtHoLBDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"225c588c17c7c760682625c71c3340094bfb26b964b99ff9b4eb0d0ba1b2dfd7","last_reissued_at":"2026-07-05T11:55:45.639195Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:55:45.639195Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.13257","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:55:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cDUSWVyJ+AgknT9SIfMfIfGEFq07p+uFrRKuvsWg08BstAyKqSjUjO1VGDsingN4mpAzq+l0MrTe+k8Iv924Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T18:00:39.204718Z"},"content_sha256":"2ea4d44b56768d00f45735435210a99dfc38fb2481a77cf6d75973e97a5e48ab","schema_version":"1.0","event_id":"sha256:2ea4d44b56768d00f45735435210a99dfc38fb2481a77cf6d75973e97a5e48ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EJOFRDAXY7DWA2BGEXDRYM2ABF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.AR","authors_text":"Li Kuang, Wenhao Lv, Xiyuan Chen, Yingjie Xia","submitted_at":"2025-08-18T16:41:32Z","abstract_excerpt":"In modern Very Large Scale Integrated (VLSI) circuit design flow, the Register-Transfer Level (RTL) stage presents a critical opportunity for timing optimization. Addressing timing violations at this early stage is essential, as modern systems demand higher speeds, where even minor timing violations can lead to functional failures or system crashes. However, traditional timing optimization heavily relies on manual expertise, requiring engineers to iteratively analyze timing reports and debug. To automate this process, this paper proposes ViTAD, a method that efficiently analyzes the root cause"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.13257","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.13257/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:55:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w2X63m8fnoLY9fdSyExB/5+hNyOcmVU8kXcwaYVrzH16G448kwa0HlwzmFE7mQtASgLDFqekLS6/63oAy1JBAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T18:00:39.205276Z"},"content_sha256":"2c76b482d5cab2bf4162070d4757d5453c4ca3abd40c9b52365e2fed8db45015","schema_version":"1.0","event_id":"sha256:2c76b482d5cab2bf4162070d4757d5453c4ca3abd40c9b52365e2fed8db45015"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EJOFRDAXY7DWA2BGEXDRYM2ABF/bundle.json","state_url":"https://pith.science/pith/EJOFRDAXY7DWA2BGEXDRYM2ABF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EJOFRDAXY7DWA2BGEXDRYM2ABF/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-06T18:00:39Z","links":{"resolver":"https://pith.science/pith/EJOFRDAXY7DWA2BGEXDRYM2ABF","bundle":"https://pith.science/pith/EJOFRDAXY7DWA2BGEXDRYM2ABF/bundle.json","state":"https://pith.science/pith/EJOFRDAXY7DWA2BGEXDRYM2ABF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EJOFRDAXY7DWA2BGEXDRYM2ABF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EJOFRDAXY7DWA2BGEXDRYM2ABF","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":"6ce0be3e4c52c111cf3aa9d678d75acf8883073f495560ec373b2fd28c01042d","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-08-18T16:41:32Z","title_canon_sha256":"1a80dcae47f3c8e41a39ef862da378dfaaf67b466170e6a66ea5be2d28ccf371"},"schema_version":"1.0","source":{"id":"2508.13257","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.13257","created_at":"2026-07-05T11:55:45Z"},{"alias_kind":"arxiv_version","alias_value":"2508.13257v1","created_at":"2026-07-05T11:55:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.13257","created_at":"2026-07-05T11:55:45Z"},{"alias_kind":"pith_short_12","alias_value":"EJOFRDAXY7DW","created_at":"2026-07-05T11:55:45Z"},{"alias_kind":"pith_short_16","alias_value":"EJOFRDAXY7DWA2BG","created_at":"2026-07-05T11:55:45Z"},{"alias_kind":"pith_short_8","alias_value":"EJOFRDAX","created_at":"2026-07-05T11:55:45Z"}],"graph_snapshots":[{"event_id":"sha256:2c76b482d5cab2bf4162070d4757d5453c4ca3abd40c9b52365e2fed8db45015","target":"graph","created_at":"2026-07-05T11:55:45Z","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.13257/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In modern Very Large Scale Integrated (VLSI) circuit design flow, the Register-Transfer Level (RTL) stage presents a critical opportunity for timing optimization. Addressing timing violations at this early stage is essential, as modern systems demand higher speeds, where even minor timing violations can lead to functional failures or system crashes. However, traditional timing optimization heavily relies on manual expertise, requiring engineers to iteratively analyze timing reports and debug. To automate this process, this paper proposes ViTAD, a method that efficiently analyzes the root cause","authors_text":"Li Kuang, Wenhao Lv, Xiyuan Chen, Yingjie Xia","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-08-18T16:41:32Z","title":"ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.13257","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:2ea4d44b56768d00f45735435210a99dfc38fb2481a77cf6d75973e97a5e48ab","target":"record","created_at":"2026-07-05T11:55:45Z","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":"6ce0be3e4c52c111cf3aa9d678d75acf8883073f495560ec373b2fd28c01042d","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-08-18T16:41:32Z","title_canon_sha256":"1a80dcae47f3c8e41a39ef862da378dfaaf67b466170e6a66ea5be2d28ccf371"},"schema_version":"1.0","source":{"id":"2508.13257","kind":"arxiv","version":1}},"canonical_sha256":"225c588c17c7c760682625c71c3340094bfb26b964b99ff9b4eb0d0ba1b2dfd7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"225c588c17c7c760682625c71c3340094bfb26b964b99ff9b4eb0d0ba1b2dfd7","first_computed_at":"2026-07-05T11:55:45.639195Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:55:45.639195Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ya7I6yVXFBA0Q4OBxz/5fQvNzd2u6q0h8npaDA1wfXxM6nla7OpVhtWmps1mvFmkANZG+qGUC2PaJjUtHoLBDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:55:45.639686Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.13257","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ea4d44b56768d00f45735435210a99dfc38fb2481a77cf6d75973e97a5e48ab","sha256:2c76b482d5cab2bf4162070d4757d5453c4ca3abd40c9b52365e2fed8db45015"],"state_sha256":"863dc0d8f2d5d6086561454833b478105d469ed3b0f59b1bc1136bf574a6f385"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZHFxO5mGnYSKyfc9dU0YVsUiDIQDldkMSPxn7IRd9QuThJbIBghONP52W2apypmVkMi9GAey5NaLUqcrcEmNBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T18:00:39.209170Z","bundle_sha256":"a9fdc630c82aaf9409bbe3f351730c83e634f798c0a730226831c2858498d210"}}