{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:BMNOLL5RUCR4WGMXB6GQQOO4PF","short_pith_number":"pith:BMNOLL5R","canonical_record":{"source":{"id":"2406.00542","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-06-01T19:41:56Z","cross_cats_sorted":[],"title_canon_sha256":"e73c013039ffe3702172b4f217191666042dc6762bcbd13d4b74021e3be743db","abstract_canon_sha256":"c2b15d825aa00aa5bb86253660023150b1a85a4dd1c3d0f8dfebd9ebab64e16b"},"schema_version":"1.0"},"canonical_sha256":"0b1ae5afb1a0a3cb19970f8d0839dc795c46764b120568351b216160b47b752e","source":{"kind":"arxiv","id":"2406.00542","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.00542","created_at":"2026-07-05T08:26:03Z"},{"alias_kind":"arxiv_version","alias_value":"2406.00542v1","created_at":"2026-07-05T08:26:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.00542","created_at":"2026-07-05T08:26:03Z"},{"alias_kind":"pith_short_12","alias_value":"BMNOLL5RUCR4","created_at":"2026-07-05T08:26:03Z"},{"alias_kind":"pith_short_16","alias_value":"BMNOLL5RUCR4WGMX","created_at":"2026-07-05T08:26:03Z"},{"alias_kind":"pith_short_8","alias_value":"BMNOLL5R","created_at":"2026-07-05T08:26:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:BMNOLL5RUCR4WGMXB6GQQOO4PF","target":"record","payload":{"canonical_record":{"source":{"id":"2406.00542","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-06-01T19:41:56Z","cross_cats_sorted":[],"title_canon_sha256":"e73c013039ffe3702172b4f217191666042dc6762bcbd13d4b74021e3be743db","abstract_canon_sha256":"c2b15d825aa00aa5bb86253660023150b1a85a4dd1c3d0f8dfebd9ebab64e16b"},"schema_version":"1.0"},"canonical_sha256":"0b1ae5afb1a0a3cb19970f8d0839dc795c46764b120568351b216160b47b752e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:26:03.383958Z","signature_b64":"aYFmWqSmd+TqXVzngrRH/wsQiZl3n0E1US/MEgDCcS4/xXuB7eb/tCW2jZ4x6DL0I+a6oNzw1xcsXzVDTHimBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b1ae5afb1a0a3cb19970f8d0839dc795c46764b120568351b216160b47b752e","last_reissued_at":"2026-07-05T08:26:03.383522Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:26:03.383522Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.00542","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-05T08:26:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/yyzOYuZjUztqcXYQXv6URElI/OQfqPjbU6mwWViSGIqAWNGBc1K56X4RxIdgj9KcoC+iF6bU5BE58aZ0llsAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T17:06:28.280040Z"},"content_sha256":"f1e30d53d46ebc563a81df4fff4d0a478b2a16827edf80e39678ffb37938308b","schema_version":"1.0","event_id":"sha256:f1e30d53d46ebc563a81df4fff4d0a478b2a16827edf80e39678ffb37938308b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:BMNOLL5RUCR4WGMXB6GQQOO4PF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Automated Validation Framework for Power Management and Data Retention Logic Kits of Standard Cell Library","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Akshay Karkal Kamath, Bharath Kumar, Debi Prasanna, Parag Lonkar, Somasunder Sreenath, Subramanian Parameswaran, Sunil Aggarwal","submitted_at":"2024-06-01T19:41:56Z","abstract_excerpt":"The development of a standard cell library involves characterization of a number of gate-level circuits at various cell-level abstractions. Verifying the behavior of these cells largely depends on the manual skills of the circuit designers. Especially challenging are the power management and data retention cells which must be checked thoroughly for voltage and power configurations in addition to their logic functionality. Also, when standard cells are extracted into various models, any inconsistencies in these models typically goes unchecked during library development. Thus, validating these c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.00542","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/2406.00542/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-05T08:26:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AW0NeU7nPQf/aKdhol7K+skAOLPqytMswti20olykEXZfFL/uc4vIex1Pf5C2Hgyt4gFPE+LAQuU3BpAC83sDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T17:06:28.280407Z"},"content_sha256":"6845df6dcb2fcc7374a5f982d0a8075f5cd73fe2afbd17318f3e773a43ceef1b","schema_version":"1.0","event_id":"sha256:6845df6dcb2fcc7374a5f982d0a8075f5cd73fe2afbd17318f3e773a43ceef1b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BMNOLL5RUCR4WGMXB6GQQOO4PF/bundle.json","state_url":"https://pith.science/pith/BMNOLL5RUCR4WGMXB6GQQOO4PF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BMNOLL5RUCR4WGMXB6GQQOO4PF/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-19T17:06:28Z","links":{"resolver":"https://pith.science/pith/BMNOLL5RUCR4WGMXB6GQQOO4PF","bundle":"https://pith.science/pith/BMNOLL5RUCR4WGMXB6GQQOO4PF/bundle.json","state":"https://pith.science/pith/BMNOLL5RUCR4WGMXB6GQQOO4PF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BMNOLL5RUCR4WGMXB6GQQOO4PF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:BMNOLL5RUCR4WGMXB6GQQOO4PF","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":"c2b15d825aa00aa5bb86253660023150b1a85a4dd1c3d0f8dfebd9ebab64e16b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-06-01T19:41:56Z","title_canon_sha256":"e73c013039ffe3702172b4f217191666042dc6762bcbd13d4b74021e3be743db"},"schema_version":"1.0","source":{"id":"2406.00542","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.00542","created_at":"2026-07-05T08:26:03Z"},{"alias_kind":"arxiv_version","alias_value":"2406.00542v1","created_at":"2026-07-05T08:26:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.00542","created_at":"2026-07-05T08:26:03Z"},{"alias_kind":"pith_short_12","alias_value":"BMNOLL5RUCR4","created_at":"2026-07-05T08:26:03Z"},{"alias_kind":"pith_short_16","alias_value":"BMNOLL5RUCR4WGMX","created_at":"2026-07-05T08:26:03Z"},{"alias_kind":"pith_short_8","alias_value":"BMNOLL5R","created_at":"2026-07-05T08:26:03Z"}],"graph_snapshots":[{"event_id":"sha256:6845df6dcb2fcc7374a5f982d0a8075f5cd73fe2afbd17318f3e773a43ceef1b","target":"graph","created_at":"2026-07-05T08:26:03Z","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/2406.00542/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The development of a standard cell library involves characterization of a number of gate-level circuits at various cell-level abstractions. Verifying the behavior of these cells largely depends on the manual skills of the circuit designers. Especially challenging are the power management and data retention cells which must be checked thoroughly for voltage and power configurations in addition to their logic functionality. Also, when standard cells are extracted into various models, any inconsistencies in these models typically goes unchecked during library development. Thus, validating these c","authors_text":"Akshay Karkal Kamath, Bharath Kumar, Debi Prasanna, Parag Lonkar, Somasunder Sreenath, Subramanian Parameswaran, Sunil Aggarwal","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-06-01T19:41:56Z","title":"An Automated Validation Framework for Power Management and Data Retention Logic Kits of Standard Cell Library"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.00542","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:f1e30d53d46ebc563a81df4fff4d0a478b2a16827edf80e39678ffb37938308b","target":"record","created_at":"2026-07-05T08:26:03Z","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":"c2b15d825aa00aa5bb86253660023150b1a85a4dd1c3d0f8dfebd9ebab64e16b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-06-01T19:41:56Z","title_canon_sha256":"e73c013039ffe3702172b4f217191666042dc6762bcbd13d4b74021e3be743db"},"schema_version":"1.0","source":{"id":"2406.00542","kind":"arxiv","version":1}},"canonical_sha256":"0b1ae5afb1a0a3cb19970f8d0839dc795c46764b120568351b216160b47b752e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b1ae5afb1a0a3cb19970f8d0839dc795c46764b120568351b216160b47b752e","first_computed_at":"2026-07-05T08:26:03.383522Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:26:03.383522Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aYFmWqSmd+TqXVzngrRH/wsQiZl3n0E1US/MEgDCcS4/xXuB7eb/tCW2jZ4x6DL0I+a6oNzw1xcsXzVDTHimBw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:26:03.383958Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.00542","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f1e30d53d46ebc563a81df4fff4d0a478b2a16827edf80e39678ffb37938308b","sha256:6845df6dcb2fcc7374a5f982d0a8075f5cd73fe2afbd17318f3e773a43ceef1b"],"state_sha256":"6c1e14b6a93de34c8df3cedc5803fc6b2e92e4124f1d497ec7ad69d5dc6b1428"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ypWIg9gLOAgndCZvJts29+R91/34ZwgO2B5wZv1s71M5kZBZyDxiAm/8vljOUDZ9sNlAMl7etG87IS26XyEzDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T17:06:28.284116Z","bundle_sha256":"8a0be5f7c0cee5c49955f23a2115e98d80c836955c4926effc5dd5054550a396"}}