{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:JWHQZQBCBS4PQUQQAIAXEZS45C","short_pith_number":"pith:JWHQZQBC","canonical_record":{"source":{"id":"2508.15536","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-21T13:11:59Z","cross_cats_sorted":[],"title_canon_sha256":"9e217cc249ddeb00ccd9d49131cfb25e21bc4899fe5100b09e65ec6a1d514eb2","abstract_canon_sha256":"406538fe5dea4da4b869e2667ec3cdea1f07951746fbc5a7b02e747ee5ee5a36"},"schema_version":"1.0"},"canonical_sha256":"4d8f0cc0220cb8f85210020172665ce8acc08a8e84f47b03f373c27eb34c43b6","source":{"kind":"arxiv","id":"2508.15536","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:JWHQZQBCBS4PQUQQAIAXEZS45C","target":"record","payload":{"canonical_record":{"source":{"id":"2508.15536","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-21T13:11:59Z","cross_cats_sorted":[],"title_canon_sha256":"9e217cc249ddeb00ccd9d49131cfb25e21bc4899fe5100b09e65ec6a1d514eb2","abstract_canon_sha256":"406538fe5dea4da4b869e2667ec3cdea1f07951746fbc5a7b02e747ee5ee5a36"},"schema_version":"1.0"},"canonical_sha256":"4d8f0cc0220cb8f85210020172665ce8acc08a8e84f47b03f373c27eb34c43b6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:57:14.170518Z","signature_b64":"2up8Y8GQwSzDjdr5isr9hwO10cPaxpsmvg+xyM4Kygjg+DgXclrx2hZNLTJTn73NZaeS1zEPZw0F7TkScVPjBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d8f0cc0220cb8f85210020172665ce8acc08a8e84f47b03f373c27eb34c43b6","last_reissued_at":"2026-07-05T11:57:14.170044Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:57:14.170044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.15536","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-05T11:57:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EtWy74ZUbuQsG8/bGMRNnDOJB8X6iP4Ynj60f1+oEIHAeRDdfPfa3bOhGWEzGbQkG35SzH8CuV31RUBERBmbBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T00:41:33.237911Z"},"content_sha256":"1db6a02fe99f5860d58901e42c4de77ffdb6a5077214dcf27b6e1b3e84c220a0","schema_version":"1.0","event_id":"sha256:1db6a02fe99f5860d58901e42c4de77ffdb6a5077214dcf27b6e1b3e84c220a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:JWHQZQBCBS4PQUQQAIAXEZS45C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Novel Mutation Based Method for Detecting FPGA Logic Synthesis Tool Bugs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"He Jiang, Peiyu Zou, Shikai Guo, Xiaochen LI, Yi Zhang, Zun Wang","submitted_at":"2025-08-21T13:11:59Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.15536","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/2508.15536/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-05T11:57:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"krKOVrguDshrklS8qEb3mNHlLey3n9E5odGyAMSlRjPt6SX7OkCsfd0Yq1sU7Xzh69HQmI8np0zI02BTtiQMCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T00:41:33.238782Z"},"content_sha256":"11dfdd2641c499abdd7ad136c6bade3d7ae307aefbdd26d08915cf5b317a58b4","schema_version":"1.0","event_id":"sha256:11dfdd2641c499abdd7ad136c6bade3d7ae307aefbdd26d08915cf5b317a58b4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JWHQZQBCBS4PQUQQAIAXEZS45C/bundle.json","state_url":"https://pith.science/pith/JWHQZQBCBS4PQUQQAIAXEZS45C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JWHQZQBCBS4PQUQQAIAXEZS45C/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-23T00:41:33Z","links":{"resolver":"https://pith.science/pith/JWHQZQBCBS4PQUQQAIAXEZS45C","bundle":"https://pith.science/pith/JWHQZQBCBS4PQUQQAIAXEZS45C/bundle.json","state":"https://pith.science/pith/JWHQZQBCBS4PQUQQAIAXEZS45C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JWHQZQBCBS4PQUQQAIAXEZS45C/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bNz/i+Sxo77pkxbhjdP6MNDUTZ03nm+yWeZkBGU4cg7//DNQMFUv+5FWD/zceMeaUDtfCgK9Z6XEg4k9SGRtDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T00:41:33.243776Z","bundle_sha256":"e9be65b63fe3c43a90f8c6ce575e7d94f1d0ccb02419893450d55074ac071f80"}}