{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:NEYR73SMWH3BVNZHDI2GMYCNM4","short_pith_number":"pith:NEYR73SM","canonical_record":{"source":{"id":"2506.07239","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-08T17:53:22Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"70af2f9934efb59c1ceecdeaf5dcc945800049f80a4238dccb0fff2e8a106a0a","abstract_canon_sha256":"aa2654ac190ccd3cbcf68a5a892c7328b7056f65eecd0f6a45e8913695f989a5"},"schema_version":"1.0"},"canonical_sha256":"69311fee4cb1f61ab7271a3466604d672773a05c76dac29dff2d97b8ee2e66fe","source":{"kind":"arxiv","id":"2506.07239","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07239","created_at":"2026-07-05T11:28:37Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07239v2","created_at":"2026-07-05T11:28:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07239","created_at":"2026-07-05T11:28:37Z"},{"alias_kind":"pith_short_12","alias_value":"NEYR73SMWH3B","created_at":"2026-07-05T11:28:37Z"},{"alias_kind":"pith_short_16","alias_value":"NEYR73SMWH3BVNZH","created_at":"2026-07-05T11:28:37Z"},{"alias_kind":"pith_short_8","alias_value":"NEYR73SM","created_at":"2026-07-05T11:28:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:NEYR73SMWH3BVNZHDI2GMYCNM4","target":"record","payload":{"canonical_record":{"source":{"id":"2506.07239","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-08T17:53:22Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"70af2f9934efb59c1ceecdeaf5dcc945800049f80a4238dccb0fff2e8a106a0a","abstract_canon_sha256":"aa2654ac190ccd3cbcf68a5a892c7328b7056f65eecd0f6a45e8913695f989a5"},"schema_version":"1.0"},"canonical_sha256":"69311fee4cb1f61ab7271a3466604d672773a05c76dac29dff2d97b8ee2e66fe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:28:37.055744Z","signature_b64":"GrkgCOMELey+3dkQznDk69kuJ57uZXhOOTpE4LcuoN4fKnzmiJ6/bAdtt4jHsP437fihkmlIfSVhR3ejtG8DBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"69311fee4cb1f61ab7271a3466604d672773a05c76dac29dff2d97b8ee2e66fe","last_reissued_at":"2026-07-05T11:28:37.054862Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:28:37.054862Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.07239","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-05T11:28:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FfyF+nv1groTdfEIwuGvbEUB7Fu3op0E2EjpgZaRZZmZwnGMgF17YdkBiFiIJOSqqZBxrn6ew5ook3tp0ewmCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T17:15:38.288289Z"},"content_sha256":"9aacc29bfc5925bc56fb0a2731c552cd235d08edfdace53202114346289cf322","schema_version":"1.0","event_id":"sha256:9aacc29bfc5925bc56fb0a2731c552cd235d08edfdace53202114346289cf322"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:NEYR73SMWH3BVNZHDI2GMYCNM4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VeriLoC: Line-of-Code Level Prediction of Hardware Design Quality from Verilog Code","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.AR","authors_text":"Andre Nakkab, Badri P Gopalan, Jitendra Bhandari, Johann Knechtel, Raghu Vamshi Hemadri, Ramesh Karri, Ramesh Narayanaswamy, Siddharth Garg","submitted_at":"2025-06-08T17:53:22Z","abstract_excerpt":"Modern chip design is complex, and there is a crucial need for early-stage prediction of key design-quality metrics like timing and routing congestion directly from Verilog code (a commonly used programming language for hardware design). It is especially important yet complex to predict individual lines of code that cause timing violations or downstream routing congestion. Prior works have tried approaches like converting Verilog into an intermediate graph representation and using LLM embeddings alongside other features to predict module-level quality, but did not consider line-level quality p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07239","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.07239/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:28:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Pi188wMXCFHMskJSk0NWE1rZlhjdz3YJL9EInj50I1jo6kzoZeLMNqo22YXyKd2oeG6mj38OiisArHUGlyLCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T17:15:38.289391Z"},"content_sha256":"b3b997d969fafa53b40daaad26f89fb6440f0f540348777ed4c2c16364b11588","schema_version":"1.0","event_id":"sha256:b3b997d969fafa53b40daaad26f89fb6440f0f540348777ed4c2c16364b11588"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NEYR73SMWH3BVNZHDI2GMYCNM4/bundle.json","state_url":"https://pith.science/pith/NEYR73SMWH3BVNZHDI2GMYCNM4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NEYR73SMWH3BVNZHDI2GMYCNM4/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-07T17:15:38Z","links":{"resolver":"https://pith.science/pith/NEYR73SMWH3BVNZHDI2GMYCNM4","bundle":"https://pith.science/pith/NEYR73SMWH3BVNZHDI2GMYCNM4/bundle.json","state":"https://pith.science/pith/NEYR73SMWH3BVNZHDI2GMYCNM4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NEYR73SMWH3BVNZHDI2GMYCNM4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NEYR73SMWH3BVNZHDI2GMYCNM4","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":"aa2654ac190ccd3cbcf68a5a892c7328b7056f65eecd0f6a45e8913695f989a5","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-08T17:53:22Z","title_canon_sha256":"70af2f9934efb59c1ceecdeaf5dcc945800049f80a4238dccb0fff2e8a106a0a"},"schema_version":"1.0","source":{"id":"2506.07239","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07239","created_at":"2026-07-05T11:28:37Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07239v2","created_at":"2026-07-05T11:28:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07239","created_at":"2026-07-05T11:28:37Z"},{"alias_kind":"pith_short_12","alias_value":"NEYR73SMWH3B","created_at":"2026-07-05T11:28:37Z"},{"alias_kind":"pith_short_16","alias_value":"NEYR73SMWH3BVNZH","created_at":"2026-07-05T11:28:37Z"},{"alias_kind":"pith_short_8","alias_value":"NEYR73SM","created_at":"2026-07-05T11:28:37Z"}],"graph_snapshots":[{"event_id":"sha256:b3b997d969fafa53b40daaad26f89fb6440f0f540348777ed4c2c16364b11588","target":"graph","created_at":"2026-07-05T11:28:37Z","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.07239/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern chip design is complex, and there is a crucial need for early-stage prediction of key design-quality metrics like timing and routing congestion directly from Verilog code (a commonly used programming language for hardware design). It is especially important yet complex to predict individual lines of code that cause timing violations or downstream routing congestion. Prior works have tried approaches like converting Verilog into an intermediate graph representation and using LLM embeddings alongside other features to predict module-level quality, but did not consider line-level quality p","authors_text":"Andre Nakkab, Badri P Gopalan, Jitendra Bhandari, Johann Knechtel, Raghu Vamshi Hemadri, Ramesh Karri, Ramesh Narayanaswamy, Siddharth Garg","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-08T17:53:22Z","title":"VeriLoC: Line-of-Code Level Prediction of Hardware Design Quality from Verilog Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07239","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:9aacc29bfc5925bc56fb0a2731c552cd235d08edfdace53202114346289cf322","target":"record","created_at":"2026-07-05T11:28:37Z","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":"aa2654ac190ccd3cbcf68a5a892c7328b7056f65eecd0f6a45e8913695f989a5","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-08T17:53:22Z","title_canon_sha256":"70af2f9934efb59c1ceecdeaf5dcc945800049f80a4238dccb0fff2e8a106a0a"},"schema_version":"1.0","source":{"id":"2506.07239","kind":"arxiv","version":2}},"canonical_sha256":"69311fee4cb1f61ab7271a3466604d672773a05c76dac29dff2d97b8ee2e66fe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"69311fee4cb1f61ab7271a3466604d672773a05c76dac29dff2d97b8ee2e66fe","first_computed_at":"2026-07-05T11:28:37.054862Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:28:37.054862Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GrkgCOMELey+3dkQznDk69kuJ57uZXhOOTpE4LcuoN4fKnzmiJ6/bAdtt4jHsP437fihkmlIfSVhR3ejtG8DBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:28:37.055744Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.07239","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9aacc29bfc5925bc56fb0a2731c552cd235d08edfdace53202114346289cf322","sha256:b3b997d969fafa53b40daaad26f89fb6440f0f540348777ed4c2c16364b11588"],"state_sha256":"5b5189975858351ea546ac3376b9f69bfd377812d5890635a8b51059276b9ee4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y8HnVQapTfrgT1PiJhQf/GOB/gXMPzO+nfVvQAtLusS6ZXLHjm3Y5pu0R69p4i+6SiEeqiKGpCQxzyIplr1WBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T17:15:38.298837Z","bundle_sha256":"807f8594c297be03ed100000deb036af8119e81f680e4555d83c001b6cd0e926"}}