{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:LKZKSZK6FTFOQTVNJYRHXAD75U","short_pith_number":"pith:LKZKSZK6","canonical_record":{"source":{"id":"2312.14541","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-22T09:10:14Z","cross_cats_sorted":[],"title_canon_sha256":"6711c5749464a721df50ec42b08f24064c0a814216a4d50edda82eff3ba93070","abstract_canon_sha256":"c3b52562ea72fb0b5865b356fae379c8d7b17d62e83ba964b33956b3960981ce"},"schema_version":"1.0"},"canonical_sha256":"5ab2a9655e2ccae84ead4e227b807fed0de62ccc3ea1c330f587fc2f3c6351a4","source":{"kind":"arxiv","id":"2312.14541","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.14541","created_at":"2026-07-05T07:27:16Z"},{"alias_kind":"arxiv_version","alias_value":"2312.14541v1","created_at":"2026-07-05T07:27:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.14541","created_at":"2026-07-05T07:27:16Z"},{"alias_kind":"pith_short_12","alias_value":"LKZKSZK6FTFO","created_at":"2026-07-05T07:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"LKZKSZK6FTFOQTVN","created_at":"2026-07-05T07:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"LKZKSZK6","created_at":"2026-07-05T07:27:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:LKZKSZK6FTFOQTVNJYRHXAD75U","target":"record","payload":{"canonical_record":{"source":{"id":"2312.14541","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-22T09:10:14Z","cross_cats_sorted":[],"title_canon_sha256":"6711c5749464a721df50ec42b08f24064c0a814216a4d50edda82eff3ba93070","abstract_canon_sha256":"c3b52562ea72fb0b5865b356fae379c8d7b17d62e83ba964b33956b3960981ce"},"schema_version":"1.0"},"canonical_sha256":"5ab2a9655e2ccae84ead4e227b807fed0de62ccc3ea1c330f587fc2f3c6351a4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:27:16.861264Z","signature_b64":"3cAZtUdM8sLRNo9iOu4b6yVylkkhqW3NZsKcaRptI4E5umvg+pml/DvHZZ1rqImh2Is83Ky4PzG1PUuQ07MyAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ab2a9655e2ccae84ead4e227b807fed0de62ccc3ea1c330f587fc2f3c6351a4","last_reissued_at":"2026-07-05T07:27:16.860810Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:27:16.860810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.14541","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-05T07:27:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dchn9SB+rMXqVmX6c6MlXz+8SnKji8XlwRBT38/EFAqbvLsjKQ9NKbgq0QTOe4SpaZCT9lnvnjcbVdVLklHlDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T10:26:59.393841Z"},"content_sha256":"82e584cae88a07d185b1e6dc1283f1a0f16c944a42350f6f8d49ad58eb6c2bb2","schema_version":"1.0","event_id":"sha256:82e584cae88a07d185b1e6dc1283f1a0f16c944a42350f6f8d49ad58eb6c2bb2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:LKZKSZK6FTFOQTVNJYRHXAD75U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"MEC: An Open-source Fine-grained Mapping Equivalence Checking Tool for FPGA","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Biwei Xie, Changhong Feng, Guojie Luo, Huawei Li, Jianhua Liu, Jiaxi Zhang, Liwei Ni, Xingquan Li, Zonglin Yang","submitted_at":"2023-12-22T09:10:14Z","abstract_excerpt":"Technology mapping is an essential step in EDA flow. However, the function of the circuit may be changed after technology mapping, and equivalence checking (EC) based verification is highly necessary. The traditional EC method has significant time and resource constraints, making it only feasible to carry out at a coarse-grained level. To make it efficient for technology mapping, we propose a fine-grained method called MEC, which leverages a combination of two approaches to significantly reduce the time cost of verification. The local block verification approach performs fast verification and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.14541","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/2312.14541/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-05T07:27:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qxRBd7OlDHrXH3GD6C3s0Zv5Dfqvw8Vguu4J/EHbMZzyPHt3skvSAZ6vyKhFkCrdAINHhyz7YYC+8JAA4Dj9Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T10:26:59.394362Z"},"content_sha256":"8b05485415b7252dc3711e9caa56b57f26106628db26323b99696f6fef550e06","schema_version":"1.0","event_id":"sha256:8b05485415b7252dc3711e9caa56b57f26106628db26323b99696f6fef550e06"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LKZKSZK6FTFOQTVNJYRHXAD75U/bundle.json","state_url":"https://pith.science/pith/LKZKSZK6FTFOQTVNJYRHXAD75U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LKZKSZK6FTFOQTVNJYRHXAD75U/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-15T10:26:59Z","links":{"resolver":"https://pith.science/pith/LKZKSZK6FTFOQTVNJYRHXAD75U","bundle":"https://pith.science/pith/LKZKSZK6FTFOQTVNJYRHXAD75U/bundle.json","state":"https://pith.science/pith/LKZKSZK6FTFOQTVNJYRHXAD75U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LKZKSZK6FTFOQTVNJYRHXAD75U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:LKZKSZK6FTFOQTVNJYRHXAD75U","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":"c3b52562ea72fb0b5865b356fae379c8d7b17d62e83ba964b33956b3960981ce","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-22T09:10:14Z","title_canon_sha256":"6711c5749464a721df50ec42b08f24064c0a814216a4d50edda82eff3ba93070"},"schema_version":"1.0","source":{"id":"2312.14541","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.14541","created_at":"2026-07-05T07:27:16Z"},{"alias_kind":"arxiv_version","alias_value":"2312.14541v1","created_at":"2026-07-05T07:27:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.14541","created_at":"2026-07-05T07:27:16Z"},{"alias_kind":"pith_short_12","alias_value":"LKZKSZK6FTFO","created_at":"2026-07-05T07:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"LKZKSZK6FTFOQTVN","created_at":"2026-07-05T07:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"LKZKSZK6","created_at":"2026-07-05T07:27:16Z"}],"graph_snapshots":[{"event_id":"sha256:8b05485415b7252dc3711e9caa56b57f26106628db26323b99696f6fef550e06","target":"graph","created_at":"2026-07-05T07:27:16Z","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/2312.14541/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Technology mapping is an essential step in EDA flow. However, the function of the circuit may be changed after technology mapping, and equivalence checking (EC) based verification is highly necessary. The traditional EC method has significant time and resource constraints, making it only feasible to carry out at a coarse-grained level. To make it efficient for technology mapping, we propose a fine-grained method called MEC, which leverages a combination of two approaches to significantly reduce the time cost of verification. The local block verification approach performs fast verification and ","authors_text":"Biwei Xie, Changhong Feng, Guojie Luo, Huawei Li, Jianhua Liu, Jiaxi Zhang, Liwei Ni, Xingquan Li, Zonglin Yang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-22T09:10:14Z","title":"MEC: An Open-source Fine-grained Mapping Equivalence Checking Tool for FPGA"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.14541","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:82e584cae88a07d185b1e6dc1283f1a0f16c944a42350f6f8d49ad58eb6c2bb2","target":"record","created_at":"2026-07-05T07:27:16Z","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":"c3b52562ea72fb0b5865b356fae379c8d7b17d62e83ba964b33956b3960981ce","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-22T09:10:14Z","title_canon_sha256":"6711c5749464a721df50ec42b08f24064c0a814216a4d50edda82eff3ba93070"},"schema_version":"1.0","source":{"id":"2312.14541","kind":"arxiv","version":1}},"canonical_sha256":"5ab2a9655e2ccae84ead4e227b807fed0de62ccc3ea1c330f587fc2f3c6351a4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5ab2a9655e2ccae84ead4e227b807fed0de62ccc3ea1c330f587fc2f3c6351a4","first_computed_at":"2026-07-05T07:27:16.860810Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:27:16.860810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3cAZtUdM8sLRNo9iOu4b6yVylkkhqW3NZsKcaRptI4E5umvg+pml/DvHZZ1rqImh2Is83Ky4PzG1PUuQ07MyAw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:27:16.861264Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.14541","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:82e584cae88a07d185b1e6dc1283f1a0f16c944a42350f6f8d49ad58eb6c2bb2","sha256:8b05485415b7252dc3711e9caa56b57f26106628db26323b99696f6fef550e06"],"state_sha256":"94dfd9d20aabbd3080b8f14e7d1f63215da7b74d950554ef88238c15041f0637"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nh5NxgE97VFVvkUo7iPaF9ZJAOlTRyJlMc3ntedu7WzAkmNnrSuQe7vXjJNmK65d5zANSTAhPgzfmgi+SgkXDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T10:26:59.399960Z","bundle_sha256":"2ec067f8fa2a9e69b3e2edd29b02ec7dea7e9ec58b3d0288a1eb2802db7fd891"}}