{"as_of":"2026-08-09T05:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:14ebb194e0dfa7bd449cd3246fa189901a603ab2013d183eb5ee5ac17a05ca4c","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-14T12:30:31.318373Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.10340/citation-record","integrity":"/paper/2607.10340/integrity","json":"/paper/2607.10340/citation-record.json","paper":"/paper/2607.10340"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":"Patterson, Brian Richards, Colin Schmidt, Stephen Twigg, Huy Vo, and Andrew Waterman","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:d56691af836a5164553a9dafdbcc4126fea91caec302599f74395bd1bd4cee46","observation_id":"62e96a55-c4df-4120-b2ab-3758caa0f0b7","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:0a209931e362c4ea0d1f455caa5d11fdf9499d0b17c939fec41330d1fe94a1fd","observation_id":"16fe1787-513a-40ff-b527-5ae0b7f1ca1d","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:f3c5bd6a352a7daae890c2372d7f8b82803be1dafa267f5385e88025d61ad375","observation_id":"847e028a-0be5-4964-8cc5-0e7b74d2c4de","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":"Patterson, and Krste Asanović","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:af428c62a79e6a4346aa16fbe46ae99d84404f9256bc8bb5c72e0a78cc06d25e","observation_id":"f8838067-b82d-4b3a-bae6-c56859658299","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:08c014aeeacebab713d787cf8e549e09ae7e1b5a90f5cb12eca38c71cdace23c","observation_id":"956139ab-826d-4893-ab67-187c5a5be6ac","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:0eeafe9baa00005df4679c14b015bdc0b79d4e7d266e0d7068ad225cb4812c06","observation_id":"000f47ce-e1c5-4dfd-a38c-3d409d4d2904","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:9880c1e25f7e707968ad8ee183726711f16a17b94ba61b76ebb63b52560f8b49","observation_id":"c9b1e45d-b356-4783-be69-742e26ea35de","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:61a98099ee1ad1bc1d0c3c393df1703dbfb728ab408456dccb01a4339ce93641","observation_id":"ebe8f6f9-44c9-4dba-a0ce-c940f1f681f0","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:fb636337fd8d44e56114f34e82de6b9e2a11f130ddc68909cfea7fa7906bb14a","observation_id":"c45e1b30-c976-4416-b66b-f7a8c666a67b","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":"In International Con- ference on Theorem Provers in Circuit Design","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:bb0a71dd63876d43001d0f450eee025c937fcfc52fc51c044bf013d87560c4e7","observation_id":"f0e71c09-20aa-42a1-a3f7-f2b83f718d42","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.02014","last_updated":"2023-04-04T17:59:52Z","snapshot_observed_at":"2026-07-06T15:12:14.729772Z","submitted_at":"2023-04-04T17:59:52Z","title":"Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.02014","snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"cited_paper":"/paper/2304.02014","citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:9a4d71f6f4d8d8737cc6a2c548d32d57c4cae140184c12aa88ef711cac4b1c37","observation_id":"65df4667-36b9-4a35-ad16-da6d3c5b7efc","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:00ccf5cfd7699145552dce4839f14d3d71285d1556b47980f45a5d2f9e71eba5","observation_id":"0c4b3ad3-dd01-467d-9e3b-78571d9e985c","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:92d7db52210536cb245c80dffc693a3976b9deafb1d9cb3345f36b66be69ae80","observation_id":"3789b079-3366-4836-822e-12032065a343","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:295ca6a1da15c7ebb33ceaa2f2e8010bd01d1476b5c86886a355d3ab4dab2f57","observation_id":"b09b83b0-6893-489d-8667-02bf39fb033d","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:cb712c07737f13114115b30a7a1b17256d0c3dde085cb6092e1de9e297e91b20","observation_id":"d0977752-b50e-4610-b6b8-eb980dfd1691","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:dbc640884e34429c23b9ec4f4899d9f52131b98f0d075bd5028d9d9a7e40c729","observation_id":"c86c72a4-b174-418e-8fd5-f258354b43c7","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:bc8a82d85c25a3404ea0be4e44ea3ad6604c1a84a22c2809e27289fe72f20338","observation_id":"e47ea197-73f1-44ec-9558-980dd0fd3f21","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:e56d7c0f2ebef55c3e3c61e41f51b84bcaa349b927b7c60258bf41fce5d851c2","observation_id":"e390d181-4717-4d31-82f2-f896c9aa09fd","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:987c4c5198d60b9864468078b4a27d9de0fb6a6d289063317c9433ae7e6710eb","observation_id":"edc604e8-801c-4ad4-bd44-5955e01f479d","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:909db9877967fe11fb4ca8e07078ff04859b33ed65a36e87d87219daed1f1774","observation_id":"d310a3b0-b8c8-428b-9f31-d4169a546998","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:0acedbad91d6ee9d9c971e8946257d1223b65d9ac7b3b2b7ab977ac0160ec266","observation_id":"42ee4eab-edfc-43b9-b1d6-fec67004efe8","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:ab5fb820c4f460a1e79e098417a3fae4216f0a983baf39f56e3643899b74b4ec","observation_id":"a38da13d-d31c-44ab-be4d-c6a060c16b51","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:e47e9000f47c9dc63edad814cae109f32ca3641afddb5b0c50d1f0c05a084f41","observation_id":"46316593-07ec-449d-bf55-689e7654ca92","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:925f3c11d09bbbc77057b4e7a4a50d482cf085d61a1f818ec7e39461040ee51c","observation_id":"4c256092-2a2c-4d76-9845-fe66690dc7b3","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:5f101a5797d4385e01ecb9b09663a2cdd37a05768b55079cd0e9fd9f0759b329","observation_id":"ec71016f-d299-44b1-ab7b-7d94ea204bc1","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:d0ea06840f1828598ab6816a9368a0bb5416bd86e011c082112daba45b0f58aa","observation_id":"d2df8031-bd08-4f52-8d48-fa016e2a20cb","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.12812","last_updated":"2024-03-19T15:12:11Z","snapshot_observed_at":"2026-08-06T06:36:06.756820Z","submitted_at":"2024-03-19T15:12:11Z","title":"The Emergence of Hardware Fuzzing: A Critical Review of its Significance","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.12812","snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"cited_paper":"/paper/2403.12812","citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:c205c1be74348c46618039d646b3275ad9a325977a972beb8c55ae35beddd505","observation_id":"fbccb731-9c9d-42ef-be12-baef888916f7","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:3c0c5167a80f4cb2bf6a4c83c0c592889c4f36302cfc85e900108062296b97d0","observation_id":"5f1e78c8-8692-434b-ae78-c4ccf870febf","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:888ef145f3d29d1d81f1c2c757094d664ec8d6c5490e1a5e07024e387af1ca86","observation_id":"fe8498b0-f3a4-4f0c-a400-5d237f9f7cce","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:4a1b129f45de1129d91028f4a531f2f1267091713944e6f48400f7cf89e53213","observation_id":"b8765feb-ae5b-47a0-8076-5edc970326bd","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:353b4924d4042cf2397bf3e99a3ccdfeb9310db35410811ed5e48f413ed50cae","observation_id":"9116821d-b318-4c66-87ae-51e0e60d2f1f","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:638146c01d22ed3f554556de109deeb82f2a2b722e68a78d495aa60ddde7fa18","observation_id":"e56fd3a2-0178-4bd8-90b8-baa615e1d417","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:eee62005c6221762be4fcc0966c823ee63ac87d78f469c096259532186f848ca","observation_id":"becc736a-c43b-4c4b-9f92-1682610ecf78","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:b68f80aa8e300c45fa0e2a5b1eb0cff10cf7044d240ee4e8ce6c304608efb9a1","observation_id":"1e11b02f-54be-461d-a953-954ea787eb14","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:b0aa963deb91b36fc9fca400bed3298a508530e3471209c2313995cc4c01c569","observation_id":"a2b451b3-b52e-403b-b1bc-f9c204b3f6ec","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:f22bd39294efd40a8756178db0434e7b5d5cb2711ae8392ce0008614b9bff5df","observation_id":"ad48769a-ee9d-4696-92ff-8777fdb094ca","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:7460a24e2b595b48f90b1491974da8b6ed8db490a6c93a9f0381218dda0c4632","observation_id":"16bad3ad-95a5-4575-9332-3de10fbb51d8","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:862d95a4d435337c3faf6a142c253faa00aad521ce9b44dc4be75713b8894e80","observation_id":"b5405d94-bedf-49f6-996c-ceffc2a2ed48","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T12:30:31.318373Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-14T12:30:31.318373Z"},"links":{"citing_paper":"/paper/2607.10340"},"observation_digest":"sha256:019f050449b0fb398b2d13c4574a0bdd5c277a1eb43668c609c044980a06716a","observation_id":"5daa3319-92d3-4d50-a404-bba2b9e35026","resolution":{"observed_at":"2026-07-14T12:30:31.318373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.10340","last_updated":"2026-07-11T14:39:56Z","latest_version":1,"primary_category":"cs.AR","snapshot_observed_at":"2026-07-16T23:18:19.126566Z","submitted_at":"2026-07-11T14:39:56Z","title":"When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":39,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":39},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2607.10340."}