{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:6KLDLMYXB4A2PAMDKHEAZLDAXL","short_pith_number":"pith:6KLDLMYX","canonical_record":{"source":{"id":"2507.16203","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-22T03:36:06Z","cross_cats_sorted":["cs.AI","cs.AR","cs.LG"],"title_canon_sha256":"a835495c883ca3a9cd025adb9985bb9e029d0c27d6f6b2c4db43844c48d0a033","abstract_canon_sha256":"4cedc740bc7961dc3abc7527ea37c808bfdd2e0e9552854a2a70d9f06212129d"},"schema_version":"1.0"},"canonical_sha256":"f29635b3170f01a7818351c80cac60baf541bc0c75e955a0d85bc54fd5fbea71","source":{"kind":"arxiv","id":"2507.16203","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.16203","created_at":"2026-07-05T11:41:05Z"},{"alias_kind":"arxiv_version","alias_value":"2507.16203v1","created_at":"2026-07-05T11:41:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.16203","created_at":"2026-07-05T11:41:05Z"},{"alias_kind":"pith_short_12","alias_value":"6KLDLMYXB4A2","created_at":"2026-07-05T11:41:05Z"},{"alias_kind":"pith_short_16","alias_value":"6KLDLMYXB4A2PAMD","created_at":"2026-07-05T11:41:05Z"},{"alias_kind":"pith_short_8","alias_value":"6KLDLMYX","created_at":"2026-07-05T11:41:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:6KLDLMYXB4A2PAMDKHEAZLDAXL","target":"record","payload":{"canonical_record":{"source":{"id":"2507.16203","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-22T03:36:06Z","cross_cats_sorted":["cs.AI","cs.AR","cs.LG"],"title_canon_sha256":"a835495c883ca3a9cd025adb9985bb9e029d0c27d6f6b2c4db43844c48d0a033","abstract_canon_sha256":"4cedc740bc7961dc3abc7527ea37c808bfdd2e0e9552854a2a70d9f06212129d"},"schema_version":"1.0"},"canonical_sha256":"f29635b3170f01a7818351c80cac60baf541bc0c75e955a0d85bc54fd5fbea71","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:41:05.228095Z","signature_b64":"pvRDAKUgDMu+/C31DEVv+Gm+8s67Iz4QNtvua8CN+WaPDCWDo9wKCGD3pJrCMkzcn9uz63x6//2nmY02AQjRBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f29635b3170f01a7818351c80cac60baf541bc0c75e955a0d85bc54fd5fbea71","last_reissued_at":"2026-07-05T11:41:05.227612Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:41:05.227612Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.16203","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:41:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5YL0yR0nxvN4U9BUxs1t+TKhzvOB05qAq8fv0aHyoinwMLtqWtwPuuP/HYGyNxPg+swZ5aQHQdmiuB8jA+yuAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T04:44:08.815443Z"},"content_sha256":"d6f0e73c652d807b7e124a117a9468af1a706374d9ca88b9946141992c726c1d","schema_version":"1.0","event_id":"sha256:d6f0e73c652d807b7e124a117a9468af1a706374d9ca88b9946141992c726c1d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:6KLDLMYXB4A2PAMDKHEAZLDAXL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SVAgent: AI Agent for Hardware Security Verification Assertion","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.AR","cs.LG"],"primary_cat":"cs.CR","authors_text":"Avinash Ayalasomayajula, Farimah Farahmandi, Henian Li, Jingbo Zhou, Rui Guo, Sujan Kumar Saha","submitted_at":"2025-07-22T03:36:06Z","abstract_excerpt":"Verification using SystemVerilog assertions (SVA) is one of the most popular methods for detecting circuit design vulnerabilities. However, with the globalization of integrated circuit design and the continuous upgrading of security requirements, the SVA development model has exposed major limitations. It is not only inefficient in development, but also unable to effectively deal with the increasing number of security vulnerabilities in modern complex integrated circuits. In response to these challenges, this paper proposes an innovative SVA automatic generation framework SVAgent. SVAgent intr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.16203","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/2507.16203/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:41:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3yLGx8EIK0SHUEMiPhT0zej3ocaKSR0/efUSbpVMgzmDXN8aWLfeldtuIbxm277w/8uDat3AB/aV0asEMAuXDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T04:44:08.815943Z"},"content_sha256":"c3fec58ad3d9d63ff84faafee86124b1999de1fc999765e454f81e892a005f00","schema_version":"1.0","event_id":"sha256:c3fec58ad3d9d63ff84faafee86124b1999de1fc999765e454f81e892a005f00"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6KLDLMYXB4A2PAMDKHEAZLDAXL/bundle.json","state_url":"https://pith.science/pith/6KLDLMYXB4A2PAMDKHEAZLDAXL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6KLDLMYXB4A2PAMDKHEAZLDAXL/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-07T04:44:08Z","links":{"resolver":"https://pith.science/pith/6KLDLMYXB4A2PAMDKHEAZLDAXL","bundle":"https://pith.science/pith/6KLDLMYXB4A2PAMDKHEAZLDAXL/bundle.json","state":"https://pith.science/pith/6KLDLMYXB4A2PAMDKHEAZLDAXL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6KLDLMYXB4A2PAMDKHEAZLDAXL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6KLDLMYXB4A2PAMDKHEAZLDAXL","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":"4cedc740bc7961dc3abc7527ea37c808bfdd2e0e9552854a2a70d9f06212129d","cross_cats_sorted":["cs.AI","cs.AR","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-22T03:36:06Z","title_canon_sha256":"a835495c883ca3a9cd025adb9985bb9e029d0c27d6f6b2c4db43844c48d0a033"},"schema_version":"1.0","source":{"id":"2507.16203","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.16203","created_at":"2026-07-05T11:41:05Z"},{"alias_kind":"arxiv_version","alias_value":"2507.16203v1","created_at":"2026-07-05T11:41:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.16203","created_at":"2026-07-05T11:41:05Z"},{"alias_kind":"pith_short_12","alias_value":"6KLDLMYXB4A2","created_at":"2026-07-05T11:41:05Z"},{"alias_kind":"pith_short_16","alias_value":"6KLDLMYXB4A2PAMD","created_at":"2026-07-05T11:41:05Z"},{"alias_kind":"pith_short_8","alias_value":"6KLDLMYX","created_at":"2026-07-05T11:41:05Z"}],"graph_snapshots":[{"event_id":"sha256:c3fec58ad3d9d63ff84faafee86124b1999de1fc999765e454f81e892a005f00","target":"graph","created_at":"2026-07-05T11:41:05Z","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/2507.16203/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Verification using SystemVerilog assertions (SVA) is one of the most popular methods for detecting circuit design vulnerabilities. However, with the globalization of integrated circuit design and the continuous upgrading of security requirements, the SVA development model has exposed major limitations. It is not only inefficient in development, but also unable to effectively deal with the increasing number of security vulnerabilities in modern complex integrated circuits. In response to these challenges, this paper proposes an innovative SVA automatic generation framework SVAgent. SVAgent intr","authors_text":"Avinash Ayalasomayajula, Farimah Farahmandi, Henian Li, Jingbo Zhou, Rui Guo, Sujan Kumar Saha","cross_cats":["cs.AI","cs.AR","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.16203","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:d6f0e73c652d807b7e124a117a9468af1a706374d9ca88b9946141992c726c1d","target":"record","created_at":"2026-07-05T11:41:05Z","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":"4cedc740bc7961dc3abc7527ea37c808bfdd2e0e9552854a2a70d9f06212129d","cross_cats_sorted":["cs.AI","cs.AR","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-22T03:36:06Z","title_canon_sha256":"a835495c883ca3a9cd025adb9985bb9e029d0c27d6f6b2c4db43844c48d0a033"},"schema_version":"1.0","source":{"id":"2507.16203","kind":"arxiv","version":1}},"canonical_sha256":"f29635b3170f01a7818351c80cac60baf541bc0c75e955a0d85bc54fd5fbea71","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f29635b3170f01a7818351c80cac60baf541bc0c75e955a0d85bc54fd5fbea71","first_computed_at":"2026-07-05T11:41:05.227612Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:41:05.227612Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pvRDAKUgDMu+/C31DEVv+Gm+8s67Iz4QNtvua8CN+WaPDCWDo9wKCGD3pJrCMkzcn9uz63x6//2nmY02AQjRBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:41:05.228095Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.16203","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d6f0e73c652d807b7e124a117a9468af1a706374d9ca88b9946141992c726c1d","sha256:c3fec58ad3d9d63ff84faafee86124b1999de1fc999765e454f81e892a005f00"],"state_sha256":"1dda72c0685f208868ba54c7e2b242f88ec9ee8e8325393a86b54a9e49530269"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EFv/AvF6NrskPsSyH+luFMM/KKgmT76geMquddJgYCeJ2WXRYjosGw4P7BFGsqFeA08Hsz6UsK06beINFnRzAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T04:44:08.820757Z","bundle_sha256":"805c146690e8c9416407bf30befdc14870ee3a2d40c4f61658f2ec72eca2b34c"}}