{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:TGCUD4L4ZGQQ5TMP4BIQSYIEH6","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":"a1079305d36d9c9651178779d2736cac5f8ac6b092527164d8aa135a9b3b7f27","cross_cats_sorted":["cs.ET"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-08-13T06:03:41Z","title_canon_sha256":"2717d91b58927b478005376e632901b6de077c22612c0be01cbc039fa597c6f2"},"schema_version":"1.0","source":{"id":"2409.15281","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.15281","created_at":"2026-07-05T09:10:52Z"},{"alias_kind":"arxiv_version","alias_value":"2409.15281v1","created_at":"2026-07-05T09:10:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.15281","created_at":"2026-07-05T09:10:52Z"},{"alias_kind":"pith_short_12","alias_value":"TGCUD4L4ZGQQ","created_at":"2026-07-05T09:10:52Z"},{"alias_kind":"pith_short_16","alias_value":"TGCUD4L4ZGQQ5TMP","created_at":"2026-07-05T09:10:52Z"},{"alias_kind":"pith_short_8","alias_value":"TGCUD4L4","created_at":"2026-07-05T09:10:52Z"}],"graph_snapshots":[{"event_id":"sha256:900c4b7b90bdcae2e73f90bbb01d4b4c61092957714d32e213b967f9da9416c9","target":"graph","created_at":"2026-07-05T09:10:52Z","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/2409.15281/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Writing SystemVerilog Assertions (SVA) is an important but complex step in verifying Register Transfer Level (RTL) designs. Conventionally, experts need to understand the design specifications and write the SVA assertions, which is time-consuming and error-prone. However, with the recent advancement of transformer models, the Large Language Models (LLMs) assisted assertion generation for design verification is gaining interest in recent times. Motivated by this, we proposed a novel LLM-based framework, LAAG-RV, to generate SVA from the natural language specifications of the design. Our framewo","authors_text":"Bhabesh Mali, Chandan Karfa, Karthik Maddala","cross_cats":["cs.ET"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-08-13T06:03:41Z","title":"LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.15281","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:27730a8b1a7babea0c67a0eecc7e2e6f561ab91e72e3dac95c12157e4f6fbcce","target":"record","created_at":"2026-07-05T09:10:52Z","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":"a1079305d36d9c9651178779d2736cac5f8ac6b092527164d8aa135a9b3b7f27","cross_cats_sorted":["cs.ET"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-08-13T06:03:41Z","title_canon_sha256":"2717d91b58927b478005376e632901b6de077c22612c0be01cbc039fa597c6f2"},"schema_version":"1.0","source":{"id":"2409.15281","kind":"arxiv","version":1}},"canonical_sha256":"998541f17cc9a10ecd8fe0510961043f9f6383213d8738195374ec41871fdde2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"998541f17cc9a10ecd8fe0510961043f9f6383213d8738195374ec41871fdde2","first_computed_at":"2026-07-05T09:10:52.291628Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:10:52.291628Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YbecmJzV9OLmRSfywpYRbkdDdFQ7bb6WUlC+f/Y8LSzzm64zI8ijEVZ7IC+l7IlhU+uMYg7zRT42ZHYlBgOLCA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:10:52.292137Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.15281","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27730a8b1a7babea0c67a0eecc7e2e6f561ab91e72e3dac95c12157e4f6fbcce","sha256:900c4b7b90bdcae2e73f90bbb01d4b4c61092957714d32e213b967f9da9416c9"],"state_sha256":"238e1a75082285d897e8d05e86add9f0d31193a33c8ba822d84f1f33e26a5f38"}