{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:JWHQZQBCBS4PQUQQAIAXEZS45C","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":"406538fe5dea4da4b869e2667ec3cdea1f07951746fbc5a7b02e747ee5ee5a36","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-21T13:11:59Z","title_canon_sha256":"9e217cc249ddeb00ccd9d49131cfb25e21bc4899fe5100b09e65ec6a1d514eb2"},"schema_version":"1.0","source":{"id":"2508.15536","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.15536","created_at":"2026-07-05T11:57:14Z"},{"alias_kind":"arxiv_version","alias_value":"2508.15536v1","created_at":"2026-07-05T11:57:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.15536","created_at":"2026-07-05T11:57:14Z"},{"alias_kind":"pith_short_12","alias_value":"JWHQZQBCBS4P","created_at":"2026-07-05T11:57:14Z"},{"alias_kind":"pith_short_16","alias_value":"JWHQZQBCBS4PQUQQ","created_at":"2026-07-05T11:57:14Z"},{"alias_kind":"pith_short_8","alias_value":"JWHQZQBC","created_at":"2026-07-05T11:57:14Z"}],"graph_snapshots":[{"event_id":"sha256:11dfdd2641c499abdd7ad136c6bade3d7ae307aefbdd26d08915cf5b317a58b4","target":"graph","created_at":"2026-07-05T11:57:14Z","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/2508.15536/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"FPGA (Field-Programmable Gate Array) logic synthesis tools are key components in the EDA (Electronic Design Automation) toolchain. They convert hardware designs written in description languages such as Verilog into gate-level representations for FPGAs. However, defects in these tools may lead to unexpected behaviors and pose security risks. Therefore, it is crucial to harden these tools through testing. Although several methods have been proposed to automatically test FPGA logic synthesis tools, the challenge remains of insufficient semantic and logical complexity in test programs. In this pap","authors_text":"He Jiang, Peiyu Zou, Shikai Guo, Xiaochen LI, Yi Zhang, Zun Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-21T13:11:59Z","title":"A Novel Mutation Based Method for Detecting FPGA Logic Synthesis Tool Bugs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.15536","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:1db6a02fe99f5860d58901e42c4de77ffdb6a5077214dcf27b6e1b3e84c220a0","target":"record","created_at":"2026-07-05T11:57:14Z","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":"406538fe5dea4da4b869e2667ec3cdea1f07951746fbc5a7b02e747ee5ee5a36","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-21T13:11:59Z","title_canon_sha256":"9e217cc249ddeb00ccd9d49131cfb25e21bc4899fe5100b09e65ec6a1d514eb2"},"schema_version":"1.0","source":{"id":"2508.15536","kind":"arxiv","version":1}},"canonical_sha256":"4d8f0cc0220cb8f85210020172665ce8acc08a8e84f47b03f373c27eb34c43b6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d8f0cc0220cb8f85210020172665ce8acc08a8e84f47b03f373c27eb34c43b6","first_computed_at":"2026-07-05T11:57:14.170044Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:57:14.170044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2up8Y8GQwSzDjdr5isr9hwO10cPaxpsmvg+xyM4Kygjg+DgXclrx2hZNLTJTn73NZaeS1zEPZw0F7TkScVPjBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:57:14.170518Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.15536","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1db6a02fe99f5860d58901e42c4de77ffdb6a5077214dcf27b6e1b3e84c220a0","sha256:11dfdd2641c499abdd7ad136c6bade3d7ae307aefbdd26d08915cf5b317a58b4"],"state_sha256":"6741c5ecd978529e75ef5d43234d00f89d5d51c037a5b61fc2de2fe89d79d617"}