{"as_of":"2026-08-17T02:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0b6f5fe91e3123cd76328e8e0c7ad4cf9e7f4f2042d42e7d228f0f6e29b9e491","coverage":[{"denominator":81,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":81,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T22:55:09.392728Z","state":"measured"},{"denominator":85,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":85,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-03T11:42:34.927821Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-03T11:48:04.404752Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"cited_work":{"arxiv_id":"2506.20415","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.20415","snapshot_observed_at":"2026-07-03T11:48:04.404752Z","title":"Sv-llm: An agentic approach for soc security verification using large language models","venue":null,"work_id":"df1c963d-585d-4796-ade0-74ecd27533ef","year":2025},"citing_paper":{"arxiv_id":"2601.02624","last_updated":"2026-04-07T18:17:50Z","snapshot_observed_at":"2026-08-16T19:41:42.237685Z","submitted_at":"2026-01-06T00:53:23Z","title":"LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-16T17:52:19.989248Z"},"links":{"cited_paper":"/paper/2506.20415","citing_paper":"/paper/2601.02624"},"observation_digest":"sha256:987c6432d67376fbf05ab37bedc430eabea2ec8576cffe6a4b50635f3793a403","observation_id":"b9ce994f-9095-490a-b6d1-8adf15a27b67","resolution":{"observed_at":"2026-05-16T17:53:11.574188Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"cited_work":{"arxiv_id":"2506.20415","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.20415","snapshot_observed_at":"2026-07-03T11:48:04.404752Z","title":"Sv-llm: An agentic approach for soc security verification using large language models","venue":null,"work_id":"df1c963d-585d-4796-ade0-74ecd27533ef","year":2025},"citing_paper":{"arxiv_id":"2602.13851","last_updated":"2026-04-14T17:18:00Z","snapshot_observed_at":"2026-08-14T01:28:34.036570Z","submitted_at":"2026-02-14T19:18:34Z","title":"Evaluating LLM-Generated ACSL Annotations for Formal Verification","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-15T22:15:21.599523Z"},"links":{"cited_paper":"/paper/2506.20415","citing_paper":"/paper/2602.13851"},"observation_digest":"sha256:3fcef75ae645cb0613406d7ab8d74f84c0e5dffa74f3593a6e813dd960a32096","observation_id":"b7ae158e-8fa4-49c2-8a53-277b1fd51a92","resolution":{"observed_at":"2026-05-15T22:16:42.638171Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"cited_work":{"arxiv_id":"2506.20415","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.20415","snapshot_observed_at":"2026-07-03T11:48:04.404752Z","title":"Sv-llm: An agentic approach for soc security verification using large language models","venue":null,"work_id":"df1c963d-585d-4796-ade0-74ecd27533ef","year":2025},"citing_paper":{"arxiv_id":"2603.01170","last_updated":"2026-04-23T12:41:27Z","snapshot_observed_at":"2026-08-15T15:35:29.453723Z","submitted_at":"2026-03-01T16:20:47Z","title":"ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-15T18:23:01.648809Z"},"links":{"cited_paper":"/paper/2506.20415","citing_paper":"/paper/2603.01170"},"observation_digest":"sha256:4f477164b74d4683c72b962106320ee417e616468725af87a756ed88aca83914","observation_id":"55e158fb-9cf2-431d-b2d8-c3cf801408a7","resolution":{"observed_at":"2026-05-15T18:26:27.130682Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"cited_work":{"arxiv_id":"2506.20415","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.20415","snapshot_observed_at":"2026-07-03T11:48:04.404752Z","title":"Sv-llm: An agentic approach for soc security verification using large language models","venue":null,"work_id":"df1c963d-585d-4796-ade0-74ecd27533ef","year":2025},"citing_paper":{"arxiv_id":"2607.01668","last_updated":"2026-07-02T03:48:25Z","snapshot_observed_at":"2026-07-07T00:07:13.555571Z","submitted_at":"2026-07-02T03:48:25Z","title":"VeriChat: An Agentic Conversational AI Assistant for Hardware Security Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-03T11:42:34.927821Z"},"links":{"cited_paper":"/paper/2506.20415","citing_paper":"/paper/2607.01668"},"observation_digest":"sha256:29d70203683c6c540ee59c3b7d5f9aebecb48de950e44f9ea159311c739b3f38","observation_id":"d8c70667-e472-4488-b593-a0c770d0e17d","resolution":{"observed_at":"2026-07-03T11:48:04.406338Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2506.20415/citation-record","integrity":"/paper/2506.20415/integrity","json":"/paper/2506.20415/citation-record.json","paper":"/paper/2506.20415"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.020880Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.020880Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:927d6c97cf811731caeb6e68f10b7bb518288d38572dc5db1bde35c99983dec6","observation_id":"7804bf0c-19ee-43e3-8fda-a48cf3da6981","resolution":{"observed_at":"2026-08-06T22:55:09.020880Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.613272Z","title":"Pacman: attacking arm pointer authentication with speculative execution,","venue":null,"work_id":"49f1554f-d045-427e-b1b1-5ed5e2db854a","year":2022},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.026638Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:80a69419bdd8274df5f31193820ea57079ca10b515b736b378753c4dc3cab82c","observation_id":"ea290164-ef08-4610-998f-2da13607355e","resolution":{"observed_at":"2026-08-06T22:55:10.626734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.589224Z","title":"Augury: Using data memory- dependent prefetchers to leak data at rest,","venue":null,"work_id":"a513140a-cf97-4ac4-af72-fe7df2067665","year":2022},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.031722Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:0100f6fca7067a4596bc6b364eda41819b04604035723cc1cda640861f1baeb6","observation_id":"06fea500-7248-4f45-8672-48f7e07a75ce","resolution":{"observed_at":"2026-08-06T22:55:10.597733Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.566638Z","title":"Riscvuzz: Discovering architectural cpu vulnerabilities via differential hardware fuzzing,","venue":null,"work_id":"1ae87e3a-e069-4ab5-a221-d0c8d6fb4687","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.037056Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:96fc6b2489f07044a4e27022655e51018013ccd0f40b1bd987f765dc98055baa","observation_id":"2eb4ef0f-76fd-4bff-ac22-b96128ca58ba","resolution":{"observed_at":"2026-08-06T22:55:10.576791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.041967Z","title":"Formal security verification of third party intellectual property cores for infor- mation leakage,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.041967Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:3d0c48a6581ee1284406b1cd4fa7691d42f5edace7bdb45ae1dd1e11b9075619","observation_id":"436ce208-5cac-4ced-80ff-9bc7117f6e5a","resolution":{"observed_at":"2026-08-06T22:55:09.041967Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.529543Z","title":"Formal verification of taint-propagation security properties in a commercial soc design,","venue":null,"work_id":"fbd0053a-a010-4da0-8786-11cdc21ddc47","year":2014},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.046841Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:692871b7e55fb39568db38fdd5b8eda51b7ba7cde9c49b08cfcae718498c55c0","observation_id":"f4facf83-9be5-4fc0-8bd7-0fba1c9fb27e","resolution":{"observed_at":"2026-08-06T22:55:10.541787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.512738Z","title":"Hardware trojan detection through information flow security verification,","venue":null,"work_id":"604dd302-cfb1-4125-bcfc-9ef0d048a745","year":2017},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.052022Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:8c0579d06435104341107d7674a2cd19713ea279c9436fedb526cbb813de3590","observation_id":"6021b59e-055c-4b11-bdc1-7648ea9b2e4a","resolution":{"observed_at":"2026-08-06T22:55:10.517783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.499292Z","title":"Scalable concolic testing of rtl models,","venue":null,"work_id":"652faec8-0273-47d7-bf25-b2281e6ec8f4","year":2020},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.056495Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:7d8d41d7ea9cd047864e7be22ed5d2adea48288f4f04b2fec12f485074f11ca5","observation_id":"ed942413-780c-47cd-a763-12dd90005729","resolution":{"observed_at":"2026-08-06T22:55:10.503663Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.485017Z","title":"Automated activation of multiple targets in rtl models using concolic testing,","venue":null,"work_id":"6f6c85ca-0ef2-493f-974e-7d134f2d95f2","year":2019},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.060951Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:fbad0c2a2984456e9cbc69227022a32ac3ce3a1e69ab284f38c9b9182170ab93","observation_id":"62a7df3b-8d2d-41ab-9d8e-4fee416acf92","resolution":{"observed_at":"2026-08-06T22:55:10.489485Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.470890Z","title":"Rtl- fsmx: Fast and accurate finite state machine extraction at the rtl for security applications,","venue":null,"work_id":"7930ad37-e20c-4e6a-a5b0-138716b0c234","year":2022},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.065208Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:c531772d8f61be6db7be94a3bb0f888888f97757da672f615285f6ceeaad3cc7","observation_id":"31261d1d-2d16-440e-aa5f-93f5a1ccd8ca","resolution":{"observed_at":"2026-08-06T22:55:10.475421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.456119Z","title":"Quardtropy: Detecting and quantifying unauthorized information leakage in hardware designs using g-entropy,","venue":null,"work_id":"23349c09-a28b-4913-a4b4-9f990cc71084","year":2023},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.069903Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:57651721e46a27623b20f357b5387b585d09a2f908b40023fcf4d7920afcf634","observation_id":"15e794e8-2c9a-493a-87c0-30b10cf6f147","resolution":{"observed_at":"2026-08-06T22:55:10.461314Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.441452Z","title":"Mab- fuzz: Multi-armed bandit algorithms for fuzzing processors,","venue":null,"work_id":"4362d00d-25f1-4472-a94a-7695ecc6289f","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.074367Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:55070171df901f361822a96c8f73b10b5b05b65b5a7d2b89dc3c43855f385543","observation_id":"abb13d0f-0f2d-4c6a-8c75-120b513d17d2","resolution":{"observed_at":"2026-08-06T22:55:10.446144Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.425671Z","title":"Socfuzzer: Soc vulnerability detection using cost function enabled fuzz testing,","venue":null,"work_id":"cc8ad045-0443-486a-a9fa-2b31f8c47ea2","year":2023},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.078686Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:9e2e1b3fd33bbd9ea9d026cc53beb38450c3bc5dc1f5234c37c1216bc56859d5","observation_id":"02250d5a-ad47-4ecd-aae6-a690e9c0ef2b","resolution":{"observed_at":"2026-08-06T22:55:10.431020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.409485Z","title":"Fuzz, penetration, and ai testing for soc security verification: Challenges and solutions,","venue":null,"work_id":"3be2ad93-bc01-47da-bc06-511e89a19e7f","year":2022},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.083037Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:fce74e1f236b1bd83c593c771851fdc749ff94633974016d4ff9e4eae62680ca","observation_id":"7dd73854-4806-4f1d-bbac-ab3e54a80563","resolution":{"observed_at":"2026-08-06T22:55:10.414196Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2102.02308","last_updated":"2021-02-03T22:03:30Z","snapshot_observed_at":"2026-08-16T18:47:54.421990Z","submitted_at":"2021-02-03T22:03:30Z","title":"Fuzzing Hardware Like Software","version":1},"cited_work":{"arxiv_id":"2102.02308","doi":null,"metadata_source":"pith","pith_arxiv_id":"2102.02308","snapshot_observed_at":"2026-08-06T22:55:09.692027Z","title":"Fuzzing Hardware Like Software","venue":"cs.AR","work_id":"2edc2261-cc03-46ca-9922-c3edf789afc8","year":2021},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.087430Z"},"links":{"cited_paper":"/paper/2102.02308","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:6c570e1412b8ed2f08eac0e86f436df2644ce3d4c30a230960963f919fb4d85a","observation_id":"416bcde8-2d79-42ef-80ed-514dbc5f85f3","resolution":{"observed_at":"2026-08-06T22:55:09.696669Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.394558Z","title":"Sharpen: Soc security verification by hardware penetration test,","venue":null,"work_id":"f30b58f1-3756-49c2-b5af-d3b2a2dca5af","year":2023},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.092258Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:62b451bf8926b790b95fe943f8f34156e8d09d8479efc0f0b4afa7e39019edc8","observation_id":"f006144a-71b3-420c-8d4f-b6750906c971","resolution":{"observed_at":"2026-08-06T22:55:10.399247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.379552Z","title":"Re-pen: Reinforcement learning-enforced penetration testing for soc security verification,","venue":null,"work_id":"24219457-ff63-45ab-b716-f5fef63fe32a","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.096790Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:98712a4ca44a86c6f7e1d96a4ba7078c2e200363580ed3d69ec146d7158f33d7","observation_id":"3635374c-8536-4f7e-9f1a-3f4d21b2e43b","resolution":{"observed_at":"2026-08-06T22:55:10.384275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.364860Z","title":"Bench- marking of soc-level hardware vulnerabilities: A complete walkthrough,","venue":null,"work_id":"82c80bc0-2b64-42ce-a775-6bb39d868ae0","year":2023},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.101395Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:04f25323de6df1c513e1c158bec71fb7d968394397be9b4f98f124445de205ff","observation_id":"54da83d3-6467-4f62-95c0-704e68f44cbd","resolution":{"observed_at":"2026-08-06T22:55:10.369384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.349530Z","title":"Llm for soc security: A paradigm shift,","venue":null,"work_id":"d842340e-4fdf-4a94-b9c5-9fe3b9d1979b","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.106386Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:b343fe1eea9896ecd48552016b46e28b53123d1d3b8a9670854e3373adee455a","observation_id":"22a6d0b5-2d6b-49d1-bcbf-50d017fc9919","resolution":{"observed_at":"2026-08-06T22:55:10.354070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.111189Z","title":"(security) assertions by large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.111189Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:bebad01ba30c1fcd666b305b5850afc00d4eb1e712742ce867e135326ef49059","observation_id":"0374694d-1051-4b1d-8a9b-e34ea1a70482","resolution":{"observed_at":"2026-08-06T22:55:09.111189Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.326143Z","title":"On hardware security bug code fixes by prompting large language models,","venue":null,"work_id":"e0f4f49c-2925-4b46-bee0-fe3708a622e9","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.115606Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:5e644388a5eae69ac093d50bc35f169c8b29840249aa70b26c8de304b6bbd44c","observation_id":"01f1218e-c097-4acd-9749-86039203e22f","resolution":{"observed_at":"2026-08-06T22:55:10.330730Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.311558Z","title":"Nspg: Natural language processing-based secu- rity property generator for hardware security assurance,","venue":null,"work_id":"03440799-c3cb-4dbb-ae5d-6c5ccb5e45bc","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.120200Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:a69e61bcaba42715c9a948360defc88493ce71939ef00aa0655dec0c9ed646b2","observation_id":"bc93fe8f-353e-4836-8d5d-9222240c48b4","resolution":{"observed_at":"2026-08-06T22:55:10.316442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.125352Z","title":"Empowering hardware security with llm: The development of a vul- nerable hardware database,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.125352Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:1d9af97d66815f180af5b501115a7ea4b258574e5546194bc59c83ed889b64f7","observation_id":"7d0e76de-1c51-4971-9dcf-9cca66553951","resolution":{"observed_at":"2026-08-06T22:55:09.125352Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.286422Z","title":"Socurellm: An llm-driven approach for large-scale system-on-chip security verification and policy generation,","venue":null,"work_id":"6ab026de-d252-409c-978a-174ffc3d26d2","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.129596Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:c53e49af446f7490daed0d1166bb316c6490649560f21b5325eadf301c2c6c7f","observation_id":"6f06e92f-deda-4de9-b14b-496328c2580c","resolution":{"observed_at":"2026-08-06T22:55:10.291865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.134080Z","title":"Special session: Threatlens: Llm-guided threat modeling and test plan generation for hardware security verification,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.134080Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:86ecc62ceeda75074849cad41fe10cd0ff58329dac358dd949b81807b3d9d3aa","observation_id":"55d4f6bb-97ab-4090-9a0f-c40e58299837","resolution":{"observed_at":"2026-08-06T22:55:09.134080Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.261869Z","title":"Bugwhisperer: Fine- tuning llms for soc hardware vulnerability detection,","venue":null,"work_id":"c1d3ca07-ac07-4ea5-8366-b8a97a2354fc","year":2025},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.138859Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:c8e176f353add71b875bcdd6ccb0024ddd016c2113216f34693244153e2ab085","observation_id":"3b550043-539a-499e-b331-12f6fe9fcb07","resolution":{"observed_at":"2026-08-06T22:55:10.266650Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.247192Z","title":"Navigating soc security landscape on llm-guided paths,","venue":null,"work_id":"75183117-3f1e-49f5-b591-8880bd90b40c","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.143629Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:653c42147f7c84da7962171fde1b335e35a41555a06ea62ea5f8b35e86c6b568","observation_id":"e114dc03-5d58-45d0-98ab-a618077d57fb","resolution":{"observed_at":"2026-08-06T22:55:10.251889Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.231011Z","title":"Self-hwdebug: Automation of llm self- instructing for hardware security verification,","venue":null,"work_id":"5cb9c39b-5564-4813-b2f6-ce2266f0ce40","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.148062Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:1d9aa1d34f9d771d247ebdc27cfba08ebe1875580510e95caa489c17eaa4a381","observation_id":"ee43b9e2-3cd7-4970-b531-8bd35a62e53e","resolution":{"observed_at":"2026-08-06T22:55:10.236220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.213967Z","title":"Toward hardware security benchmarking of llms,","venue":null,"work_id":"cb2a625d-c3ad-4a2c-963a-5c5f203bf526","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.152595Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:bfd57fc7cbfb8abacb70c9c610eba51d48def5a67bcbac54cfc9b858a11ac847","observation_id":"7d3fd88f-02d6-458e-ae9b-35460848fb2e","resolution":{"observed_at":"2026-08-06T22:55:10.218806Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.07636","last_updated":"2024-12-10T16:16:22Z","snapshot_observed_at":"2026-08-14T05:10:19.625556Z","submitted_at":"2024-12-10T16:16:22Z","title":"TrojanWhisper: Evaluating Pre-trained LLMs to Detect and Localize Hardware Trojans","version":1},"cited_work":{"arxiv_id":"2412.07636","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.07636","snapshot_observed_at":"2026-08-06T22:55:09.672003Z","title":"TrojanWhisper: Evaluating Pre-trained LLMs to Detect and Localize Hardware Trojans","venue":"cs.CR","work_id":"f8b22e04-daeb-4ef9-b6f1-b9611e2b9f91","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.157056Z"},"links":{"cited_paper":"/paper/2412.07636","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:4cb5ebfea5959a55ad093431ea0fcb29376b41dfd08384bf9f45e6c951a152bf","observation_id":"a5085e45-3a1b-4d56-8e9c-4f1b39a435ef","resolution":{"observed_at":"2026-08-06T22:55:09.676844Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.198715Z","title":"Automated hardware logic obfuscation framework using gpt,","venue":null,"work_id":"102c5df4-7d0b-4d74-ab49-2e010f4de870","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.162037Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:3b9ab1708a07ab9b1dbaa71d1ad8c31a815df0e2dcbf2ccda23fa8d942fded35","observation_id":"aa9c7478-4baa-4a0f-9dc1-42d453790a1d","resolution":{"observed_at":"2026-08-06T22:55:10.203658Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.183872Z","title":"Hardware trojan detection in open-source hardware designs using machine learning,","venue":null,"work_id":"58c4d25c-cd37-4fc6-b0ff-b7ca617c76da","year":2025},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.166563Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:4c201ac5327da51133a02e19ac580079c4e6788be3a7133d918ae24f6e93ebff","observation_id":"3304d0c2-589f-44f4-a2dc-f3ed753ee13b","resolution":{"observed_at":"2026-08-06T22:55:10.188722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.169323Z","title":"Openassert: Towards secure assertion generation using large language models,","venue":null,"work_id":"6f0417ed-6789-4ee7-8a0f-c15cc488a0bf","year":2025},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.171052Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:2fb0114f440338b2e17351a8b2ef2934c49de825976311547ad4e76e5d40a388","observation_id":"087e9ed9-ef2b-416c-aa37-0fa062ec2f89","resolution":{"observed_at":"2026-08-06T22:55:10.173960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.154957Z","title":"Llm-based agentic systems in medicine and healthcare,","venue":null,"work_id":"d753cb57-5030-48a5-84b5-6b437a9505c1","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.175385Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:f2d5dcfde700d0a42816d695fc8108592f29362beb2d7d200d96247ab3d3ab85","observation_id":"40c72401-b613-42a7-b7f2-d8a16122e626","resolution":{"observed_at":"2026-08-06T22:55:10.159508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.179964Z","title":"Agentic ai: Autonomous intelligence for complex goals–a comprehensive survey,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.179964Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:bb581fe9708c371dc10a838d82ababbe179f12840b0993fb0fcd41397fdceadc","observation_id":"2d2c4877-c8ff-4a11-b976-1ae9ddda8ec3","resolution":{"observed_at":"2026-08-06T22:55:09.179964Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.04735","last_updated":"2024-07-22T22:37:40Z","snapshot_observed_at":"2026-08-16T14:03:05.620842Z","submitted_at":"2024-04-06T21:39:01Z","title":"MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.04735","snapshot_observed_at":"2026-08-06T22:55:09.184458Z","title":"Macm: Utilizing a multi-agent system for condition mining in solving complex mathemat- ical problems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.184458Z"},"links":{"cited_paper":"/paper/2404.04735","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:2c06562c5087ad4134038b45fc470219bcbdf22fa13aa5b9fa33c5b6c5afa05e","observation_id":"900a5ddc-6eee-4d37-8b18-4403bea9fd42","resolution":{"observed_at":"2026-08-06T22:55:09.184458Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.04783","last_updated":"2024-11-14T18:14:00Z","snapshot_observed_at":"2026-08-16T14:13:28.210442Z","submitted_at":"2024-03-02T16:52:22Z","title":"AutoDefense: Multi-Agent LLM Defense against Jailbreak Attacks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.04783","snapshot_observed_at":"2026-08-06T22:55:09.189483Z","title":"Autodefense: Multi-agent llm defense against jailbreak attacks,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.189483Z"},"links":{"cited_paper":"/paper/2403.04783","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:1f3b979682c5add1630455517f59985255e73588207fa239f6c685935c4a4917","observation_id":"e17440da-2c71-4720-b4c8-554849d03e38","resolution":{"observed_at":"2026-08-06T22:55:09.189483Z","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-08-06T22:55:09.194395Z","title":"Fincon: A synthesized llm multi-agent system with conceptual verbal reinforcement for enhanced financial decision making,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.194395Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:fd319becbf20c604ed766ed3eaa4caec54f403cb80e1adccd5ea3ab9f48e6884","observation_id":"d893ec44-90dd-47c4-810a-91be0ea107af","resolution":{"observed_at":"2026-08-06T22:55:09.194395Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.119867Z","title":"An autonomous multi-agent llm framework for agile soft- ware development,","venue":null,"work_id":"e7b33d21-bf79-4300-b91c-03aefecb013b","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.199793Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:f7f462eac297909af6f3433bb74d7794bd8a0b9d91490311255c73621a9abeab","observation_id":"cf6b428e-01a7-4a15-a51a-c31adb4f4541","resolution":{"observed_at":"2026-08-06T22:55:10.124489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.17481","last_updated":"2025-01-07T12:48:22Z","snapshot_observed_at":"2026-08-15T07:26:49.037180Z","submitted_at":"2024-12-23T11:11:51Z","title":"A Survey on LLM-based Multi-Agent System: Recent Advances and New Frontiers in Application","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.17481","snapshot_observed_at":"2026-08-06T22:55:09.204377Z","title":"A survey on multi- generative agent system: Recent advances and new frontiers,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.204377Z"},"links":{"cited_paper":"/paper/2412.17481","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:5ff9260b3818ad3950d471048165cecfb998de6890918a54aa87d07b5110346b","observation_id":"9a8d254e-e49e-4612-abf3-cb519e87fe46","resolution":{"observed_at":"2026-08-06T22:55:09.204377Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.105969Z","title":"[Online]","venue":null,"work_id":"c218501f-70f5-4708-ad0f-5a8bf284ba07","year":2021},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.209132Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:f33b0c4c75314a4a1ad3d41b61a290b27fc85200966ccf24b2e19abc8063d7a1","observation_id":"20e69fc4-a98a-46e7-8cc4-c3ea78830129","resolution":{"observed_at":"2026-08-06T22:55:10.110710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.092269Z","title":"Asset identification for electronic design ip,","venue":null,"work_id":"3cb74d1d-81f1-457c-9fbc-e4b1f6156b07","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.213817Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:6e7cd2027b201e9ebd17a168264bdb9c115651697eef8e2153773943509bd795","observation_id":"4c01af33-02d7-4e79-a026-143ad6a0d60d","resolution":{"observed_at":"2026-08-06T22:55:10.096797Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.04648","last_updated":"2025-02-07T04:17:25Z","snapshot_observed_at":"2026-08-15T08:47:52.164550Z","submitted_at":"2025-02-07T04:17:25Z","title":"Toward Automated Potential Primary Asset Identification in Verilog Designs","version":1},"cited_work":{"arxiv_id":"2502.04648","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.04648","snapshot_observed_at":"2026-08-06T22:55:09.606281Z","title":"Toward Automated Potential Primary Asset Identification in Verilog Designs","venue":"cs.CR","work_id":"ecf2f76b-deee-4a2d-b95e-738b8bad3b54","year":2025},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.218698Z"},"links":{"cited_paper":"/paper/2502.04648","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:b6a0a71e278b81d2c96d610bd2fc5cba085c73d0a91e1d4bfe08dd2193ad3e34","observation_id":"122dfc22-8d3e-4e4d-9f4d-adcd816770db","resolution":{"observed_at":"2026-08-06T22:55:09.611190Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.078196Z","title":"Automatic asset identification for assertion-based soc security verifi- cation,","venue":null,"work_id":"c7940d91-df06-4068-a5ee-4a2096c27c4f","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.223694Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:484d116eca97ccdc889b3ae6dd1004144d70329d9f2ed9b3a8476d90311a0642","observation_id":"37c31a37-8825-442d-9559-9727bb2182e7","resolution":{"observed_at":"2026-08-06T22:55:10.082927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.064692Z","title":"Lasp: Llm assisted security property generation for soc verification,","venue":null,"work_id":"879f6bfa-9ecf-4f3b-aa6d-5c5046661449","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.228350Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:9ea6686e2d5d1a62e85894161cd5f30d6ea45e235b8e2953d605ad8698c37f8b","observation_id":"e6f11560-d118-4652-b4ce-543e1bf3736e","resolution":{"observed_at":"2026-08-06T22:55:10.068986Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.049985Z","title":"Rfuzz: Coverage-directed fuzz testing of rtl on fpgas,","venue":null,"work_id":"157a40a1-7a35-41c0-a596-484f33ea75c7","year":2018},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.232670Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:7639619e79b8ed12a324f1283657665f893312fb3d47d76bb2e49f42012cb070","observation_id":"eaf2ef24-5b7c-4fbb-96e8-11f510941878","resolution":{"observed_at":"2026-08-06T22:55:10.055020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.09941","last_updated":"2022-01-24T20:29:23Z","snapshot_observed_at":"2026-08-16T17:26:17.445355Z","submitted_at":"2022-01-24T20:29:23Z","title":"TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities","version":1},"cited_work":{"arxiv_id":"2201.09941","doi":null,"metadata_source":"pith","pith_arxiv_id":"2201.09941","snapshot_observed_at":"2026-08-06T22:55:09.581247Z","title":"TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities","venue":"cs.CR","work_id":"f1c2ced7-1927-4ec2-b441-8496aba514d7","year":2022},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.236977Z"},"links":{"cited_paper":"/paper/2201.09941","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:65729ab35123de50f3091fc2812080239b10c7ef651aa361b7b0679de79409e4","observation_id":"93b91d9b-4877-47b9-852c-a7c4dba959af","resolution":{"observed_at":"2026-08-06T22:55:09.588902Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.036100Z","title":"Formalfuzzer: Formal verification assisted fuzz testing for soc vulnerability detection,","venue":null,"work_id":"d75ab7f2-4664-4855-b61c-7872282b7fef","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.241432Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:c968bfc66a470faf702f56cfabe7b621b1611d5763437541418ad31ea489c396","observation_id":"0a8b6186-3eb2-4280-98e8-e6e97aa8bf80","resolution":{"observed_at":"2026-08-06T22:55:10.040592Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.022179Z","title":"Cist: A threat modelling approach for hardware supply chain security,","venue":null,"work_id":"f21fb434-6489-4f48-a08e-278038d40974","year":2021},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.246046Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:2b58fb72f36c89d40ad1678c2f73ffe88bcc426198a802be5e4f9d867bc21fc0","observation_id":"f6e4d5ac-52d6-4710-8116-febc4c5f19ed","resolution":{"observed_at":"2026-08-06T22:55:10.026781Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:10.007862Z","title":"Hardware security: Threat models and metrics,","venue":null,"work_id":"1c2e10da-b56b-47a3-bcec-25e3d26064fd","year":2013},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.251177Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:08d469b9b35f3ad6095c6119561adc4c98c1a660e66986f896c3ed7a755f65c1","observation_id":"1aa35b2c-379c-4f45-8029-86bf5bada897","resolution":{"observed_at":"2026-08-06T22:55:10.012622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.991110Z","title":"A hardware threat modeling concept for trustable integrated circuits,","venue":null,"work_id":"bd4b7c08-e8c7-4bbf-8fd4-94ae898fec7b","year":2007},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.256532Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:5b9857d73340407a9d13821b06f2a78acf05c47f4b20ac55fe78024d5cab98a9","observation_id":"438a4fa9-493b-4a16-a328-2a742971af10","resolution":{"observed_at":"2026-08-06T22:55:09.996608Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.977753Z","title":"Security policy enforcement in modern soc designs,","venue":null,"work_id":"2bd4308b-5208-46f7-95bd-d9c0658ef122","year":2015},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.260859Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:4adae2830a27ebe9f58f1a27c757022927b7ed04894212117a8536068006f8a4","observation_id":"47b14d1f-5a50-475a-8ad2-cce8d92cced8","resolution":{"observed_at":"2026-08-06T22:55:09.982124Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.962550Z","title":"System-on-chip platform security assurance: Architecture and validation,","venue":null,"work_id":"c8c6ec55-6445-4fe0-abd4-f414ddbc0361","year":2017},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.265154Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:1f94d7183d44b294d16beb53fef2cd60cb6b49fed56492b249a3a4afbf2d938c","observation_id":"6ce3d0ee-b5cf-4b2a-ac4c-91cc650717dd","resolution":{"observed_at":"2026-08-06T22:55:09.967715Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.947842Z","title":"Security vulnerability analysis of design-for-test exploits for asset protection in socs,","venue":null,"work_id":"4e28098b-e314-4e96-9394-8fbb39eef6d8","year":2017},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.269580Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:852305a30b395ba4bb4c0681727852ddd1763de89c4db47963ad709c034f5855","observation_id":"05126c60-0fa2-4848-b641-7730dbe1c915","resolution":{"observed_at":"2026-08-06T22:55:09.953018Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.931782Z","title":"Script: A cad framework for power side-channel vulnerability assessment using information flow tracking and pattern generation,","venue":null,"work_id":"e8a5e9a6-37a4-4058-9b3b-b7cc1d5af277","year":2020},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.273992Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:0c07902c426044599f66b7521d18e96b0d880cdf6aa5ee05516045df1520d3ef","observation_id":"340c79fb-8043-4138-8d7a-7c4be5c352e9","resolution":{"observed_at":"2026-08-06T22:55:09.937006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.917422Z","title":"A flexible architecture for systematic implementation of soc security policies,","venue":null,"work_id":"d0316869-7249-46d1-a464-2e03318e65ee","year":2015},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.279048Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:cd18245fcdf208490cf01d2f2156b4a99a70253ff8bc3f7752bd25f85543729d","observation_id":"18812de7-2ad7-4fb4-9228-ef8591bf5949","resolution":{"observed_at":"2026-08-06T22:55:09.922062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.902271Z","title":"Security verification of the opentitan hardware root of trust,","venue":null,"work_id":"7c3f9dec-a34a-458a-a398-0060b0d4c036","year":2023},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.283612Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:4da7981ad49c3f20ee7d1f65f6c015b477f135f9f5c464e8a610ad7d57b24da8","observation_id":"71cbf566-b6b7-49a7-ac11-f2b4a62baaad","resolution":{"observed_at":"2026-08-06T22:55:09.907117Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.888322Z","title":"Soc secu- rity verification using property checking,","venue":null,"work_id":"b2159149-aab3-4c51-a620-1d5092231c32","year":2019},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.287826Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:a5f93a93566c5c1f01003753b01948c59041efed57bdef9a4ca7fbe311834069","observation_id":"7b1bd0d6-7ea0-4781-9bbd-91b07c997c61","resolution":{"observed_at":"2026-08-06T22:55:09.892920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.873738Z","title":"Towards property driven hardware security,","venue":null,"work_id":"30abb179-6783-4b74-b7fc-23c9fb67e0d8","year":2016},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.292315Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:30db9736c111d80f6127ad3ee00a11ef11656a9e214458d2419e092edc198bee","observation_id":"8f535be6-1845-42d1-b5bc-a629a725cbc8","resolution":{"observed_at":"2026-08-06T22:55:09.878425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.859166Z","title":"Automated generation of security assertions for rtl models,","venue":null,"work_id":"38b8813b-cb15-4d1e-b2a0-fb8a5292df78","year":2023},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.296972Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:de12cf52cff0700b8ee17d0f818ec10fbbd37e1951394fddffd444c1e19f6988","observation_id":"5d8fd87a-34d8-49be-8c1e-784795e2caea","resolution":{"observed_at":"2026-08-06T22:55:09.863725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.844702Z","title":"Harnessing machine learning to improve the success rate of stimuli generation,","venue":null,"work_id":"ff8f622d-0234-4e9b-9756-c2fc760f9026","year":2006},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.301313Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:83866f030f2db06562237933a0b7c6fa5d6ea80f9c0d77f19ad1dfe2879ce73a","observation_id":"6394e1ad-9409-4e57-84fd-9354fc398ea4","resolution":{"observed_at":"2026-08-06T22:55:09.849368Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.831010Z","title":"Automated coverage directed test generation using a cell-based genetic algorithm,","venue":null,"work_id":"ea71c1f1-32f1-484c-b1cc-20f671a19d62","year":2006},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.305975Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:8c81d1858ae936e882ae51a1c3d8311ebfd7a6630f375ad802772ba079624166","observation_id":"8729896e-dd05-40f7-92da-b734a6d1acd0","resolution":{"observed_at":"2026-08-06T22:55:09.835692Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.815881Z","title":"Machine learning for hardware security: Opportunities and risks,","venue":null,"work_id":"2f3146b3-1f28-4eae-8b84-11bf3d0196d3","year":2018},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.310791Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:dce60a043cd4d9edd2b53c1ae5c058d950e0902d41e12552d22937b031c7b1d0","observation_id":"178a06b7-020b-4274-908a-0f84e6eeffd2","resolution":{"observed_at":"2026-08-06T22:55:09.821027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.800698Z","title":"Hypfuzz:formal-assisted processor fuzzing,","venue":null,"work_id":"fb85f422-2635-4b36-9ab2-6191fef9e94f","year":2023},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.315193Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:88e5f49e6c92309fe37be219ba68dbde07bb525a5713cec05125135b1f907ac3","observation_id":"e8b2e33a-b9ae-4636-b206-20462903b7b3","resolution":{"observed_at":"2026-08-06T22:55:09.805269Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.786035Z","title":"Automatic test bench generation for simulation-based validation,","venue":null,"work_id":"c3693d84-d2ba-4e99-8634-ec8c584f36ab","year":2000},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.320023Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:ff3b7049aa5a1554fea0819c27c820a68dc0e6c728fe7e3f9779c9e5e8b1bd1c","observation_id":"ccbd879b-0443-4227-b95d-fbe00128d347","resolution":{"observed_at":"2026-08-06T22:55:09.791064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.771521Z","title":"Coverage directed test generation: Godson experience,","venue":null,"work_id":"2f3108e8-8ba4-49df-bf12-63a1f6d6e85e","year":2008},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.324221Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:b54af6b0cd57d018132ae94ce78d54783d0679d448e72d08772855bcccd0d6f4","observation_id":"8198a97d-f9a7-4669-b3a0-d54f03950aee","resolution":{"observed_at":"2026-08-06T22:55:09.776298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.757236Z","title":"Automatic boost- ing of cross-product coverage using bayesian networks,","venue":null,"work_id":"c29bc074-03d1-4269-af69-03415604a18b","year":2011},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.329023Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:8d615207bdb021e72153288fd47b87196398d6872679a2c4bad191af569aab8e","observation_id":"bc2c5cb4-5400-42ea-ae80-b1904db824f2","resolution":{"observed_at":"2026-08-06T22:55:09.761750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.06932","last_updated":"2023-08-14T04:21:10Z","snapshot_observed_at":"2026-08-16T15:08:45.056928Z","submitted_at":"2023-08-14T04:21:10Z","title":"DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.06932","snapshot_observed_at":"2026-08-06T22:55:09.333917Z","title":"Divas: An llm-based end-to-end framework for soc security analysis and policy-based protection,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.333917Z"},"links":{"cited_paper":"/paper/2308.06932","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:71da33f1e1db6a4b658e6f78e35c857e9b386bcf01931ed36d8c048ea22a78a4","observation_id":"936dca78-c614-4439-9d47-9944efe4a2a0","resolution":{"observed_at":"2026-08-06T22:55:09.333917Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.742759Z","title":"Llm4sechw: Leveraging domain-specific large language model for hardware debug- ging,","venue":null,"work_id":"d1178482-a5b1-4a88-af4f-83a8ab83adaf","year":2023},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.338596Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:d998bb4c28e45ca1c15e0678a5db091e7e4dbf806a496616b7fca21d4c2d7151","observation_id":"e622d6b6-7ffa-44c9-8180-f23aaa590091","resolution":{"observed_at":"2026-08-06T22:55:09.747500Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.16238","last_updated":"2024-11-25T09:53:35Z","snapshot_observed_at":"2026-08-14T07:27:51.469637Z","submitted_at":"2024-11-25T09:53:35Z","title":"UVLLM: An Automated Universal RTL Verification Framework using LLMs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.16238","snapshot_observed_at":"2026-08-06T22:55:09.342893Z","title":"Uvllm: An automated universal rtl verification framework using llms,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.342893Z"},"links":{"cited_paper":"/paper/2411.16238","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:82e7a609c76153ab6bd4f9a9c02d5b775ecbe7e80d43d05c5f657a8a9c177e24","observation_id":"eff81140-5be2-4877-8353-85d0ab0285c8","resolution":{"observed_at":"2026-08-06T22:55:09.342893Z","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-08-06T22:55:09.347202Z","title":"Rtlfixer: Automatically fixing rtl syntax errors with large language model,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.347202Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:da0ad986b3f43db69577bb0e0f9a00b70b5d86ae66e8fa4920b5e3cb69b4c368","observation_id":"3a84ceaa-b353-42ea-a724-73b49dedee21","resolution":{"observed_at":"2026-08-06T22:55:09.347202Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.11671","last_updated":"2024-03-18T11:19:37Z","snapshot_observed_at":"2026-08-16T14:08:51.349962Z","submitted_at":"2024-03-18T11:19:37Z","title":"HDLdebugger: Streamlining HDL debugging with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.11671","snapshot_observed_at":"2026-08-06T22:55:09.351544Z","title":"Hdldebugger: Streamlining hdl debugging with large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.351544Z"},"links":{"cited_paper":"/paper/2403.11671","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:efca3a64758a04e7806a8a6b626bfdda8d58a08ffb93b52bc3cd56ffc366d1eb","observation_id":"7d801361-ec76-4f30-beaf-ac4523e28112","resolution":{"observed_at":"2026-08-06T22:55:09.351544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04535","last_updated":"2025-03-25T16:32:46Z","snapshot_observed_at":"2026-08-16T14:54:22.310595Z","submitted_at":"2023-10-06T19:02:04Z","title":"LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04535","snapshot_observed_at":"2026-08-06T22:55:09.356710Z","title":"Llm4dv: Using large language models for hardware test stimuli generation,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.356710Z"},"links":{"cited_paper":"/paper/2310.04535","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:dd61de2823a6bf4c0631980d5a891bd9c3a95c247aa0bb6fc64c08970cbea3d9","observation_id":"db8a545c-3605-4b79-95b9-71430392503b","resolution":{"observed_at":"2026-08-06T22:55:09.356710Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.00115","last_updated":"2024-05-31T18:06:15Z","snapshot_observed_at":"2026-08-16T13:47:18.805920Z","submitted_at":"2024-05-31T18:06:15Z","title":"Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.00115","snapshot_observed_at":"2026-08-06T22:55:09.361068Z","title":"Towards llm-powered verilog rtl assistant: Self-verification and self-correction,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.361068Z"},"links":{"cited_paper":"/paper/2406.00115","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:1667b0bcaee11b69aeaff07599b0ec82f87e1698c78fff7d135ee2204a4a99d7","observation_id":"db456d25-33ab-4d0c-8769-8e304ccf650c","resolution":{"observed_at":"2026-08-06T22:55:09.361068Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.19099","last_updated":"2025-04-27T04:09:48Z","snapshot_observed_at":"2026-08-16T21:51:56.870492Z","submitted_at":"2025-04-27T04:09:48Z","title":"VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.19099","snapshot_observed_at":"2026-08-06T22:55:09.365872Z","title":"Veridebug: A unified llm for verilog debugging via contrastive embed- ding and guided correction,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.365872Z"},"links":{"cited_paper":"/paper/2504.19099","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:13e2feabbcbe38e9d6848773345a41971dec062680b8c2239f423c000c4124e4","observation_id":"7504df44-2fe8-492d-ae16-599cfe940c0e","resolution":{"observed_at":"2026-08-06T22:55:09.365872Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.17226","last_updated":"2025-04-24T03:34:37Z","snapshot_observed_at":"2026-08-16T14:06:16.960227Z","submitted_at":"2025-04-24T03:34:37Z","title":"FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.17226","snapshot_observed_at":"2026-08-06T22:55:09.370121Z","title":"Flag: Formal and llm- assisted sva generation for formal specifications of on-chip communica- tion protocols,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.370121Z"},"links":{"cited_paper":"/paper/2504.17226","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:ba579a21765b46f785f6c51db674beb5a9ab97e6ed505886f531718f6f84e82a","observation_id":"aa4b6cb0-fa18-42a0-80e8-360fa55de017","resolution":{"observed_at":"2026-08-06T22:55:09.370121Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.19174","last_updated":"2025-05-14T20:59:25Z","snapshot_observed_at":"2026-08-16T12:47:10.631214Z","submitted_at":"2025-03-24T21:53:37Z","title":"AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.19174","snapshot_observed_at":"2026-08-06T22:55:09.374587Z","title":"Assertionforge: Enhancing formal verification assertion generation with structured representation of specifications and rtl,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.374587Z"},"links":{"cited_paper":"/paper/2503.19174","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:2a25345aee1ce106499f9f23a110c0ea8392ed7fc11767a8a06986aebad7ecf6","observation_id":"608bd155-9046-40f0-9577-3b621ecabda7","resolution":{"observed_at":"2026-08-06T22:55:09.374587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.23299","last_updated":"2024-10-15T21:48:57Z","snapshot_observed_at":"2026-08-16T13:09:01.031737Z","submitted_at":"2024-10-15T21:48:57Z","title":"FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.23299","snapshot_observed_at":"2026-08-06T22:55:09.379104Z","title":"Fveval: Understanding language model capabilities in formal verification of digital hardware,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.379104Z"},"links":{"cited_paper":"/paper/2410.23299","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:9682fab626be9a6270ba386e3c0069e58b4adcf01161bd8bf57d0bcb444013f2","observation_id":"98ff1636-de98-4b97-ab8b-3b2b14d63cbc","resolution":{"observed_at":"2026-08-06T22:55:09.379104Z","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-08-06T22:55:09.383506Z","title":"Towards improving verification pro- ductivity with circuit-aware translation of natural language to systemver- ilog assertions,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.383506Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:b2f6375cb43c307c12e4181fadb1430c6414370b1acb54d99581bac2b4d54f27","observation_id":"2f202523-5748-4ffa-aad2-cb2347215b9a","resolution":{"observed_at":"2026-08-06T22:55:09.383506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.18627","last_updated":"2025-02-28T00:54:32Z","snapshot_observed_at":"2026-08-16T13:39:24.037398Z","submitted_at":"2024-06-26T14:47:28Z","title":"AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.18627","snapshot_observed_at":"2026-08-06T22:55:09.388266Z","title":"Assertionbench: A benchmark to evaluate large-language models for assertion generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.388266Z"},"links":{"cited_paper":"/paper/2406.18627","citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:60e5662f32c212a72d758c6bd3f918dc07f241740d3b78ac2c87cd8e6f179e31","observation_id":"0f195651-f9cd-40ad-8fc1-8022bbd9d75a","resolution":{"observed_at":"2026-08-06T22:55:09.388266Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:55:09.709192Z","title":"Llm-guided formal verification coupled with mutation testing,","venue":null,"work_id":"673d1786-cbf8-4c1a-bc2f-5670497c670d","year":2024},"citing_paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-06T22:55:09.392728Z"},"links":{"citing_paper":"/paper/2506.20415"},"observation_digest":"sha256:9c60ee06dcd6841bfb7d34105f5e4a79a89c13e491cd520fbd85c2a20f2cb71d","observation_id":"a8110abe-a0e9-4345-b325-57cd39c831ea","resolution":{"observed_at":"2026-08-06T22:55:09.713954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.20415","last_updated":"2025-06-25T13:31:13Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-15T02:07:52.664350Z","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models"},"reference_resolution":{"displayed":81,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":22,"verified_exact":4,"verified_fuzzy":55},"total_outbound_references":81},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 81 of 81 outbound references and 4 inbound Pith citation observations for arXiv:2506.20415."}