{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:77RZQBNDDKH6NIHA4PQVLQEF66","short_pith_number":"pith:77RZQBND","canonical_record":{"source":{"id":"2608.01045","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2026-08-02T07:02:26Z","cross_cats_sorted":[],"title_canon_sha256":"59f6fc39e179c36b0e1cf7aedb0d95eb243f71a2e9b0aeb8fbdde39ec4c1b17c","abstract_canon_sha256":"8b751e4427a7bc99fff7ac11c34a46d8074e01d2672fb66d25aa4fc92c3aa9ea"},"schema_version":"1.0"},"canonical_sha256":"ffe39805a31a8fe6a0e0e3e155c085f7be6c5fba570365f05c0a497150360e0c","source":{"kind":"arxiv","id":"2608.01045","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.01045","created_at":"2026-08-04T01:56:19Z"},{"alias_kind":"arxiv_version","alias_value":"2608.01045v1","created_at":"2026-08-04T01:56:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.01045","created_at":"2026-08-04T01:56:19Z"},{"alias_kind":"pith_short_12","alias_value":"77RZQBNDDKH6","created_at":"2026-08-04T01:56:19Z"},{"alias_kind":"pith_short_16","alias_value":"77RZQBNDDKH6NIHA","created_at":"2026-08-04T01:56:19Z"},{"alias_kind":"pith_short_8","alias_value":"77RZQBND","created_at":"2026-08-04T01:56:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:77RZQBNDDKH6NIHA4PQVLQEF66","target":"record","payload":{"canonical_record":{"source":{"id":"2608.01045","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2026-08-02T07:02:26Z","cross_cats_sorted":[],"title_canon_sha256":"59f6fc39e179c36b0e1cf7aedb0d95eb243f71a2e9b0aeb8fbdde39ec4c1b17c","abstract_canon_sha256":"8b751e4427a7bc99fff7ac11c34a46d8074e01d2672fb66d25aa4fc92c3aa9ea"},"schema_version":"1.0"},"canonical_sha256":"ffe39805a31a8fe6a0e0e3e155c085f7be6c5fba570365f05c0a497150360e0c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-04T01:56:19.031435Z","signature_b64":"RIeELEEBbm/if16iXtTBKrI+osBi7skdMdJpLOHGYyuC32xJ5h4DYsiqBe2eNle5PVbPtw+El9k68Meq7wvfCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ffe39805a31a8fe6a0e0e3e155c085f7be6c5fba570365f05c0a497150360e0c","last_reissued_at":"2026-08-04T01:56:19.029840Z","signature_status":"signed_v1","first_computed_at":"2026-08-04T01:56:19.029840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.01045","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-08-04T01:56:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TMO9ubTQiC6sdOOlhoO5sWW9HcPd72RTBNmixXJQ/WMvWd5e6fRMMtGFLNdI0Fk2EJXgUOV5xyjQpjwgbHI8AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T15:11:32.850637Z"},"content_sha256":"b8f68f3beb1035fe9f3330b4d69234f2676835badf547d1d4ecb415423c572e4","schema_version":"1.0","event_id":"sha256:b8f68f3beb1035fe9f3330b4d69234f2676835badf547d1d4ecb415423c572e4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:77RZQBNDDKH6NIHA4PQVLQEF66","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Guangyu Hu, Hongce Zhang, Wenbin Che, Ziyi Yang, Ziyue Zheng","submitted_at":"2026-08-02T07:02:26Z","abstract_excerpt":"Simulation remains the dominant approach in pre-silicon verification due to its ease of deployment and intuitive workflow. However, as simulation only explores a limited subset of possible execution traces within feasible time budgets, it often fails to explore rare corner cases, leaving latent bugs undetected. In contrast, formal verification offers mathematically rigorous guarantees of correctness. However, its practical adoption is constrained, not only by the scalability challenges over large-scale designs, but also by the change of mindset from stimulus-driven operations to the sequence-c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.01045","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/2608.01045/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-08-04T01:56:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6naNScGqhZ35jyXgTKP8obBTW4c6a9Q6X0WbtlqXsO0fnRkoNexBBSne28JNRAJqktaASmnzkl/uEQUZjjNeDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T15:11:32.851107Z"},"content_sha256":"002570e50146345d5505d4de1cd83a92167cce39780096e62719cab0349007e7","schema_version":"1.0","event_id":"sha256:002570e50146345d5505d4de1cd83a92167cce39780096e62719cab0349007e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/77RZQBNDDKH6NIHA4PQVLQEF66/bundle.json","state_url":"https://pith.science/pith/77RZQBNDDKH6NIHA4PQVLQEF66/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/77RZQBNDDKH6NIHA4PQVLQEF66/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-06T15:11:32Z","links":{"resolver":"https://pith.science/pith/77RZQBNDDKH6NIHA4PQVLQEF66","bundle":"https://pith.science/pith/77RZQBNDDKH6NIHA4PQVLQEF66/bundle.json","state":"https://pith.science/pith/77RZQBNDDKH6NIHA4PQVLQEF66/state.json","well_known_bundle":"https://pith.science/.well-known/pith/77RZQBNDDKH6NIHA4PQVLQEF66/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:77RZQBNDDKH6NIHA4PQVLQEF66","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":"8b751e4427a7bc99fff7ac11c34a46d8074e01d2672fb66d25aa4fc92c3aa9ea","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2026-08-02T07:02:26Z","title_canon_sha256":"59f6fc39e179c36b0e1cf7aedb0d95eb243f71a2e9b0aeb8fbdde39ec4c1b17c"},"schema_version":"1.0","source":{"id":"2608.01045","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.01045","created_at":"2026-08-04T01:56:19Z"},{"alias_kind":"arxiv_version","alias_value":"2608.01045v1","created_at":"2026-08-04T01:56:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.01045","created_at":"2026-08-04T01:56:19Z"},{"alias_kind":"pith_short_12","alias_value":"77RZQBNDDKH6","created_at":"2026-08-04T01:56:19Z"},{"alias_kind":"pith_short_16","alias_value":"77RZQBNDDKH6NIHA","created_at":"2026-08-04T01:56:19Z"},{"alias_kind":"pith_short_8","alias_value":"77RZQBND","created_at":"2026-08-04T01:56:19Z"}],"graph_snapshots":[{"event_id":"sha256:002570e50146345d5505d4de1cd83a92167cce39780096e62719cab0349007e7","target":"graph","created_at":"2026-08-04T01:56:19Z","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/2608.01045/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Simulation remains the dominant approach in pre-silicon verification due to its ease of deployment and intuitive workflow. However, as simulation only explores a limited subset of possible execution traces within feasible time budgets, it often fails to explore rare corner cases, leaving latent bugs undetected. In contrast, formal verification offers mathematically rigorous guarantees of correctness. However, its practical adoption is constrained, not only by the scalability challenges over large-scale designs, but also by the change of mindset from stimulus-driven operations to the sequence-c","authors_text":"Guangyu Hu, Hongce Zhang, Wenbin Che, Ziyi Yang, Ziyue Zheng","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2026-08-02T07:02:26Z","title":"Forbench: Symbolic Simulation Helps Make Your Testbench More Formal"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.01045","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:b8f68f3beb1035fe9f3330b4d69234f2676835badf547d1d4ecb415423c572e4","target":"record","created_at":"2026-08-04T01:56:19Z","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":"8b751e4427a7bc99fff7ac11c34a46d8074e01d2672fb66d25aa4fc92c3aa9ea","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2026-08-02T07:02:26Z","title_canon_sha256":"59f6fc39e179c36b0e1cf7aedb0d95eb243f71a2e9b0aeb8fbdde39ec4c1b17c"},"schema_version":"1.0","source":{"id":"2608.01045","kind":"arxiv","version":1}},"canonical_sha256":"ffe39805a31a8fe6a0e0e3e155c085f7be6c5fba570365f05c0a497150360e0c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ffe39805a31a8fe6a0e0e3e155c085f7be6c5fba570365f05c0a497150360e0c","first_computed_at":"2026-08-04T01:56:19.029840Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-04T01:56:19.029840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RIeELEEBbm/if16iXtTBKrI+osBi7skdMdJpLOHGYyuC32xJ5h4DYsiqBe2eNle5PVbPtw+El9k68Meq7wvfCQ==","signature_status":"signed_v1","signed_at":"2026-08-04T01:56:19.031435Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.01045","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b8f68f3beb1035fe9f3330b4d69234f2676835badf547d1d4ecb415423c572e4","sha256:002570e50146345d5505d4de1cd83a92167cce39780096e62719cab0349007e7"],"state_sha256":"4713fdac86bca3e8e71ed9b49667ab7bc2495afb06f9933176b56022e9ca6450"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5Jpi88Ml4GcgFwAHhO2FD2nTaspdr3VSa3VOoHR2bykmcYTimRCWFYIX4PG/9xSuocQ00ekPAtVp5iVHrNM0Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T15:11:32.855763Z","bundle_sha256":"c71af1ad16fd1b3b609053d4ce060018217f908fd3e83e4768e02d27716c31e4"}}