{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:SVVHQSPCNIYBPLULZMVWSJJVSE","short_pith_number":"pith:SVVHQSPC","canonical_record":{"source":{"id":"2203.05516","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2022-03-10T18:08:57Z","cross_cats_sorted":[],"title_canon_sha256":"e5b9eaa46d84a8dbeaf5dce6f23276cbe06bf1e22c0c1f8d63f64c9d6e0fe2d7","abstract_canon_sha256":"e7584ea2f4c62aa0cee71f0a114c485cc1c8efee7c2bff8a4f0e9200cf347d26"},"schema_version":"1.0"},"canonical_sha256":"956a7849e26a3017ae8bcb2b692535910075ce5c3cce3323a95c2f1853df8313","source":{"kind":"arxiv","id":"2203.05516","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.05516","created_at":"2026-07-05T04:03:42Z"},{"alias_kind":"arxiv_version","alias_value":"2203.05516v1","created_at":"2026-07-05T04:03:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.05516","created_at":"2026-07-05T04:03:42Z"},{"alias_kind":"pith_short_12","alias_value":"SVVHQSPCNIYB","created_at":"2026-07-05T04:03:42Z"},{"alias_kind":"pith_short_16","alias_value":"SVVHQSPCNIYBPLUL","created_at":"2026-07-05T04:03:42Z"},{"alias_kind":"pith_short_8","alias_value":"SVVHQSPC","created_at":"2026-07-05T04:03:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:SVVHQSPCNIYBPLULZMVWSJJVSE","target":"record","payload":{"canonical_record":{"source":{"id":"2203.05516","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2022-03-10T18:08:57Z","cross_cats_sorted":[],"title_canon_sha256":"e5b9eaa46d84a8dbeaf5dce6f23276cbe06bf1e22c0c1f8d63f64c9d6e0fe2d7","abstract_canon_sha256":"e7584ea2f4c62aa0cee71f0a114c485cc1c8efee7c2bff8a4f0e9200cf347d26"},"schema_version":"1.0"},"canonical_sha256":"956a7849e26a3017ae8bcb2b692535910075ce5c3cce3323a95c2f1853df8313","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:03:42.254197Z","signature_b64":"JThlMrOFReA8pmpoGBOLkuLftB6RYdX4kVKnRoWNhumvK/fPDbLcz8kjBh0AxLzqDCzm5TX8iNgZSg4yX6uaDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"956a7849e26a3017ae8bcb2b692535910075ce5c3cce3323a95c2f1853df8313","last_reissued_at":"2026-07-05T04:03:42.253861Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:03:42.253861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2203.05516","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-05T04:03:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dhy9K4AbN9tKv6qtvn0nWHnKInJ1nqyR0xx5JyjsqT5BaEKW8P4ijq3CJNJwcpdoPe6X0Wml+kEvH41BdBdRAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T13:57:32.071555Z"},"content_sha256":"296e52f124c2bcbe545c022dc289ff68f94fda83ce0539a29fb45427e62fa804","schema_version":"1.0","event_id":"sha256:296e52f124c2bcbe545c022dc289ff68f94fda83ce0539a29fb45427e62fa804"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:SVVHQSPCNIYBPLULZMVWSJJVSE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VirtualSync+: Timing Optimization with Virtual Synchronization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Bing Li, Cheng Zhuo, Grace Li Zhang, Masanori Hashimoto, Ulf Schlichtmann, Xing Huang, Xunzhao Yin","submitted_at":"2022-03-10T18:08:57Z","abstract_excerpt":"In digital circuit designs, sequential components such as flip-flops are used to synchronize signal propagations. Logic computations are aligned at and thus isolated by flip-flop stages. Although this fully synchronous style can reduce design efforts significantly, it may affect circuit performance negatively, because sequential components can only introduce delays into signal propagations but never accelerate them. In this paper, we propose a new timing model, VirtualSync+, in which signals, specially those along critical paths, are allowed to propagate through several sequential stages witho"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.05516","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/2203.05516/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-05T04:03:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"odqKTci4r3t41KElzkfLeYVhexauODquJAQBFL8cZ0WLqdcxrBRqwGW6Pwzq3KKyb3KD3cKUKnT14vIg9k8XBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T13:57:32.072473Z"},"content_sha256":"02c77fdca52666ecb8024c6ef2c27dbc22f1395a152b4b4ebef47a7a0b6b4619","schema_version":"1.0","event_id":"sha256:02c77fdca52666ecb8024c6ef2c27dbc22f1395a152b4b4ebef47a7a0b6b4619"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SVVHQSPCNIYBPLULZMVWSJJVSE/bundle.json","state_url":"https://pith.science/pith/SVVHQSPCNIYBPLULZMVWSJJVSE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SVVHQSPCNIYBPLULZMVWSJJVSE/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-18T13:57:32Z","links":{"resolver":"https://pith.science/pith/SVVHQSPCNIYBPLULZMVWSJJVSE","bundle":"https://pith.science/pith/SVVHQSPCNIYBPLULZMVWSJJVSE/bundle.json","state":"https://pith.science/pith/SVVHQSPCNIYBPLULZMVWSJJVSE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SVVHQSPCNIYBPLULZMVWSJJVSE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:SVVHQSPCNIYBPLULZMVWSJJVSE","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":"e7584ea2f4c62aa0cee71f0a114c485cc1c8efee7c2bff8a4f0e9200cf347d26","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2022-03-10T18:08:57Z","title_canon_sha256":"e5b9eaa46d84a8dbeaf5dce6f23276cbe06bf1e22c0c1f8d63f64c9d6e0fe2d7"},"schema_version":"1.0","source":{"id":"2203.05516","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.05516","created_at":"2026-07-05T04:03:42Z"},{"alias_kind":"arxiv_version","alias_value":"2203.05516v1","created_at":"2026-07-05T04:03:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.05516","created_at":"2026-07-05T04:03:42Z"},{"alias_kind":"pith_short_12","alias_value":"SVVHQSPCNIYB","created_at":"2026-07-05T04:03:42Z"},{"alias_kind":"pith_short_16","alias_value":"SVVHQSPCNIYBPLUL","created_at":"2026-07-05T04:03:42Z"},{"alias_kind":"pith_short_8","alias_value":"SVVHQSPC","created_at":"2026-07-05T04:03:42Z"}],"graph_snapshots":[{"event_id":"sha256:02c77fdca52666ecb8024c6ef2c27dbc22f1395a152b4b4ebef47a7a0b6b4619","target":"graph","created_at":"2026-07-05T04:03:42Z","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/2203.05516/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In digital circuit designs, sequential components such as flip-flops are used to synchronize signal propagations. Logic computations are aligned at and thus isolated by flip-flop stages. Although this fully synchronous style can reduce design efforts significantly, it may affect circuit performance negatively, because sequential components can only introduce delays into signal propagations but never accelerate them. In this paper, we propose a new timing model, VirtualSync+, in which signals, specially those along critical paths, are allowed to propagate through several sequential stages witho","authors_text":"Bing Li, Cheng Zhuo, Grace Li Zhang, Masanori Hashimoto, Ulf Schlichtmann, Xing Huang, Xunzhao Yin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2022-03-10T18:08:57Z","title":"VirtualSync+: Timing Optimization with Virtual Synchronization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.05516","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:296e52f124c2bcbe545c022dc289ff68f94fda83ce0539a29fb45427e62fa804","target":"record","created_at":"2026-07-05T04:03:42Z","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":"e7584ea2f4c62aa0cee71f0a114c485cc1c8efee7c2bff8a4f0e9200cf347d26","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2022-03-10T18:08:57Z","title_canon_sha256":"e5b9eaa46d84a8dbeaf5dce6f23276cbe06bf1e22c0c1f8d63f64c9d6e0fe2d7"},"schema_version":"1.0","source":{"id":"2203.05516","kind":"arxiv","version":1}},"canonical_sha256":"956a7849e26a3017ae8bcb2b692535910075ce5c3cce3323a95c2f1853df8313","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"956a7849e26a3017ae8bcb2b692535910075ce5c3cce3323a95c2f1853df8313","first_computed_at":"2026-07-05T04:03:42.253861Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:03:42.253861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JThlMrOFReA8pmpoGBOLkuLftB6RYdX4kVKnRoWNhumvK/fPDbLcz8kjBh0AxLzqDCzm5TX8iNgZSg4yX6uaDA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:03:42.254197Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.05516","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:296e52f124c2bcbe545c022dc289ff68f94fda83ce0539a29fb45427e62fa804","sha256:02c77fdca52666ecb8024c6ef2c27dbc22f1395a152b4b4ebef47a7a0b6b4619"],"state_sha256":"2cd0bfd9a868e2236c2be0a11592310e04efc98cb529e87e11bb52cffec4fc33"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8j344yrhC4A4VrEBCLSLMiTpp2pjXaqkVicidALXHqTi1Z+5XNU4GSkVzUrQxDmhx9imMUayfj6BLgNr4PXFBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T13:57:32.077923Z","bundle_sha256":"e9e6e31aa0bbd9d04ff137bce832d279b9d6261b054436a18da9f2068ec630ce"}}