{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:73HRTJAIAOKGKJUNIXOUCT6HR3","short_pith_number":"pith:73HRTJAI","canonical_record":{"source":{"id":"2503.19174","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-03-24T21:53:37Z","cross_cats_sorted":[],"title_canon_sha256":"d57c61f123c260da2956c56053b64c09c5a03017dd78b58daa69f07feea047a8","abstract_canon_sha256":"fbae53800de59999e383dbc0a4ccc317c60a66650be3ea3997412f092dd60f01"},"schema_version":"1.0"},"canonical_sha256":"fecf19a408039465268d45dd414fc78eea36a9ab9bc22ec37979dc1e78b56121","source":{"kind":"arxiv","id":"2503.19174","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.19174","created_at":"2026-07-05T11:03:22Z"},{"alias_kind":"arxiv_version","alias_value":"2503.19174v2","created_at":"2026-07-05T11:03:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.19174","created_at":"2026-07-05T11:03:22Z"},{"alias_kind":"pith_short_12","alias_value":"73HRTJAIAOKG","created_at":"2026-07-05T11:03:22Z"},{"alias_kind":"pith_short_16","alias_value":"73HRTJAIAOKGKJUN","created_at":"2026-07-05T11:03:22Z"},{"alias_kind":"pith_short_8","alias_value":"73HRTJAI","created_at":"2026-07-05T11:03:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:73HRTJAIAOKGKJUNIXOUCT6HR3","target":"record","payload":{"canonical_record":{"source":{"id":"2503.19174","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-03-24T21:53:37Z","cross_cats_sorted":[],"title_canon_sha256":"d57c61f123c260da2956c56053b64c09c5a03017dd78b58daa69f07feea047a8","abstract_canon_sha256":"fbae53800de59999e383dbc0a4ccc317c60a66650be3ea3997412f092dd60f01"},"schema_version":"1.0"},"canonical_sha256":"fecf19a408039465268d45dd414fc78eea36a9ab9bc22ec37979dc1e78b56121","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:03:22.670705Z","signature_b64":"t5SLhmjSqut/wJTfRDDp8DPH8euLtGAp9TcXHUQVxO+C036b0zqfUPE4IIMRSXH1/ria54VA5kwExfdgKHwSAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fecf19a408039465268d45dd414fc78eea36a9ab9bc22ec37979dc1e78b56121","last_reissued_at":"2026-07-05T11:03:22.670144Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:03:22.670144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.19174","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:03:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0kzijBRJ6wGBsgwNUVQF68a1MUyNxze3RNaq5O2uKxWvrfqAx4tEI1yJEfTrb4PK0a7CqS/k4upJmY4S3fePBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T01:01:17.113875Z"},"content_sha256":"515740a4ebf0b3140e72ed657c15c82bf3e7e6cb23fee926d453cb1f3f2cf3be","schema_version":"1.0","event_id":"sha256:515740a4ebf0b3140e72ed657c15c82bf3e7e6cb23fee926d453cb1f3f2cf3be"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:73HRTJAIAOKGKJUNIXOUCT6HR3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Ghaith Bany Hamad, Haoxing Ren, Syed Suhaib, Yunsheng Bai","submitted_at":"2025-03-24T21:53:37Z","abstract_excerpt":"Generating SystemVerilog Assertions (SVAs) from natural language specifications remains a major challenge in formal verification (FV) due to the inherent ambiguity and incompleteness of specifications. Existing LLM-based approaches, such as AssertLLM, focus on extracting information solely from specification documents, often failing to capture essential internal signal interactions and design details present in the RTL code, leading to incomplete or incorrect assertions. We propose a novel approach that constructs a Knowledge Graph (KG) from both specifications and RTL, using a hardware-specif"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.19174","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/2503.19174/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:03:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AXBfqQq0iMxxh6PBjbvvFg68Atc7u8LwgYyzY+2ZaLUNOzZYJ5l2HUmKXf7U1N3TCx6XqfmNLdY1hIT/YE/VBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T01:01:17.114369Z"},"content_sha256":"9c20fe9c028f499d3d8794b33e726d744ecbd391f2d7d93e75ebfad30d6aa06a","schema_version":"1.0","event_id":"sha256:9c20fe9c028f499d3d8794b33e726d744ecbd391f2d7d93e75ebfad30d6aa06a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/73HRTJAIAOKGKJUNIXOUCT6HR3/bundle.json","state_url":"https://pith.science/pith/73HRTJAIAOKGKJUNIXOUCT6HR3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/73HRTJAIAOKGKJUNIXOUCT6HR3/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-08T01:01:17Z","links":{"resolver":"https://pith.science/pith/73HRTJAIAOKGKJUNIXOUCT6HR3","bundle":"https://pith.science/pith/73HRTJAIAOKGKJUNIXOUCT6HR3/bundle.json","state":"https://pith.science/pith/73HRTJAIAOKGKJUNIXOUCT6HR3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/73HRTJAIAOKGKJUNIXOUCT6HR3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:73HRTJAIAOKGKJUNIXOUCT6HR3","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":"fbae53800de59999e383dbc0a4ccc317c60a66650be3ea3997412f092dd60f01","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-03-24T21:53:37Z","title_canon_sha256":"d57c61f123c260da2956c56053b64c09c5a03017dd78b58daa69f07feea047a8"},"schema_version":"1.0","source":{"id":"2503.19174","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.19174","created_at":"2026-07-05T11:03:22Z"},{"alias_kind":"arxiv_version","alias_value":"2503.19174v2","created_at":"2026-07-05T11:03:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.19174","created_at":"2026-07-05T11:03:22Z"},{"alias_kind":"pith_short_12","alias_value":"73HRTJAIAOKG","created_at":"2026-07-05T11:03:22Z"},{"alias_kind":"pith_short_16","alias_value":"73HRTJAIAOKGKJUN","created_at":"2026-07-05T11:03:22Z"},{"alias_kind":"pith_short_8","alias_value":"73HRTJAI","created_at":"2026-07-05T11:03:22Z"}],"graph_snapshots":[{"event_id":"sha256:9c20fe9c028f499d3d8794b33e726d744ecbd391f2d7d93e75ebfad30d6aa06a","target":"graph","created_at":"2026-07-05T11:03:22Z","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/2503.19174/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Generating SystemVerilog Assertions (SVAs) from natural language specifications remains a major challenge in formal verification (FV) due to the inherent ambiguity and incompleteness of specifications. Existing LLM-based approaches, such as AssertLLM, focus on extracting information solely from specification documents, often failing to capture essential internal signal interactions and design details present in the RTL code, leading to incomplete or incorrect assertions. We propose a novel approach that constructs a Knowledge Graph (KG) from both specifications and RTL, using a hardware-specif","authors_text":"Ghaith Bany Hamad, Haoxing Ren, Syed Suhaib, Yunsheng Bai","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-03-24T21:53:37Z","title":"AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.19174","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:515740a4ebf0b3140e72ed657c15c82bf3e7e6cb23fee926d453cb1f3f2cf3be","target":"record","created_at":"2026-07-05T11:03:22Z","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":"fbae53800de59999e383dbc0a4ccc317c60a66650be3ea3997412f092dd60f01","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-03-24T21:53:37Z","title_canon_sha256":"d57c61f123c260da2956c56053b64c09c5a03017dd78b58daa69f07feea047a8"},"schema_version":"1.0","source":{"id":"2503.19174","kind":"arxiv","version":2}},"canonical_sha256":"fecf19a408039465268d45dd414fc78eea36a9ab9bc22ec37979dc1e78b56121","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fecf19a408039465268d45dd414fc78eea36a9ab9bc22ec37979dc1e78b56121","first_computed_at":"2026-07-05T11:03:22.670144Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:03:22.670144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"t5SLhmjSqut/wJTfRDDp8DPH8euLtGAp9TcXHUQVxO+C036b0zqfUPE4IIMRSXH1/ria54VA5kwExfdgKHwSAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:03:22.670705Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.19174","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:515740a4ebf0b3140e72ed657c15c82bf3e7e6cb23fee926d453cb1f3f2cf3be","sha256:9c20fe9c028f499d3d8794b33e726d744ecbd391f2d7d93e75ebfad30d6aa06a"],"state_sha256":"4d509a4591fed1a138dc13cdeb1bc790a2cf1cb1dff7cbd0be2343c3644c7610"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FNjbC2jnQQZ5oYN/FbXjLeXd0zUWDRrwIoUOy2YrH73RzWtV/hQCu5/YmXUnPrB/xYNPGKpbSWBFNPkCagiGAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T01:01:17.117960Z","bundle_sha256":"3f70ee7e646396ecc389be36ad0e2376cad71f99962e4c78696e7c0ae740f868"}}