{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:QIIBXIDQSVSKU6UPC2GHLEWPRR","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":"10f73c5a2091b72e67042456b479f76213c8ca9822d73205c0d072296602ba3b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2011-10-26T17:38:54Z","title_canon_sha256":"c727c33410730b4bb30f9804a59210ccb67b4419e69ea3a97e0ff0f5e18b2a64"},"schema_version":"1.0","source":{"id":"1110.6105","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.6105","created_at":"2026-05-18T04:10:09Z"},{"alias_kind":"arxiv_version","alias_value":"1110.6105v1","created_at":"2026-05-18T04:10:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.6105","created_at":"2026-05-18T04:10:09Z"},{"alias_kind":"pith_short_12","alias_value":"QIIBXIDQSVSK","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"QIIBXIDQSVSKU6UP","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"QIIBXIDQ","created_at":"2026-05-18T12:26:39Z"}],"graph_snapshots":[{"event_id":"sha256:ab32ca3a019a4e3be5f2825ddb41f4d1bc378c92bd68c1db6db2a576f219eab9","target":"graph","created_at":"2026-05-18T04:10:09Z","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":"For Application Specific Integrated Circuits (ASIC) and System-on-Chip (SOC) designs, Cell - Based Design (CBD) is the most prevalent practice as it guarantees a shorter design cycle, minimizes errors and is easier to maintain. In modern ASIC design, standard cell methodology is practiced with sizable libraries of cells, each containing multiple implementations of the same logic functionality, in order to give the designer differing options based on area, speed or power consumption. For such library cells, thorough verification of functionality and timing is crucial for the overall success of ","authors_text":"Nandakumar G.N, Santanu Bhowmick, S. Bhattacherjee","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2011-10-26T17:38:54Z","title":"Generation of Test Vectors for Sequential Cell Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.6105","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:783e2b56c185861f1f521b7ec1ae18f90f8e2bfa33ef03f2795f5be5eec2d663","target":"record","created_at":"2026-05-18T04:10:09Z","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":"10f73c5a2091b72e67042456b479f76213c8ca9822d73205c0d072296602ba3b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2011-10-26T17:38:54Z","title_canon_sha256":"c727c33410730b4bb30f9804a59210ccb67b4419e69ea3a97e0ff0f5e18b2a64"},"schema_version":"1.0","source":{"id":"1110.6105","kind":"arxiv","version":1}},"canonical_sha256":"82101ba0709564aa7a8f168c7592cf8c6525933ec243288d154343f0a542bdbb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"82101ba0709564aa7a8f168c7592cf8c6525933ec243288d154343f0a542bdbb","first_computed_at":"2026-05-18T04:10:09.618959Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:10:09.618959Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dNHRES4retnhPF+v0hTJyHenCamg+J5i1uvmWyqpOPCtZCh6ykmJX4GS2Ua0T3FWGntnbZOK6xFjoRVsy3sLDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:10:09.619794Z","signed_message":"canonical_sha256_bytes"},"source_id":"1110.6105","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:783e2b56c185861f1f521b7ec1ae18f90f8e2bfa33ef03f2795f5be5eec2d663","sha256:ab32ca3a019a4e3be5f2825ddb41f4d1bc378c92bd68c1db6db2a576f219eab9"],"state_sha256":"bf242116b4b9cf4af18aff0d7e316daf34db8c87b36dd0c3ed3e2c71ef07f32b"}