{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NXW5DY5TZHCK6O6C2OAIIXORCN","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":"aa7d42f07713116ab607168820f7678a7dd3539331453d6a22eba82a312af064","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-01-01T18:40:05Z","title_canon_sha256":"086d301e4ee719c8a7556fd5efb3bc081646140262721d5aad42a1e6d3ea80d5"},"schema_version":"1.0","source":{"id":"2501.00921","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.00921","created_at":"2026-07-05T09:56:12Z"},{"alias_kind":"arxiv_version","alias_value":"2501.00921v1","created_at":"2026-07-05T09:56:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.00921","created_at":"2026-07-05T09:56:12Z"},{"alias_kind":"pith_short_12","alias_value":"NXW5DY5TZHCK","created_at":"2026-07-05T09:56:12Z"},{"alias_kind":"pith_short_16","alias_value":"NXW5DY5TZHCK6O6C","created_at":"2026-07-05T09:56:12Z"},{"alias_kind":"pith_short_8","alias_value":"NXW5DY5T","created_at":"2026-07-05T09:56:12Z"}],"graph_snapshots":[{"event_id":"sha256:4fd80673406c3dc4f2c28290f37ad13d62a33aa4ba6dc1357c1a464ee241b26f","target":"graph","created_at":"2026-07-05T09:56:12Z","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/2501.00921/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In current chip design processes, using multiple tools to obtain a gate-level netlist often results in the loss of source code correlation. SynAlign addresses this challenge by automating the alignment process, simplifying iterative design, reducing overhead, and maintaining correlation across various tools. This enhances the efficiency and effectiveness of chip design workflows.\n  Improving characteristics such as frequency through iterative design is essential for enhancing accelerators and chip designs. While synthesis tools produce netlists with critical path information, designers often l","authors_text":"Jose Renau, Sakshi Garg","cross_cats":["cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.00921","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:67b807995f7026bac3d687eb69fe522bd0eb1a417cd0610f32946972d10af352","target":"record","created_at":"2026-07-05T09:56:12Z","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":"aa7d42f07713116ab607168820f7678a7dd3539331453d6a22eba82a312af064","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-01-01T18:40:05Z","title_canon_sha256":"086d301e4ee719c8a7556fd5efb3bc081646140262721d5aad42a1e6d3ea80d5"},"schema_version":"1.0","source":{"id":"2501.00921","kind":"arxiv","version":1}},"canonical_sha256":"6dedd1e3b3c9c4af3bc2d380845dd1134e73e9a71b13a6481f45c9a378806af4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6dedd1e3b3c9c4af3bc2d380845dd1134e73e9a71b13a6481f45c9a378806af4","first_computed_at":"2026-07-05T09:56:12.000310Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:56:12.000310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kdmmWEdRlBoC4dQMd2a5EF0rulRARaElGjdYm4XoSq5Vsagy9IC4ww7oHf9iBdKBxogll1Sb+xBx8g3ZDPcwDA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:56:12.000707Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.00921","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:67b807995f7026bac3d687eb69fe522bd0eb1a417cd0610f32946972d10af352","sha256:4fd80673406c3dc4f2c28290f37ad13d62a33aa4ba6dc1357c1a464ee241b26f"],"state_sha256":"253b880a59705f91a40049c6303e4f1ced58862a45fa8d78b757d28baf0d5784"}