{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:XBFLABEYMZUWMHR3BJO6FRSRBN","short_pith_number":"pith:XBFLABEY","canonical_record":{"source":{"id":"1908.02986","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2019-08-08T09:29:59Z","cross_cats_sorted":[],"title_canon_sha256":"8be6d203ee3e0e979806c2e743b31c06e213e2be422c9533d9bc124c2ce4bf05","abstract_canon_sha256":"3833c84e7e7e3c41505a4c02a6c21e2366f0e81ae2324425a576b77f7a7b7589"},"schema_version":"1.0"},"canonical_sha256":"b84ab004986669661e3b0a5de2c6510b56fd72ba3bac27b30f9859d909806904","source":{"kind":"arxiv","id":"1908.02986","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.02986","created_at":"2026-07-05T00:01:03Z"},{"alias_kind":"arxiv_version","alias_value":"1908.02986v1","created_at":"2026-07-05T00:01:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.02986","created_at":"2026-07-05T00:01:03Z"},{"alias_kind":"pith_short_12","alias_value":"XBFLABEYMZUW","created_at":"2026-07-05T00:01:03Z"},{"alias_kind":"pith_short_16","alias_value":"XBFLABEYMZUWMHR3","created_at":"2026-07-05T00:01:03Z"},{"alias_kind":"pith_short_8","alias_value":"XBFLABEY","created_at":"2026-07-05T00:01:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:XBFLABEYMZUWMHR3BJO6FRSRBN","target":"record","payload":{"canonical_record":{"source":{"id":"1908.02986","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2019-08-08T09:29:59Z","cross_cats_sorted":[],"title_canon_sha256":"8be6d203ee3e0e979806c2e743b31c06e213e2be422c9533d9bc124c2ce4bf05","abstract_canon_sha256":"3833c84e7e7e3c41505a4c02a6c21e2366f0e81ae2324425a576b77f7a7b7589"},"schema_version":"1.0"},"canonical_sha256":"b84ab004986669661e3b0a5de2c6510b56fd72ba3bac27b30f9859d909806904","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:01:03.059861Z","signature_b64":"b7LXZwhJEi/uMAlv8+ZI18iJPW33drCb9L11tq1C6WFGQXKk2re2tm7apYGmQORdpX0OZ+Ud2R67L9O5iQD0Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b84ab004986669661e3b0a5de2c6510b56fd72ba3bac27b30f9859d909806904","last_reissued_at":"2026-07-05T00:01:03.059517Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:01:03.059517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.02986","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-05T00:01:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d25MvqbLA7xwrHhJVNewO+kWBw6OvIpgwglUZnCJ5EqEHm+U8Zy0B80dttxgWBE99vxcYpBCvfzmFqrPnj7wDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T07:38:43.701525Z"},"content_sha256":"3e11589b89bea112a98df5a9730e080de7ba7d08008f51379a23309dde0c9673","schema_version":"1.0","event_id":"sha256:3e11589b89bea112a98df5a9730e080de7ba7d08008f51379a23309dde0c9673"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:XBFLABEYMZUWMHR3BJO6FRSRBN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"High-Level Combined Deterministic and Pseudoexhuastive Test Generation for RISC Processors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Adeboye Stephen Oyeniran, Cemil Cem G\\\"ursoy, Jaan Raik, Maksim Jenihhin, Raimund Ubar","submitted_at":"2019-08-08T09:29:59Z","abstract_excerpt":"Recent safety standards set stringent requirements for the target fault coverage in embedded microprocessors, with the objective to guarantee robustness and functional safety of the critical electronic systems. This motivates the need for improving the quality of test generation for microprocessors. A new high-level implementation-independent test generation method for RISC processors is proposed. The set of instructions of the processor is partitioned nto groups. For each group, a dedicated test template is created, to be used for generating two test programs, for testing the control and the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.02986","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/1908.02986/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-05T00:01:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gT1CK5ggeLztz3vRfPklCLVY3R9Jj7sHAre0HgVw+H/QEcZQ7Ui2fMtgGO8YRzDtviGiTVMU8ZEmXabHgt6rBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T07:38:43.702022Z"},"content_sha256":"e20942a3ffb5c635ade2b5eff9dc7d7170f1ac17ff24b6f31e017456e399528d","schema_version":"1.0","event_id":"sha256:e20942a3ffb5c635ade2b5eff9dc7d7170f1ac17ff24b6f31e017456e399528d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XBFLABEYMZUWMHR3BJO6FRSRBN/bundle.json","state_url":"https://pith.science/pith/XBFLABEYMZUWMHR3BJO6FRSRBN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XBFLABEYMZUWMHR3BJO6FRSRBN/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-16T07:38:43Z","links":{"resolver":"https://pith.science/pith/XBFLABEYMZUWMHR3BJO6FRSRBN","bundle":"https://pith.science/pith/XBFLABEYMZUWMHR3BJO6FRSRBN/bundle.json","state":"https://pith.science/pith/XBFLABEYMZUWMHR3BJO6FRSRBN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XBFLABEYMZUWMHR3BJO6FRSRBN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:XBFLABEYMZUWMHR3BJO6FRSRBN","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":"3833c84e7e7e3c41505a4c02a6c21e2366f0e81ae2324425a576b77f7a7b7589","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2019-08-08T09:29:59Z","title_canon_sha256":"8be6d203ee3e0e979806c2e743b31c06e213e2be422c9533d9bc124c2ce4bf05"},"schema_version":"1.0","source":{"id":"1908.02986","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.02986","created_at":"2026-07-05T00:01:03Z"},{"alias_kind":"arxiv_version","alias_value":"1908.02986v1","created_at":"2026-07-05T00:01:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.02986","created_at":"2026-07-05T00:01:03Z"},{"alias_kind":"pith_short_12","alias_value":"XBFLABEYMZUW","created_at":"2026-07-05T00:01:03Z"},{"alias_kind":"pith_short_16","alias_value":"XBFLABEYMZUWMHR3","created_at":"2026-07-05T00:01:03Z"},{"alias_kind":"pith_short_8","alias_value":"XBFLABEY","created_at":"2026-07-05T00:01:03Z"}],"graph_snapshots":[{"event_id":"sha256:e20942a3ffb5c635ade2b5eff9dc7d7170f1ac17ff24b6f31e017456e399528d","target":"graph","created_at":"2026-07-05T00:01:03Z","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/1908.02986/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent safety standards set stringent requirements for the target fault coverage in embedded microprocessors, with the objective to guarantee robustness and functional safety of the critical electronic systems. This motivates the need for improving the quality of test generation for microprocessors. A new high-level implementation-independent test generation method for RISC processors is proposed. The set of instructions of the processor is partitioned nto groups. For each group, a dedicated test template is created, to be used for generating two test programs, for testing the control and the ","authors_text":"Adeboye Stephen Oyeniran, Cemil Cem G\\\"ursoy, Jaan Raik, Maksim Jenihhin, Raimund Ubar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2019-08-08T09:29:59Z","title":"High-Level Combined Deterministic and Pseudoexhuastive Test Generation for RISC Processors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.02986","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:3e11589b89bea112a98df5a9730e080de7ba7d08008f51379a23309dde0c9673","target":"record","created_at":"2026-07-05T00:01:03Z","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":"3833c84e7e7e3c41505a4c02a6c21e2366f0e81ae2324425a576b77f7a7b7589","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2019-08-08T09:29:59Z","title_canon_sha256":"8be6d203ee3e0e979806c2e743b31c06e213e2be422c9533d9bc124c2ce4bf05"},"schema_version":"1.0","source":{"id":"1908.02986","kind":"arxiv","version":1}},"canonical_sha256":"b84ab004986669661e3b0a5de2c6510b56fd72ba3bac27b30f9859d909806904","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b84ab004986669661e3b0a5de2c6510b56fd72ba3bac27b30f9859d909806904","first_computed_at":"2026-07-05T00:01:03.059517Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:01:03.059517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b7LXZwhJEi/uMAlv8+ZI18iJPW33drCb9L11tq1C6WFGQXKk2re2tm7apYGmQORdpX0OZ+Ud2R67L9O5iQD0Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:01:03.059861Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.02986","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3e11589b89bea112a98df5a9730e080de7ba7d08008f51379a23309dde0c9673","sha256:e20942a3ffb5c635ade2b5eff9dc7d7170f1ac17ff24b6f31e017456e399528d"],"state_sha256":"1f17a425a9896e626d5d465101df1ce9663b5d07b52b1232615c8f7f13d011a1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FF9TIMsInvsiuCDr27NsEoROgeDyC1p5OqnF0Uaal5QFUPjxmrXYEizCD1XxXZPZyELBhfNINe43y9sq/6JeCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T07:38:43.705630Z","bundle_sha256":"ee0d679b9720615ad997f0b86fa124e78666e09ee7603271101235c80cd8c3d9"}}