{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:LG7MFMW4IMJ4MG2ERBNJLZSO22","short_pith_number":"pith:LG7MFMW4","canonical_record":{"source":{"id":"2503.11687","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-03-05T15:41:09Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"22f366743d3ba09ce07310ba7b5ffebd46ea2947ec7c9c5504c356091dde396c","abstract_canon_sha256":"d9fa0ab6b02402a21dc6db1a1a761c1b24d261d19b3c78517a1e964b2a692735"},"schema_version":"1.0"},"canonical_sha256":"59bec2b2dc4313c61b44885a95e64ed6ac9f6210a951dc17674505c422bf9f60","source":{"kind":"arxiv","id":"2503.11687","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.11687","created_at":"2026-07-05T10:31:58Z"},{"alias_kind":"arxiv_version","alias_value":"2503.11687v1","created_at":"2026-07-05T10:31:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.11687","created_at":"2026-07-05T10:31:58Z"},{"alias_kind":"pith_short_12","alias_value":"LG7MFMW4IMJ4","created_at":"2026-07-05T10:31:58Z"},{"alias_kind":"pith_short_16","alias_value":"LG7MFMW4IMJ4MG2E","created_at":"2026-07-05T10:31:58Z"},{"alias_kind":"pith_short_8","alias_value":"LG7MFMW4","created_at":"2026-07-05T10:31:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:LG7MFMW4IMJ4MG2ERBNJLZSO22","target":"record","payload":{"canonical_record":{"source":{"id":"2503.11687","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-03-05T15:41:09Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"22f366743d3ba09ce07310ba7b5ffebd46ea2947ec7c9c5504c356091dde396c","abstract_canon_sha256":"d9fa0ab6b02402a21dc6db1a1a761c1b24d261d19b3c78517a1e964b2a692735"},"schema_version":"1.0"},"canonical_sha256":"59bec2b2dc4313c61b44885a95e64ed6ac9f6210a951dc17674505c422bf9f60","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:31:58.034701Z","signature_b64":"iqf1MwROyHWXasMyVdETRrbOGtJtwC5vvw2RyDBMzo7lGFNa1zpYaJmDdU5K3x8MStNXFHPlqFwv1FayvQHUAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"59bec2b2dc4313c61b44885a95e64ed6ac9f6210a951dc17674505c422bf9f60","last_reissued_at":"2026-07-05T10:31:58.034248Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:31:58.034248Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.11687","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-05T10:31:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sYig1LN9Iwu5FYTknUWU1HPVzHeXcpy5aJX3eUoMeerl8pWs27a3dHayvhhq+/YlE5cG8zgy5HqWHcIOncjCCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T13:03:39.714522Z"},"content_sha256":"841a8c099f446635237c47247cbb1b63e5f1664c7cd0169811689760d82962c2","schema_version":"1.0","event_id":"sha256:841a8c099f446635237c47247cbb1b63e5f1664c7cd0169811689760d82962c2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:LG7MFMW4IMJ4MG2ERBNJLZSO22","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Review of Machine Learning for Micro-Electronic Design Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AR","authors_text":"Christopher Bennett, Kerstin Eder","submitted_at":"2025-03-05T15:41:09Z","abstract_excerpt":"Microelectronic design verification remains a critical bottleneck in device development, traditionally mitigated by expanding verification teams and computational resources. Since the late 1990s, machine learning (ML) has been proposed to enhance verification efficiency, yet many techniques have not achieved mainstream adoption. This review, from the perspective of verification and ML practitioners, examines the application of ML in dynamic-based techniques for functional verification of microelectronic designs, and provides a starting point for those new to this interdisciplinary field. Histo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.11687","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/2503.11687/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-05T10:31:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zPMR3HD51ajphzw/htMYRtRk0y/UYR+Ky20OM/wn5a08ZlEB/HZ5cBWCeVTdFZJMt55268YvhOxWyr3eG8j+DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T13:03:39.715036Z"},"content_sha256":"826f5628443175e850af3e44d73a823f910b3445a87870a55390b2bf8e2969ca","schema_version":"1.0","event_id":"sha256:826f5628443175e850af3e44d73a823f910b3445a87870a55390b2bf8e2969ca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LG7MFMW4IMJ4MG2ERBNJLZSO22/bundle.json","state_url":"https://pith.science/pith/LG7MFMW4IMJ4MG2ERBNJLZSO22/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LG7MFMW4IMJ4MG2ERBNJLZSO22/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-07-07T13:03:39Z","links":{"resolver":"https://pith.science/pith/LG7MFMW4IMJ4MG2ERBNJLZSO22","bundle":"https://pith.science/pith/LG7MFMW4IMJ4MG2ERBNJLZSO22/bundle.json","state":"https://pith.science/pith/LG7MFMW4IMJ4MG2ERBNJLZSO22/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LG7MFMW4IMJ4MG2ERBNJLZSO22/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:LG7MFMW4IMJ4MG2ERBNJLZSO22","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":"d9fa0ab6b02402a21dc6db1a1a761c1b24d261d19b3c78517a1e964b2a692735","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-03-05T15:41:09Z","title_canon_sha256":"22f366743d3ba09ce07310ba7b5ffebd46ea2947ec7c9c5504c356091dde396c"},"schema_version":"1.0","source":{"id":"2503.11687","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.11687","created_at":"2026-07-05T10:31:58Z"},{"alias_kind":"arxiv_version","alias_value":"2503.11687v1","created_at":"2026-07-05T10:31:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.11687","created_at":"2026-07-05T10:31:58Z"},{"alias_kind":"pith_short_12","alias_value":"LG7MFMW4IMJ4","created_at":"2026-07-05T10:31:58Z"},{"alias_kind":"pith_short_16","alias_value":"LG7MFMW4IMJ4MG2E","created_at":"2026-07-05T10:31:58Z"},{"alias_kind":"pith_short_8","alias_value":"LG7MFMW4","created_at":"2026-07-05T10:31:58Z"}],"graph_snapshots":[{"event_id":"sha256:826f5628443175e850af3e44d73a823f910b3445a87870a55390b2bf8e2969ca","target":"graph","created_at":"2026-07-05T10:31:58Z","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/2503.11687/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Microelectronic design verification remains a critical bottleneck in device development, traditionally mitigated by expanding verification teams and computational resources. Since the late 1990s, machine learning (ML) has been proposed to enhance verification efficiency, yet many techniques have not achieved mainstream adoption. This review, from the perspective of verification and ML practitioners, examines the application of ML in dynamic-based techniques for functional verification of microelectronic designs, and provides a starting point for those new to this interdisciplinary field. Histo","authors_text":"Christopher Bennett, Kerstin Eder","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-03-05T15:41:09Z","title":"Review of Machine Learning for Micro-Electronic Design Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.11687","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:841a8c099f446635237c47247cbb1b63e5f1664c7cd0169811689760d82962c2","target":"record","created_at":"2026-07-05T10:31:58Z","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":"d9fa0ab6b02402a21dc6db1a1a761c1b24d261d19b3c78517a1e964b2a692735","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-03-05T15:41:09Z","title_canon_sha256":"22f366743d3ba09ce07310ba7b5ffebd46ea2947ec7c9c5504c356091dde396c"},"schema_version":"1.0","source":{"id":"2503.11687","kind":"arxiv","version":1}},"canonical_sha256":"59bec2b2dc4313c61b44885a95e64ed6ac9f6210a951dc17674505c422bf9f60","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"59bec2b2dc4313c61b44885a95e64ed6ac9f6210a951dc17674505c422bf9f60","first_computed_at":"2026-07-05T10:31:58.034248Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:31:58.034248Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iqf1MwROyHWXasMyVdETRrbOGtJtwC5vvw2RyDBMzo7lGFNa1zpYaJmDdU5K3x8MStNXFHPlqFwv1FayvQHUAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:31:58.034701Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.11687","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:841a8c099f446635237c47247cbb1b63e5f1664c7cd0169811689760d82962c2","sha256:826f5628443175e850af3e44d73a823f910b3445a87870a55390b2bf8e2969ca"],"state_sha256":"57ec175d9914807e4fbbf47e495568ccda2b9010c7b9634889093f36e3ea0cd0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bHnxiNjXcJHylZ1edc53AiHsdXs340GmnMMCGTMfyXrU23GlL+uut405PAfNm5hFj7nraQD4XW6YgdBxSQIyBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T13:03:39.717703Z","bundle_sha256":"c5a880fa26a18ba1c51533c10f974f544421962ecbb0196264d587ec334b03bc"}}