{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:IOB7OJCZ63GIB7CUR4QTTWQAKO","short_pith_number":"pith:IOB7OJCZ","canonical_record":{"source":{"id":"1711.06541","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-15T22:03:25Z","cross_cats_sorted":[],"title_canon_sha256":"d360618f23ae116761802f13778011cb039a83865caa999264dfc69bed694d1a","abstract_canon_sha256":"8c7a341748788c61fdb854334f24f8de4535826267f54076bec6a37245bb47ae"},"schema_version":"1.0"},"canonical_sha256":"4383f72459f6cc80fc548f2139da0053a3dc8a8cf7776fbf56fff2f5c644c966","source":{"kind":"arxiv","id":"1711.06541","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.06541","created_at":"2026-05-18T00:30:20Z"},{"alias_kind":"arxiv_version","alias_value":"1711.06541v1","created_at":"2026-05-18T00:30:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.06541","created_at":"2026-05-18T00:30:20Z"},{"alias_kind":"pith_short_12","alias_value":"IOB7OJCZ63GI","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"IOB7OJCZ63GIB7CU","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"IOB7OJCZ","created_at":"2026-05-18T12:31:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:IOB7OJCZ63GIB7CUR4QTTWQAKO","target":"record","payload":{"canonical_record":{"source":{"id":"1711.06541","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-15T22:03:25Z","cross_cats_sorted":[],"title_canon_sha256":"d360618f23ae116761802f13778011cb039a83865caa999264dfc69bed694d1a","abstract_canon_sha256":"8c7a341748788c61fdb854334f24f8de4535826267f54076bec6a37245bb47ae"},"schema_version":"1.0"},"canonical_sha256":"4383f72459f6cc80fc548f2139da0053a3dc8a8cf7776fbf56fff2f5c644c966","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:20.760031Z","signature_b64":"45+MY7FpP5s4/koNjETDKSh9wAgpV7UQ2CG4rAYaOSyvtdmeaLXu0NkIUP6VNAo0bH2uCHsdr3ceasIxKUd7Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4383f72459f6cc80fc548f2139da0053a3dc8a8cf7776fbf56fff2f5c644c966","last_reissued_at":"2026-05-18T00:30:20.759359Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:20.759359Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.06541","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:30:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o9gVbifvVezrCaDkgFeYL5UadC5sUEVz+Nx5KPDOwNyZOBUlt+FiVJq8ErzDj2kTE6KcYwFS8xjmslQoJb/0BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T05:00:12.057968Z"},"content_sha256":"cc3e5b5db6998e15b3d4b7e17c551d9497cf08090a9f38c0dfc737b62694d75e","schema_version":"1.0","event_id":"sha256:cc3e5b5db6998e15b3d4b7e17c551d9497cf08090a9f38c0dfc737b62694d75e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:IOB7OJCZ63GIB7CUR4QTTWQAKO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic Bug Detection and Localization Using Symbolic Quick Error Detection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Clark Barrett, David Lin, Eshan Singh, Subhasish Mitra","submitted_at":"2017-11-15T22:03:25Z","abstract_excerpt":"We present Symbolic Quick Error Detection (Symbolic QED), a structured approach for logic bug detection and localization which can be used both during pre-silicon design verification as well as post-silicon validation and debug. This new methodology leverages prior work on Quick Error Detection (QED) which has been demonstrated to drastically reduce the latency, in terms of the number of clock cycles, of error detection following the activation of a logic (or electrical) bug. QED works through software transformations, including redundant execution and control flow checking, of the applied tes"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.06541","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:30:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GJZGkFWhcgBHNoX4+PC56as03dYf9xY2IjdaMx3iN1Q1dC8E7bR/m3W2AavJeBqHonR0RpzhbYkWqf8c24NrDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T05:00:12.058665Z"},"content_sha256":"42cc475a9df9a6fd23517efe9813edaa49828cdfbe9c2b60ba547764edf22687","schema_version":"1.0","event_id":"sha256:42cc475a9df9a6fd23517efe9813edaa49828cdfbe9c2b60ba547764edf22687"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IOB7OJCZ63GIB7CUR4QTTWQAKO/bundle.json","state_url":"https://pith.science/pith/IOB7OJCZ63GIB7CUR4QTTWQAKO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IOB7OJCZ63GIB7CUR4QTTWQAKO/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-06-11T05:00:12Z","links":{"resolver":"https://pith.science/pith/IOB7OJCZ63GIB7CUR4QTTWQAKO","bundle":"https://pith.science/pith/IOB7OJCZ63GIB7CUR4QTTWQAKO/bundle.json","state":"https://pith.science/pith/IOB7OJCZ63GIB7CUR4QTTWQAKO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IOB7OJCZ63GIB7CUR4QTTWQAKO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:IOB7OJCZ63GIB7CUR4QTTWQAKO","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":"8c7a341748788c61fdb854334f24f8de4535826267f54076bec6a37245bb47ae","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-15T22:03:25Z","title_canon_sha256":"d360618f23ae116761802f13778011cb039a83865caa999264dfc69bed694d1a"},"schema_version":"1.0","source":{"id":"1711.06541","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.06541","created_at":"2026-05-18T00:30:20Z"},{"alias_kind":"arxiv_version","alias_value":"1711.06541v1","created_at":"2026-05-18T00:30:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.06541","created_at":"2026-05-18T00:30:20Z"},{"alias_kind":"pith_short_12","alias_value":"IOB7OJCZ63GI","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"IOB7OJCZ63GIB7CU","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"IOB7OJCZ","created_at":"2026-05-18T12:31:21Z"}],"graph_snapshots":[{"event_id":"sha256:42cc475a9df9a6fd23517efe9813edaa49828cdfbe9c2b60ba547764edf22687","target":"graph","created_at":"2026-05-18T00:30:20Z","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":"We present Symbolic Quick Error Detection (Symbolic QED), a structured approach for logic bug detection and localization which can be used both during pre-silicon design verification as well as post-silicon validation and debug. This new methodology leverages prior work on Quick Error Detection (QED) which has been demonstrated to drastically reduce the latency, in terms of the number of clock cycles, of error detection following the activation of a logic (or electrical) bug. QED works through software transformations, including redundant execution and control flow checking, of the applied tes","authors_text":"Clark Barrett, David Lin, Eshan Singh, Subhasish Mitra","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-15T22:03:25Z","title":"Logic Bug Detection and Localization Using Symbolic Quick Error Detection"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.06541","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:cc3e5b5db6998e15b3d4b7e17c551d9497cf08090a9f38c0dfc737b62694d75e","target":"record","created_at":"2026-05-18T00:30:20Z","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":"8c7a341748788c61fdb854334f24f8de4535826267f54076bec6a37245bb47ae","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-15T22:03:25Z","title_canon_sha256":"d360618f23ae116761802f13778011cb039a83865caa999264dfc69bed694d1a"},"schema_version":"1.0","source":{"id":"1711.06541","kind":"arxiv","version":1}},"canonical_sha256":"4383f72459f6cc80fc548f2139da0053a3dc8a8cf7776fbf56fff2f5c644c966","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4383f72459f6cc80fc548f2139da0053a3dc8a8cf7776fbf56fff2f5c644c966","first_computed_at":"2026-05-18T00:30:20.759359Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:20.759359Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"45+MY7FpP5s4/koNjETDKSh9wAgpV7UQ2CG4rAYaOSyvtdmeaLXu0NkIUP6VNAo0bH2uCHsdr3ceasIxKUd7Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:20.760031Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.06541","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cc3e5b5db6998e15b3d4b7e17c551d9497cf08090a9f38c0dfc737b62694d75e","sha256:42cc475a9df9a6fd23517efe9813edaa49828cdfbe9c2b60ba547764edf22687"],"state_sha256":"f7ae563c06859d51d3652fd2625b0a8fc421ebbe3f93ad291075cdf473e72459"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IJf2eyNdq6tpHZ39po/luxB2nlJ7BGG73IO05SamRNm9MvURWdTvTJhqVTdDn9CttH3w/vvwtYL5ogJseZYPDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T05:00:12.062912Z","bundle_sha256":"3428fe821f59a5a19c757aabbc83c98d00ba7819db4f86d958dc5637184dfedb"}}