{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:PAGJ6OYIVSHGXTKDSJISHDYM4A","short_pith_number":"pith:PAGJ6OYI","canonical_record":{"source":{"id":"1712.04291","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2017-12-12T13:51:57Z","cross_cats_sorted":[],"title_canon_sha256":"71564cef624c182b963cd4159c92fe3b011f987df083134f884c2dad6544584e","abstract_canon_sha256":"98e83dda1c269144d7e7e1b0ba4567842fbecbd6aba49d0a1148fe8b8024bdd8"},"schema_version":"1.0"},"canonical_sha256":"780c9f3b08ac8e6bcd439251238f0ce0047c923d6548f5b3fffac3942dcac4f8","source":{"kind":"arxiv","id":"1712.04291","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.04291","created_at":"2026-05-18T00:28:08Z"},{"alias_kind":"arxiv_version","alias_value":"1712.04291v1","created_at":"2026-05-18T00:28:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.04291","created_at":"2026-05-18T00:28:08Z"},{"alias_kind":"pith_short_12","alias_value":"PAGJ6OYIVSHG","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PAGJ6OYIVSHGXTKD","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PAGJ6OYI","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:PAGJ6OYIVSHGXTKDSJISHDYM4A","target":"record","payload":{"canonical_record":{"source":{"id":"1712.04291","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2017-12-12T13:51:57Z","cross_cats_sorted":[],"title_canon_sha256":"71564cef624c182b963cd4159c92fe3b011f987df083134f884c2dad6544584e","abstract_canon_sha256":"98e83dda1c269144d7e7e1b0ba4567842fbecbd6aba49d0a1148fe8b8024bdd8"},"schema_version":"1.0"},"canonical_sha256":"780c9f3b08ac8e6bcd439251238f0ce0047c923d6548f5b3fffac3942dcac4f8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:28:08.523121Z","signature_b64":"kreI2WakJ5xu58BvCyL31IuOiSOUMuvCHezZ4QM+Dh1ThBTA/pJLH7IbP+IB8S3nsjFTwDUFBmVzuSMJsUBlCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"780c9f3b08ac8e6bcd439251238f0ce0047c923d6548f5b3fffac3942dcac4f8","last_reissued_at":"2026-05-18T00:28:08.522483Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:28:08.522483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.04291","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-05-18T00:28:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L5SaZIR4p98WkEWSTMFxqebXdxDpNdTrLa89lmV7dbVbWPF/nj3ID6Rz7Vw8e4SZNccTHWg6bTMeUIWwgCxXBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T22:50:58.112361Z"},"content_sha256":"7ff685ddecc1ac1594bc658f7af221b97dc55f22aab11586cb9cd7708d51f3b3","schema_version":"1.0","event_id":"sha256:7ff685ddecc1ac1594bc658f7af221b97dc55f22aab11586cb9cd7708d51f3b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:PAGJ6OYIVSHGXTKDSJISHDYM4A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"OpenSEA: Semi-Formal Methods for Soft Error Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OH","authors_text":"Aiman Abu-Yonis, Ayrat Khalimov, Patrick Klampfl, Robert Koenighofer, Roderick Bloem, Shiri Moran","submitted_at":"2017-12-12T13:51:57Z","abstract_excerpt":"Alpha-particles and cosmic rays cause bit flips in chips. Protection circuits ease the problem, but cost chip area and power, and so designers try hard to optimize them. This leads to bugs: an undetected fault can bring miscalculations, the checker that alarms about harmless faults incurs performance penalty. Such bugs are hard to find: circuit simulation with tests is inefficient since it enumerates the huge fault time-location space, and formal methods do not scale since they explore the whole inputs. In this paper, we use formal methods on designer's input tests, while keeping time-location"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.04291","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":""},"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-05-18T00:28:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FLrsfDrIjyCXxYxOk0y3tKkk3M/b9lxJuIjNtueCE5TjNfQuD0y5kEHa/k3/a9CDBk530QfijXdME8L+XT3ODQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T22:50:58.113037Z"},"content_sha256":"2460116c5526e1b0962df884c6272485ae6169dbdae76007beb98e7232afa865","schema_version":"1.0","event_id":"sha256:2460116c5526e1b0962df884c6272485ae6169dbdae76007beb98e7232afa865"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PAGJ6OYIVSHGXTKDSJISHDYM4A/bundle.json","state_url":"https://pith.science/pith/PAGJ6OYIVSHGXTKDSJISHDYM4A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PAGJ6OYIVSHGXTKDSJISHDYM4A/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-05-29T22:50:58Z","links":{"resolver":"https://pith.science/pith/PAGJ6OYIVSHGXTKDSJISHDYM4A","bundle":"https://pith.science/pith/PAGJ6OYIVSHGXTKDSJISHDYM4A/bundle.json","state":"https://pith.science/pith/PAGJ6OYIVSHGXTKDSJISHDYM4A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PAGJ6OYIVSHGXTKDSJISHDYM4A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:PAGJ6OYIVSHGXTKDSJISHDYM4A","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":"98e83dda1c269144d7e7e1b0ba4567842fbecbd6aba49d0a1148fe8b8024bdd8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2017-12-12T13:51:57Z","title_canon_sha256":"71564cef624c182b963cd4159c92fe3b011f987df083134f884c2dad6544584e"},"schema_version":"1.0","source":{"id":"1712.04291","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.04291","created_at":"2026-05-18T00:28:08Z"},{"alias_kind":"arxiv_version","alias_value":"1712.04291v1","created_at":"2026-05-18T00:28:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.04291","created_at":"2026-05-18T00:28:08Z"},{"alias_kind":"pith_short_12","alias_value":"PAGJ6OYIVSHG","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PAGJ6OYIVSHGXTKD","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PAGJ6OYI","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:2460116c5526e1b0962df884c6272485ae6169dbdae76007beb98e7232afa865","target":"graph","created_at":"2026-05-18T00:28:08Z","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"},"paper":{"abstract_excerpt":"Alpha-particles and cosmic rays cause bit flips in chips. Protection circuits ease the problem, but cost chip area and power, and so designers try hard to optimize them. This leads to bugs: an undetected fault can bring miscalculations, the checker that alarms about harmless faults incurs performance penalty. Such bugs are hard to find: circuit simulation with tests is inefficient since it enumerates the huge fault time-location space, and formal methods do not scale since they explore the whole inputs. In this paper, we use formal methods on designer's input tests, while keeping time-location","authors_text":"Aiman Abu-Yonis, Ayrat Khalimov, Patrick Klampfl, Robert Koenighofer, Roderick Bloem, Shiri Moran","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2017-12-12T13:51:57Z","title":"OpenSEA: Semi-Formal Methods for Soft Error Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.04291","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:7ff685ddecc1ac1594bc658f7af221b97dc55f22aab11586cb9cd7708d51f3b3","target":"record","created_at":"2026-05-18T00:28:08Z","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":"98e83dda1c269144d7e7e1b0ba4567842fbecbd6aba49d0a1148fe8b8024bdd8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2017-12-12T13:51:57Z","title_canon_sha256":"71564cef624c182b963cd4159c92fe3b011f987df083134f884c2dad6544584e"},"schema_version":"1.0","source":{"id":"1712.04291","kind":"arxiv","version":1}},"canonical_sha256":"780c9f3b08ac8e6bcd439251238f0ce0047c923d6548f5b3fffac3942dcac4f8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"780c9f3b08ac8e6bcd439251238f0ce0047c923d6548f5b3fffac3942dcac4f8","first_computed_at":"2026-05-18T00:28:08.522483Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:28:08.522483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kreI2WakJ5xu58BvCyL31IuOiSOUMuvCHezZ4QM+Dh1ThBTA/pJLH7IbP+IB8S3nsjFTwDUFBmVzuSMJsUBlCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:28:08.523121Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.04291","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7ff685ddecc1ac1594bc658f7af221b97dc55f22aab11586cb9cd7708d51f3b3","sha256:2460116c5526e1b0962df884c6272485ae6169dbdae76007beb98e7232afa865"],"state_sha256":"b50bd93b0244f4c6dd22d739062b7dd4da5c8ff3e871c7774abff4606bd8bed3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bFShjVM2pucRVZ8U16IjHSGgfy23Y3E3QeBZbXo7hs/+mEEdfcVVNo5QLjbIKp+/9Zgeph9gqnHd8p9WDK4fBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T22:50:58.116776Z","bundle_sha256":"89efd970a840692b67ab6d7b004a63a7176a7d42e17b643ae0dcb6f64534aecb"}}