{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:WYJVXO7Y7GEYQT342OTKKKGPJO","short_pith_number":"pith:WYJVXO7Y","canonical_record":{"source":{"id":"1908.00314","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2019-08-01T10:33:46Z","cross_cats_sorted":[],"title_canon_sha256":"46804e6817651e4df2778467a61610d62a7d55ee119ad503f1f108beaf8aba33","abstract_canon_sha256":"6b77cfd7c9df32c74daaaece46a07732be04a8a63488e82c6578fee3773a745f"},"schema_version":"1.0"},"canonical_sha256":"b6135bbbf8f989884f7cd3a6a528cf4ba1b3e3fe172125d05dbc726b24510f93","source":{"kind":"arxiv","id":"1908.00314","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.00314","created_at":"2026-07-05T00:22:41Z"},{"alias_kind":"arxiv_version","alias_value":"1908.00314v1","created_at":"2026-07-05T00:22:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.00314","created_at":"2026-07-05T00:22:41Z"},{"alias_kind":"pith_short_12","alias_value":"WYJVXO7Y7GEY","created_at":"2026-07-05T00:22:41Z"},{"alias_kind":"pith_short_16","alias_value":"WYJVXO7Y7GEYQT34","created_at":"2026-07-05T00:22:41Z"},{"alias_kind":"pith_short_8","alias_value":"WYJVXO7Y","created_at":"2026-07-05T00:22:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:WYJVXO7Y7GEYQT342OTKKKGPJO","target":"record","payload":{"canonical_record":{"source":{"id":"1908.00314","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2019-08-01T10:33:46Z","cross_cats_sorted":[],"title_canon_sha256":"46804e6817651e4df2778467a61610d62a7d55ee119ad503f1f108beaf8aba33","abstract_canon_sha256":"6b77cfd7c9df32c74daaaece46a07732be04a8a63488e82c6578fee3773a745f"},"schema_version":"1.0"},"canonical_sha256":"b6135bbbf8f989884f7cd3a6a528cf4ba1b3e3fe172125d05dbc726b24510f93","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:22:41.054649Z","signature_b64":"MOEZ9Uhr5B6xw7mOFr/9/KY7N64pi9YEPcaW3jVSKgeBrUVyv/NKw2gU/KWWnqDMPgY8Nub4Gfith4WNrbQyDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6135bbbf8f989884f7cd3a6a528cf4ba1b3e3fe172125d05dbc726b24510f93","last_reissued_at":"2026-07-05T00:22:41.054211Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:22:41.054211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.00314","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:22:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zzeVGTt+5ABX0uTBLqjpxTG+swKx6oDxgztwaQxR7Ggyy8AExMa2CeIrU0zv5bfV7iM2LqsUEB0sA24ciREwDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T23:38:53.429193Z"},"content_sha256":"f210ff6e2636e31b2ab039290803fd4c2cf5e02c6cee98eef1c62cf9b9797a5e","schema_version":"1.0","event_id":"sha256:f210ff6e2636e31b2ab039290803fd4c2cf5e02c6cee98eef1c62cf9b9797a5e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:WYJVXO7Y7GEYQT342OTKKKGPJO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Multidimensional Verification: Where Functional Meets Non-Functional","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Jaan Raik, Maksim Jenihhin, Tara Ghasempouri, Xinhui Lai","submitted_at":"2019-08-01T10:33:46Z","abstract_excerpt":"Trends in advanced electronic systems' design have a notable impact on design verification technologies. The recent paradigms of Internet-of-Things (IoT) and Cyber-Physical Systems (CPS) assume devices immersed in physical environments, significantly constrained in resources and expected to provide levels of security, privacy, reliability, performance and low power features. In recent years, numerous extra-functional aspects of electronic systems were brought to the front and imply verification of hardware design models in multidimensional space along with the functional concerns of the target"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.00314","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.00314/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:22:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ga3ADxbDPhXLCqBMMjgFBcZh5cX3cgqjVhM9mOpP0WJq8cqMY1z0l51gfIdSlMBKKBDsuUJg6bx123xIfi5MDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T23:38:53.429702Z"},"content_sha256":"3e34efba25745a5297df0b86c854e4a611f1bd610a1dc1555e09d296e54c591a","schema_version":"1.0","event_id":"sha256:3e34efba25745a5297df0b86c854e4a611f1bd610a1dc1555e09d296e54c591a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WYJVXO7Y7GEYQT342OTKKKGPJO/bundle.json","state_url":"https://pith.science/pith/WYJVXO7Y7GEYQT342OTKKKGPJO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WYJVXO7Y7GEYQT342OTKKKGPJO/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-15T23:38:53Z","links":{"resolver":"https://pith.science/pith/WYJVXO7Y7GEYQT342OTKKKGPJO","bundle":"https://pith.science/pith/WYJVXO7Y7GEYQT342OTKKKGPJO/bundle.json","state":"https://pith.science/pith/WYJVXO7Y7GEYQT342OTKKKGPJO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WYJVXO7Y7GEYQT342OTKKKGPJO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:WYJVXO7Y7GEYQT342OTKKKGPJO","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":"6b77cfd7c9df32c74daaaece46a07732be04a8a63488e82c6578fee3773a745f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2019-08-01T10:33:46Z","title_canon_sha256":"46804e6817651e4df2778467a61610d62a7d55ee119ad503f1f108beaf8aba33"},"schema_version":"1.0","source":{"id":"1908.00314","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.00314","created_at":"2026-07-05T00:22:41Z"},{"alias_kind":"arxiv_version","alias_value":"1908.00314v1","created_at":"2026-07-05T00:22:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.00314","created_at":"2026-07-05T00:22:41Z"},{"alias_kind":"pith_short_12","alias_value":"WYJVXO7Y7GEY","created_at":"2026-07-05T00:22:41Z"},{"alias_kind":"pith_short_16","alias_value":"WYJVXO7Y7GEYQT34","created_at":"2026-07-05T00:22:41Z"},{"alias_kind":"pith_short_8","alias_value":"WYJVXO7Y","created_at":"2026-07-05T00:22:41Z"}],"graph_snapshots":[{"event_id":"sha256:3e34efba25745a5297df0b86c854e4a611f1bd610a1dc1555e09d296e54c591a","target":"graph","created_at":"2026-07-05T00:22:41Z","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.00314/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Trends in advanced electronic systems' design have a notable impact on design verification technologies. The recent paradigms of Internet-of-Things (IoT) and Cyber-Physical Systems (CPS) assume devices immersed in physical environments, significantly constrained in resources and expected to provide levels of security, privacy, reliability, performance and low power features. In recent years, numerous extra-functional aspects of electronic systems were brought to the front and imply verification of hardware design models in multidimensional space along with the functional concerns of the target","authors_text":"Jaan Raik, Maksim Jenihhin, Tara Ghasempouri, Xinhui Lai","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2019-08-01T10:33:46Z","title":"Towards Multidimensional Verification: Where Functional Meets Non-Functional"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.00314","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:f210ff6e2636e31b2ab039290803fd4c2cf5e02c6cee98eef1c62cf9b9797a5e","target":"record","created_at":"2026-07-05T00:22:41Z","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":"6b77cfd7c9df32c74daaaece46a07732be04a8a63488e82c6578fee3773a745f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2019-08-01T10:33:46Z","title_canon_sha256":"46804e6817651e4df2778467a61610d62a7d55ee119ad503f1f108beaf8aba33"},"schema_version":"1.0","source":{"id":"1908.00314","kind":"arxiv","version":1}},"canonical_sha256":"b6135bbbf8f989884f7cd3a6a528cf4ba1b3e3fe172125d05dbc726b24510f93","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6135bbbf8f989884f7cd3a6a528cf4ba1b3e3fe172125d05dbc726b24510f93","first_computed_at":"2026-07-05T00:22:41.054211Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:22:41.054211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MOEZ9Uhr5B6xw7mOFr/9/KY7N64pi9YEPcaW3jVSKgeBrUVyv/NKw2gU/KWWnqDMPgY8Nub4Gfith4WNrbQyDA==","signature_status":"signed_v1","signed_at":"2026-07-05T00:22:41.054649Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.00314","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f210ff6e2636e31b2ab039290803fd4c2cf5e02c6cee98eef1c62cf9b9797a5e","sha256:3e34efba25745a5297df0b86c854e4a611f1bd610a1dc1555e09d296e54c591a"],"state_sha256":"353dd138b617bf46c4024ca20e3f84b71617b0142130a1f84096f13ce276221a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bJmrW+OxxfrSiUgHb0CxwC56nR5SVvdlqt4e/NG1W+ovpAJ5SAv2YnEgTIMMOqQh1YVAkxrsaNk9J6aZlQsTAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T23:38:53.433298Z","bundle_sha256":"f2b21ae1cddfc00e76b0de28ad22ea9277f8a542ae2b6e016b04477aa8d0a46f"}}