{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:TT3MT6VQAYLXZ4DH6BF2L7GE77","short_pith_number":"pith:TT3MT6VQ","canonical_record":{"source":{"id":"1903.07025","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2019-03-17T04:36:06Z","cross_cats_sorted":[],"title_canon_sha256":"f38b63403b6b4b79aab2c7f79eccbc28b48f0e11e444c4cbbc36fbb259739ea0","abstract_canon_sha256":"b31f2a27573954f9e3606900f18a8ba58af33cc9de75ec028eb2a7c6a17d8f76"},"schema_version":"1.0"},"canonical_sha256":"9cf6c9fab006177cf067f04ba5fcc4ffdabb0ce42f3a94f0f72ae0e8903342b7","source":{"kind":"arxiv","id":"1903.07025","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.07025","created_at":"2026-05-17T23:51:04Z"},{"alias_kind":"arxiv_version","alias_value":"1903.07025v1","created_at":"2026-05-17T23:51:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.07025","created_at":"2026-05-17T23:51:04Z"},{"alias_kind":"pith_short_12","alias_value":"TT3MT6VQAYLX","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TT3MT6VQAYLXZ4DH","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TT3MT6VQ","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:TT3MT6VQAYLXZ4DH6BF2L7GE77","target":"record","payload":{"canonical_record":{"source":{"id":"1903.07025","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2019-03-17T04:36:06Z","cross_cats_sorted":[],"title_canon_sha256":"f38b63403b6b4b79aab2c7f79eccbc28b48f0e11e444c4cbbc36fbb259739ea0","abstract_canon_sha256":"b31f2a27573954f9e3606900f18a8ba58af33cc9de75ec028eb2a7c6a17d8f76"},"schema_version":"1.0"},"canonical_sha256":"9cf6c9fab006177cf067f04ba5fcc4ffdabb0ce42f3a94f0f72ae0e8903342b7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:04.505664Z","signature_b64":"ZXYiPTyH4UmQ1xRF1D+ioReSaBN9wzR5n5V43Jl3+ew0otoZMeP02+zxCp4yCqtx00dSOgVH4/kWx45bkeSeDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9cf6c9fab006177cf067f04ba5fcc4ffdabb0ce42f3a94f0f72ae0e8903342b7","last_reissued_at":"2026-05-17T23:51:04.505138Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:04.505138Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.07025","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-17T23:51:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J/YxqurHzH8GlVe1nvNbBBB52oU/kZy6A4eq9IV1QOrJ9G3OTOo9oCQKUh2aTf4+WPYlote/8AoHwqAsL2VlCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:16:53.062015Z"},"content_sha256":"225eeb94d038be79d31e7300b58a961102ba688a3970a7035d6e99e70ec3f4d9","schema_version":"1.0","event_id":"sha256:225eeb94d038be79d31e7300b58a961102ba688a3970a7035d6e99e70ec3f4d9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:TT3MT6VQAYLXZ4DH6BF2L7GE77","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VeriSFQ - A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.ET","authors_text":"Alvin D. Wong, Arash Fayyazi, Hang Sun, Kevin Su, Massoud Pedram, Shahin Nazarian","submitted_at":"2019-03-17T04:36:06Z","abstract_excerpt":"In this paper, we propose a semi-formal verification framework for single-flux quantum (SFQ) circuits called VeriSFQ, using the Universal Verification Methodology (UVM) standard. The considered SFQ technology is superconducting digital electronic devices that operate at cryogenic temperatures with active circuit elements called the Josephson junction, which operate at high switching speeds and low switching energy - allowing SFQ circuits to operate at frequencies over 300 gigahertz. Due to key differences between SFQ and CMOS logic, verification techniques for the former are not as advanced as"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.07025","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-17T23:51:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WTwa9hfAZU8RvZkRbK0lnZ+HUKZxAl2q3GamqcBmLOr3Hbp6YnGp/K8q+2ofP/wPoLzxDjOQV04rRCtbK4NGBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:16:53.062733Z"},"content_sha256":"a4b3ee66baeea1a798c3ff8ffac6bd3b66e090ef245dab58572ba40b959175c9","schema_version":"1.0","event_id":"sha256:a4b3ee66baeea1a798c3ff8ffac6bd3b66e090ef245dab58572ba40b959175c9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TT3MT6VQAYLXZ4DH6BF2L7GE77/bundle.json","state_url":"https://pith.science/pith/TT3MT6VQAYLXZ4DH6BF2L7GE77/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TT3MT6VQAYLXZ4DH6BF2L7GE77/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-28T20:16:53Z","links":{"resolver":"https://pith.science/pith/TT3MT6VQAYLXZ4DH6BF2L7GE77","bundle":"https://pith.science/pith/TT3MT6VQAYLXZ4DH6BF2L7GE77/bundle.json","state":"https://pith.science/pith/TT3MT6VQAYLXZ4DH6BF2L7GE77/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TT3MT6VQAYLXZ4DH6BF2L7GE77/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TT3MT6VQAYLXZ4DH6BF2L7GE77","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":"b31f2a27573954f9e3606900f18a8ba58af33cc9de75ec028eb2a7c6a17d8f76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2019-03-17T04:36:06Z","title_canon_sha256":"f38b63403b6b4b79aab2c7f79eccbc28b48f0e11e444c4cbbc36fbb259739ea0"},"schema_version":"1.0","source":{"id":"1903.07025","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.07025","created_at":"2026-05-17T23:51:04Z"},{"alias_kind":"arxiv_version","alias_value":"1903.07025v1","created_at":"2026-05-17T23:51:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.07025","created_at":"2026-05-17T23:51:04Z"},{"alias_kind":"pith_short_12","alias_value":"TT3MT6VQAYLX","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TT3MT6VQAYLXZ4DH","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TT3MT6VQ","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:a4b3ee66baeea1a798c3ff8ffac6bd3b66e090ef245dab58572ba40b959175c9","target":"graph","created_at":"2026-05-17T23:51:04Z","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":"In this paper, we propose a semi-formal verification framework for single-flux quantum (SFQ) circuits called VeriSFQ, using the Universal Verification Methodology (UVM) standard. The considered SFQ technology is superconducting digital electronic devices that operate at cryogenic temperatures with active circuit elements called the Josephson junction, which operate at high switching speeds and low switching energy - allowing SFQ circuits to operate at frequencies over 300 gigahertz. Due to key differences between SFQ and CMOS logic, verification techniques for the former are not as advanced as","authors_text":"Alvin D. Wong, Arash Fayyazi, Hang Sun, Kevin Su, Massoud Pedram, Shahin Nazarian","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2019-03-17T04:36:06Z","title":"VeriSFQ - A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.07025","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:225eeb94d038be79d31e7300b58a961102ba688a3970a7035d6e99e70ec3f4d9","target":"record","created_at":"2026-05-17T23:51:04Z","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":"b31f2a27573954f9e3606900f18a8ba58af33cc9de75ec028eb2a7c6a17d8f76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2019-03-17T04:36:06Z","title_canon_sha256":"f38b63403b6b4b79aab2c7f79eccbc28b48f0e11e444c4cbbc36fbb259739ea0"},"schema_version":"1.0","source":{"id":"1903.07025","kind":"arxiv","version":1}},"canonical_sha256":"9cf6c9fab006177cf067f04ba5fcc4ffdabb0ce42f3a94f0f72ae0e8903342b7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9cf6c9fab006177cf067f04ba5fcc4ffdabb0ce42f3a94f0f72ae0e8903342b7","first_computed_at":"2026-05-17T23:51:04.505138Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:04.505138Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZXYiPTyH4UmQ1xRF1D+ioReSaBN9wzR5n5V43Jl3+ew0otoZMeP02+zxCp4yCqtx00dSOgVH4/kWx45bkeSeDQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:04.505664Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.07025","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:225eeb94d038be79d31e7300b58a961102ba688a3970a7035d6e99e70ec3f4d9","sha256:a4b3ee66baeea1a798c3ff8ffac6bd3b66e090ef245dab58572ba40b959175c9"],"state_sha256":"4cb8c9ce1ae155f24aa26faf7c5a0570fd995adb21ae0bb2eb86443ce386ca0e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JkOd3kY4erpS9WllK3PY/k36aa9y/R+UCXPtb43A43qj8frc92aUMQuox+zleusG4HoDbOJY4TCsRARLJ+S9DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T20:16:53.066416Z","bundle_sha256":"deaf2c8aac8b5e22c3a15324d07d857e7e86491d843480f0a72b645f5432ec36"}}