{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:ELQTNH2ZZIMNKF6NUFXI43ESNI","short_pith_number":"pith:ELQTNH2Z","canonical_record":{"source":{"id":"2607.10340","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-07-11T14:39:56Z","cross_cats_sorted":[],"title_canon_sha256":"f768bb729ee5e3a7076f05ecab6271728777e52e656d1168c53e82af89d3b888","abstract_canon_sha256":"37c5d3bb8418ab08ac30a16cf6da8da749150ab94193c45c91215013b94e2200"},"schema_version":"1.0"},"canonical_sha256":"22e1369f59ca18d517cda16e8e6c926a05979a0b21b3ca90cb1e55825a6d1670","source":{"kind":"arxiv","id":"2607.10340","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.10340","created_at":"2026-07-14T01:21:10Z"},{"alias_kind":"arxiv_version","alias_value":"2607.10340v1","created_at":"2026-07-14T01:21:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.10340","created_at":"2026-07-14T01:21:10Z"},{"alias_kind":"pith_short_12","alias_value":"ELQTNH2ZZIMN","created_at":"2026-07-14T01:21:10Z"},{"alias_kind":"pith_short_16","alias_value":"ELQTNH2ZZIMNKF6N","created_at":"2026-07-14T01:21:10Z"},{"alias_kind":"pith_short_8","alias_value":"ELQTNH2Z","created_at":"2026-07-14T01:21:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:ELQTNH2ZZIMNKF6NUFXI43ESNI","target":"record","payload":{"canonical_record":{"source":{"id":"2607.10340","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-07-11T14:39:56Z","cross_cats_sorted":[],"title_canon_sha256":"f768bb729ee5e3a7076f05ecab6271728777e52e656d1168c53e82af89d3b888","abstract_canon_sha256":"37c5d3bb8418ab08ac30a16cf6da8da749150ab94193c45c91215013b94e2200"},"schema_version":"1.0"},"canonical_sha256":"22e1369f59ca18d517cda16e8e6c926a05979a0b21b3ca90cb1e55825a6d1670","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-14T01:21:10.308204Z","signature_b64":"L7UH7rlmFlSFEx5GZXMnl6Y03TSTheSZdtuaH6fymYx7XTpi0bDD2qf9a6b2umqEuU2jVsjwX73xWIoAzVM8DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"22e1369f59ca18d517cda16e8e6c926a05979a0b21b3ca90cb1e55825a6d1670","last_reissued_at":"2026-07-14T01:21:10.307401Z","signature_status":"signed_v1","first_computed_at":"2026-07-14T01:21:10.307401Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.10340","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-14T01:21:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ae3zbaVeV/eI26LaHiEXSAoUR7XO0/6tWmmPwH23CTXqJY3JNV9Ln8id4ClxDWGJw1uPaKLoKIXBYXl6qiGcDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T20:40:00.098847Z"},"content_sha256":"acd46768d9c07498cc5ce45edf297ce3859668d9ae9327cd0019e5dc72f29802","schema_version":"1.0","event_id":"sha256:acd46768d9c07498cc5ce45edf297ce3859668d9ae9327cd0019e5dc72f29802"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:ELQTNH2ZZIMNKF6NUFXI43ESNI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Cangyuan Li, Kaiyan Chang, Kun Wang, Siyang Cai, Ying Wang, Yinhe Han","submitted_at":"2026-07-11T14:39:56Z","abstract_excerpt":"The growing complexity of modern chips poses significant challenges to hardware verification. In recent years, coverage-guided fuzzing has emerged as a promising approach for improving verification efficiency. However, existing hardware fuzzers still struggle to achieve high coverage and expose corner-case bugs, as they predominantly rely on heuristic strategies with limited ability to reason about the internal logic and semantic behavior of the design under test (DUT). In this work, we propose ChipFuzzer, a hardware fuzzing framework that leverages the semantic reasoning capabilities of large"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.10340","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/2607.10340/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-14T01:21:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F0qmy/rvzVPxpw0koioFwH9Q49CifNMkMGTmzWzLHGKJ08bvE9ppYmuH+xJrTf8w1mWsn/klaTkLF79GKeUbAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T20:40:00.099354Z"},"content_sha256":"b3fc4f4e49e4756a50c53fddf4f4d7c52c5fe58a4c80055557555931e6e7e9c7","schema_version":"1.0","event_id":"sha256:b3fc4f4e49e4756a50c53fddf4f4d7c52c5fe58a4c80055557555931e6e7e9c7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ELQTNH2ZZIMNKF6NUFXI43ESNI/bundle.json","state_url":"https://pith.science/pith/ELQTNH2ZZIMNKF6NUFXI43ESNI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ELQTNH2ZZIMNKF6NUFXI43ESNI/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-04T20:40:00Z","links":{"resolver":"https://pith.science/pith/ELQTNH2ZZIMNKF6NUFXI43ESNI","bundle":"https://pith.science/pith/ELQTNH2ZZIMNKF6NUFXI43ESNI/bundle.json","state":"https://pith.science/pith/ELQTNH2ZZIMNKF6NUFXI43ESNI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ELQTNH2ZZIMNKF6NUFXI43ESNI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:ELQTNH2ZZIMNKF6NUFXI43ESNI","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":"37c5d3bb8418ab08ac30a16cf6da8da749150ab94193c45c91215013b94e2200","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-07-11T14:39:56Z","title_canon_sha256":"f768bb729ee5e3a7076f05ecab6271728777e52e656d1168c53e82af89d3b888"},"schema_version":"1.0","source":{"id":"2607.10340","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.10340","created_at":"2026-07-14T01:21:10Z"},{"alias_kind":"arxiv_version","alias_value":"2607.10340v1","created_at":"2026-07-14T01:21:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.10340","created_at":"2026-07-14T01:21:10Z"},{"alias_kind":"pith_short_12","alias_value":"ELQTNH2ZZIMN","created_at":"2026-07-14T01:21:10Z"},{"alias_kind":"pith_short_16","alias_value":"ELQTNH2ZZIMNKF6N","created_at":"2026-07-14T01:21:10Z"},{"alias_kind":"pith_short_8","alias_value":"ELQTNH2Z","created_at":"2026-07-14T01:21:10Z"}],"graph_snapshots":[{"event_id":"sha256:b3fc4f4e49e4756a50c53fddf4f4d7c52c5fe58a4c80055557555931e6e7e9c7","target":"graph","created_at":"2026-07-14T01:21:10Z","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/2607.10340/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The growing complexity of modern chips poses significant challenges to hardware verification. In recent years, coverage-guided fuzzing has emerged as a promising approach for improving verification efficiency. However, existing hardware fuzzers still struggle to achieve high coverage and expose corner-case bugs, as they predominantly rely on heuristic strategies with limited ability to reason about the internal logic and semantic behavior of the design under test (DUT). In this work, we propose ChipFuzzer, a hardware fuzzing framework that leverages the semantic reasoning capabilities of large","authors_text":"Cangyuan Li, Kaiyan Chang, Kun Wang, Siyang Cai, Ying Wang, Yinhe Han","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.10340","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:acd46768d9c07498cc5ce45edf297ce3859668d9ae9327cd0019e5dc72f29802","target":"record","created_at":"2026-07-14T01:21:10Z","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":"37c5d3bb8418ab08ac30a16cf6da8da749150ab94193c45c91215013b94e2200","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-07-11T14:39:56Z","title_canon_sha256":"f768bb729ee5e3a7076f05ecab6271728777e52e656d1168c53e82af89d3b888"},"schema_version":"1.0","source":{"id":"2607.10340","kind":"arxiv","version":1}},"canonical_sha256":"22e1369f59ca18d517cda16e8e6c926a05979a0b21b3ca90cb1e55825a6d1670","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"22e1369f59ca18d517cda16e8e6c926a05979a0b21b3ca90cb1e55825a6d1670","first_computed_at":"2026-07-14T01:21:10.307401Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-14T01:21:10.307401Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L7UH7rlmFlSFEx5GZXMnl6Y03TSTheSZdtuaH6fymYx7XTpi0bDD2qf9a6b2umqEuU2jVsjwX73xWIoAzVM8DQ==","signature_status":"signed_v1","signed_at":"2026-07-14T01:21:10.308204Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.10340","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:acd46768d9c07498cc5ce45edf297ce3859668d9ae9327cd0019e5dc72f29802","sha256:b3fc4f4e49e4756a50c53fddf4f4d7c52c5fe58a4c80055557555931e6e7e9c7"],"state_sha256":"449e66e57157fdcf68dfa649322afecb83fe3d19d2ec4c2c309045930d619724"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3/4sr3HWCKuwfGG9m7FxvGOr5PETyjEBzZP4Ek1Z7oD2Yjb6viYKzb/yD7PekAamhO8HNXUzSyJB5kPE0Hb6Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T20:40:00.102768Z","bundle_sha256":"3d7e2b90028dcdde4e041bb92659f7c32cd1359cd742512d307390da1ba823bb"}}