{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:TXW5KB2DL3DCPHDCCI7NRTZAWH","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":"29a9d95cf27438f271cc7401513d81944407ee720d5b17f94cca30ce7c2cb2a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2017-05-14T15:49:14Z","title_canon_sha256":"c4abf450c5ddac1916de1ba8bbde71fc779e8b98614e592a24b667c509a33694"},"schema_version":"1.0","source":{"id":"1705.04981","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.04981","created_at":"2026-05-18T00:44:34Z"},{"alias_kind":"arxiv_version","alias_value":"1705.04981v1","created_at":"2026-05-18T00:44:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.04981","created_at":"2026-05-18T00:44:34Z"},{"alias_kind":"pith_short_12","alias_value":"TXW5KB2DL3DC","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"TXW5KB2DL3DCPHDC","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"TXW5KB2D","created_at":"2026-05-18T12:31:46Z"}],"graph_snapshots":[{"event_id":"sha256:c039b787b90955b7e074f998da7305ceb059699318217728ae516eb8880cd77d","target":"graph","created_at":"2026-05-18T00:44:34Z","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 investigate the challenges to apply Statistical Static Timing Analysis (SSTA) in hierarchical design flow, where modules supplied by IP vendors are used to hide design details for IP protection and to reduce the complexity of design and verification. For the three basic circuit types, combinational, flip-flop-based and latch-controlled, we propose methods to extract timing models which contain interfacing as well as compressed internal constraints. Using these compact timing models the runtime of full-chip timing analysis can be reduced, while circuit details from IP vendors ","authors_text":"Bing Li, Ning Chen, Ulf Schlichtmann, Yang Xu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2017-05-14T15:49:14Z","title":"On Timing Model Extraction and Hierarchical Statistical Timing Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.04981","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:b0cd0016efefde0d4f79da8dfab3bcf31db3259722e55aa1842063a6a9661d09","target":"record","created_at":"2026-05-18T00:44:34Z","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":"29a9d95cf27438f271cc7401513d81944407ee720d5b17f94cca30ce7c2cb2a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2017-05-14T15:49:14Z","title_canon_sha256":"c4abf450c5ddac1916de1ba8bbde71fc779e8b98614e592a24b667c509a33694"},"schema_version":"1.0","source":{"id":"1705.04981","kind":"arxiv","version":1}},"canonical_sha256":"9dedd507435ec6279c62123ed8cf20b1cf028b87733a633cdb4ed17120fc4c05","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9dedd507435ec6279c62123ed8cf20b1cf028b87733a633cdb4ed17120fc4c05","first_computed_at":"2026-05-18T00:44:34.141498Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:34.141498Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cud4/4Wirv09zJ1kEAD/K4OHzlHA6cgniLnvn0Qu0ZHhTrytx1O+UcFD7qfp8jF9f4iDX1EfPc0FMOpKwfLNAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:34.141937Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.04981","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b0cd0016efefde0d4f79da8dfab3bcf31db3259722e55aa1842063a6a9661d09","sha256:c039b787b90955b7e074f998da7305ceb059699318217728ae516eb8880cd77d"],"state_sha256":"c1dbf84eda1cadc4decaefb6edeefb186529e801f3f1f9bc481209072b49807b"}