{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:MQGXEOVM3MFD3ACDGDU6SR7KOC","short_pith_number":"pith:MQGXEOVM","schema_version":"1.0","canonical_sha256":"640d723aacdb0a3d804330e9e947ea70aa7c99c09af30f00d8182af4f52663e4","source":{"kind":"arxiv","id":"2508.14414","version":1},"attestation_state":"computed","paper":{"title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Daikang Kuang, Guojie Luo, Jiaxi Zhang, Ping Fan, Ruiyang Ma, Ziqian Liu","submitted_at":"2025-08-20T04:23:40Z","abstract_excerpt":"Debugging hardware designs requires significant manual effort during hardware development. After engineers identify a bug-triggering test case in simulation-based hardware verification, they usually spend considerable time analyzing the execution trace to localize the bug. Although numerous automated hardware debugging techniques exist, they are not applicable to large designs and deep bugs. A primary reason for their limitations is that these techniques only utilize the information of a single bug-triggering test case for bug localization, which prevents them from effectively analyzing intric"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2508.14414","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-08-20T04:23:40Z","cross_cats_sorted":[],"title_canon_sha256":"b6c044d4db12f61b65295743696643b28bfb14063e44e46699e69319ac8c7cf8","abstract_canon_sha256":"0ff4d75398987cfd814a27226b2cd8c84e68dcc293e5f370206ee1187a4e44a3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:56:31.477400Z","signature_b64":"YI6vwAHX0o83Gr4N02Kzbsw3HUFXAQky2N0ntqSsK3mgkPfIXKghImAE317Gmfo0TvFDoYrZWxra27CdBEadCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"640d723aacdb0a3d804330e9e947ea70aa7c99c09af30f00d8182af4f52663e4","last_reissued_at":"2026-07-05T11:56:31.477010Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:56:31.477010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Daikang Kuang, Guojie Luo, Jiaxi Zhang, Ping Fan, Ruiyang Ma, Ziqian Liu","submitted_at":"2025-08-20T04:23:40Z","abstract_excerpt":"Debugging hardware designs requires significant manual effort during hardware development. After engineers identify a bug-triggering test case in simulation-based hardware verification, they usually spend considerable time analyzing the execution trace to localize the bug. Although numerous automated hardware debugging techniques exist, they are not applicable to large designs and deep bugs. A primary reason for their limitations is that these techniques only utilize the information of a single bug-triggering test case for bug localization, which prevents them from effectively analyzing intric"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.14414","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.14414/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2508.14414","created_at":"2026-07-05T11:56:31.477065+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.14414v1","created_at":"2026-07-05T11:56:31.477065+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.14414","created_at":"2026-07-05T11:56:31.477065+00:00"},{"alias_kind":"pith_short_12","alias_value":"MQGXEOVM3MFD","created_at":"2026-07-05T11:56:31.477065+00:00"},{"alias_kind":"pith_short_16","alias_value":"MQGXEOVM3MFD3ACD","created_at":"2026-07-05T11:56:31.477065+00:00"},{"alias_kind":"pith_short_8","alias_value":"MQGXEOVM","created_at":"2026-07-05T11:56:31.477065+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MQGXEOVM3MFD3ACDGDU6SR7KOC","json":"https://pith.science/pith/MQGXEOVM3MFD3ACDGDU6SR7KOC.json","graph_json":"https://pith.science/api/pith-number/MQGXEOVM3MFD3ACDGDU6SR7KOC/graph.json","events_json":"https://pith.science/api/pith-number/MQGXEOVM3MFD3ACDGDU6SR7KOC/events.json","paper":"https://pith.science/paper/MQGXEOVM"},"agent_actions":{"view_html":"https://pith.science/pith/MQGXEOVM3MFD3ACDGDU6SR7KOC","download_json":"https://pith.science/pith/MQGXEOVM3MFD3ACDGDU6SR7KOC.json","view_paper":"https://pith.science/paper/MQGXEOVM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.14414&json=true","fetch_graph":"https://pith.science/api/pith-number/MQGXEOVM3MFD3ACDGDU6SR7KOC/graph.json","fetch_events":"https://pith.science/api/pith-number/MQGXEOVM3MFD3ACDGDU6SR7KOC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MQGXEOVM3MFD3ACDGDU6SR7KOC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MQGXEOVM3MFD3ACDGDU6SR7KOC/action/storage_attestation","attest_author":"https://pith.science/pith/MQGXEOVM3MFD3ACDGDU6SR7KOC/action/author_attestation","sign_citation":"https://pith.science/pith/MQGXEOVM3MFD3ACDGDU6SR7KOC/action/citation_signature","submit_replication":"https://pith.science/pith/MQGXEOVM3MFD3ACDGDU6SR7KOC/action/replication_record"}},"created_at":"2026-07-05T11:56:31.477065+00:00","updated_at":"2026-07-05T11:56:31.477065+00:00"}