{"as_of":"2026-08-07T15:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:60c7cd244bf1c4dae940f20ffe663c8481b08a55e44416d276cbfdd8b4262d31","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-07T06:34:17.273281+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-06T22:46:10.805099Z","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-07-06T22:40:46.465095Z","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:258ce18ae86dcd627080f08e3cff9e58e7cd06904728ed349308c3e17a6ac39e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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-07-06T22:45:53.926021Z","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:2b095fede7c89f1571cfd1f7b45118ca15e1a04e25a003b8a098dbf053350379","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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-07-06T22:47:28.681790Z","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:629859a9e57f4915a348fece0c73d1777f60dfe674b7c327ac699c19f37e7c6c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:da6a48c33a9cbb212f7131f4a92e4640a0f6ae8e8a92e709bcc08e39d88ba5e1","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:d81dd8d115dbbee9b1fbb5057d3fc1ddeab7d7d5ec3d296aca7c09098decda87","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-06T22:46:10.805099Z","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:ce357ea7275381f7eb36d6a01109106d4ea061c06ec2be2ae75badd8f39f711b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:9ce8c22364691cb0e096f8b974d9ca1369f4138a2f9f640386a574e2ac0d5311","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:777aa0ac36acd32c3e29456e32a9b7767496e62f25f0a99623acdda005a30c1e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:ef407ece19c06b9324dc6ad746de23461a89bf2f339d904d6cd53432c23022d5","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-06T22:46:10.805099Z","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:b457d94d270d212db38af82b3798fbb1ff03f9957377600bbe12df49642029b2","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:46fe9bdb1c851f58320085fcc9903df122ca92f8f1297d3aae8e9a294e3e5d41","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:eaf976e54592337f7f31a1e4d7b93244b6a57c4e8c2285ec09fd98e524048eae","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:aa274ddb5f98a6c8f99dd6a4577700e7d30280c4897772968bfc2c46d6b78545","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:373295482e4424ca0e4f83e55ca53d9bac820fc27a25bb76b82370e10effcda1","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:1707118682d6fc3a064c0108acc35aed10854c20b443e571419691af510116e4","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:92a8d3977fd1e6f15986b4bfc384e72700cb9dd651d1fd28dd498df726a2fece","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:a4e8826a23dfcc78c4e9fcc8e0fa96b75d94c382a2bb4989162c47fc95af0a44","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:697988dd720c0c99a3cfd58d3d03144ac6f39216d643916fc68fb7a382fabef0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-04T22:13:55.616314Z","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-06T22:46:10.805099Z","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:22eecbd21e3797b95cc6e79077859212bbab7679a7142d5552fb955eb2d9db6c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:688a98e3f8abae79ff28c8bcc991026b77779fa07c9402fda816d88e6b7c9ead","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:b779295f7f4d04bcc19bddf21680f37afba64e63f5c7f76e0b667fa01b9d1c4f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:84d9297956f14266f5fee830c0b268d2dfd120b04bc532c76ac751503ca756e1","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:3c9141d26d501bd5cca72339705cb016e712c2bef1fc4c17cf314aa5505a8148","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:197d91dbf411e93395ccc7300e6c903939d82ea3bab7a0bb99824585aa846ae3","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-06T22:46:10.805099Z","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:444986e41e6a83579b11b4480d042b790e177c3b8cc8d2b35451b99f436f762a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:df8091f907101a2a26cf389e9b4932bc18e7bc0e1646ff2bdeb45861ee65c10a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:fad7c698dce4abd448ad6b3e71a89edbf71deef2833db240eff4b7b744ec8b05","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-06T22:46:10.805099Z","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:7895de9872448111937f65409f096997065ee9802adb2dcd8549bf817827f190","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:59801e4708a3824f0b061fadc5a85b0b797f8410b9d6b37067ecd1b259b32599","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-06T22:46:10.805099Z","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:1d2138d4ae9df19a4130c2bfbc08970d166baa6480a3d9363cf4f3d188361464","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:8056965b01ae4ddd49f7242dfeab76afe731292dfcc597bc9135fb996533f576","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:549faba70b286c00dd59229e045b829a1d447be8519c00dd154db47c315621aa","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:914320550cf3a8368ee6d8a6bec37ae5d13aeebaaa7e7bc0e4b7dd01eadabc4f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T20:04:43.926718Z","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-06T22:46:10.805099Z","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:d2d0ed73309780a6bc13db15388e27d6bb79c32329de3501a60d9110df06de3f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:753364528d5d9f4bf4b53dd1918eb6d98273c8c81daa01ae72b899ab78326d67","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:fc81d90e5396a8cadf9dc9bc321f924134b6d8da201d97b0da9642bf0e0fe5c4","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:4aaf0f63f15156601a50d34aacbd8f0a069b72fc798cd5cfdfbc609fce581670","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:251de79a3006218dc05f04881e0a02c156b3ebd881909aec5605a17b491422c0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:c7c1ec145e66fae44d74d8d7193e3c277300ba3faaa035947f70195fd898acbb","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-07T05:06:52.668783Z","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-06T22:46:10.805099Z","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:516a0869f17f96878858163d971d39ff401df15aeafbaa69b2deef2cc91b58b4","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-07T06:17:52.920196Z","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-06T22:46:10.805099Z","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:6773310ff5814b9daaf84d3a3c0824b57c4c75df413524a504d30f56a4fc25bf","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-06T22:46:10.805099Z","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:30915e28bb158f85535e28652d4bf39c6e5b94fb71493b4a453ae4b75753d6ac","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-06T22:46:10.805099Z","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:7fbe90c74cf610e28f28a70dac382e3dc45ffee09cc8532676a5f43f7a9589ab","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T20:12:04.557004Z","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-06T22:46:10.805099Z","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:40a3316fa2625bc942a0163c6e785f03451629b6ae3759032a9705a3c575f5e9","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-06T22:46:10.805099Z","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:cd499ce8361f74cf56df4fa4a0b3c7a34bd948f23946e4f1c4a0a44874fda1e0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:c31bc9e7ca350c33ff805e4d387857ba478b2ce832b4e6e665425545f61ed751","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-04T12:59:05.661177Z","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-06T22:46:10.805099Z","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:ad6506bbcb5395765ea9b6bc7f5cc4fb7e581b2a4a46d1c6ab0ea39a2c847711","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:e781891b55458dc9a21288e98b828498b5150eedf50835bfd33fdd398caa46ed","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:7dc9682bb6466429b66aa83587048b98fd85d09d9095c16d4f51f9f08d9c92eb","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:50a6234d406a25ca392a8e8c010623c483ccc7476dfb673b1dec83156e5e819e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T12:30:48.535576Z","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-06T22:46:10.805099Z","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:8651a215943ef5f1eacba3498ad6aef0530cf2f9c8e9add20814578707bcb179","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:1923ddd669f9a6e0819a97f1061a65a0ce29faf92b0db88758b7ade06d2d20dd","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:15d8a8dd03cc16f649dd477fa22994c0d9a7b09e58d5bad31a9739560d0a2839","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:d4f8256b74979eb936b7fbab1aea079a03a9fbdca9b6b79055de08d89de2ddca","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:5c75af5a32aadf033254694262f34f59ddc0e380a34ebeffeec3c7f7e3c407f6","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:86c53ff6871682570ce7e7f34b75c4c4682988bdae996bd1c59a3cabb55606f0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:8730944941e13d46ae9b5c09d67b2b58c52a8dc881e324555f795a4cc4fd32f2","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:ac333e6f80add62a3965aaf4163cb2638a3576343fd099ac653212ecc6cadddd","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:41a8177066cd96b4284b90bf4ec3bfb1e0cd5fe173587c6be93bc13054a56a03","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:d6466eec00c36b1ded8503886ac7e2b47e28db394d3aa83700c9ed93deba45fd","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:d529413ca8e6fc6f347952403ddffce35e7e43a69a4d7dbf77760a73bbe98d0b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:013d50ecfe7370095bbab91dc499abec219cff03b1c90d1315963c3ac6e4248b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:ca134ac373046acb723783163a89548af736e0c60433b12d23a209aa2913bb4b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:8b835e2764f67051ba7f9a30cd00f469a5438ccad37711dc79e532eee2ace613","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:328ac7a508733d82fbb7beee3cd1804716ef25a4b708aee20aa5afc5a492d998","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:77e017b703d5b71e587979eed7dbaceff957638d2ab347761fabf3fd46d263c2","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:33098077b49477a7a35ecc85dc5094d521425639e85c23c4f089e85a48790a94","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:c4a10fc037898b00e4225559a6a9cf422507f08d87e505a9d5568d4650d86269","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:d7736c28b800ced3dc9d500c9d6dea4f2ebb1f26d3e45a1cd05a1d01b4b8f2ab","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:cc9ac0d5c868242e1c416364b57e2cb9fc58f0fa7bc3107f0c934a523ed21a84","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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:a692d12172baf3522f55cc5b3f84df9c6aed9beffbeedbafd74e3c12938cd2d6","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-31T04:25:52.623655Z","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-06T22:46:10.805099Z","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:3f9a98a5f9dde1a8ffd99a3eebab7c433c5bc7f21d071b629116c064781354e3","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-06T22:46:10.805099Z","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:739fd92c50ce5850eb2902e5a77cc4a9000beca514aa6dddcb0b86bca23c0b86","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-02T04:58:07.813974Z","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-06T22:46:10.805099Z","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:5f521fe62bb3f89d1887b6fb17a558403d7c8c98de337dd5e82fd9ba8d3d273e","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-06T22:46:10.805099Z","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:fd86cbf3dd05d299cfd515d991220582f5a387fa2d99acbb4929fc49ac6889c9","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-03T23:45:53.300961Z","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-06T22:46:10.805099Z","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:110bf0402b5dda8f6dacbb1b406b5eb8cf62253793f5942e9561eb6ab373f48c","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-03T14:14:27.880920Z","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-06T22:46:10.805099Z","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:f0232a2b0450ee870cf647d22d9c5633c16e0da3e1e43ab6a8d41786a40faf0e","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-07-06T18:23:31.520359Z","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-06T22:46:10.805099Z","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:2621d97d52825eb1a81837c109b15e83e69c94c101c666bbfbffa4b64a80b4aa","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-07-06T21:15:17.505382Z","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-06T22:46:10.805099Z","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:7afc21019ee1ed81d3ddf69c5268dcfdc31b2deb73c2ca58adb3ec6b3a78d2c5","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-07-06T21:14:00.280199Z","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-06T22:46:10.805099Z","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:dc97ab0d5d161f72bd6a5510a15e29d1817e3f25d246a9acff7fa716f18b3146","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-07-06T20:58:06.224759Z","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-06T22:46:10.805099Z","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:a70ff81fe7e5b64e460532ef5b53de4499758cf1b1b5de1537adc5370d828a5e","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-05T08:20:00.655408Z","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-06T22:46:10.805099Z","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:3a9be8c547c2e8f93218a906eb7d3ef51d433c52f6db292e815ca349f6608851","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-06T22:46:10.805099Z","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:18b68c717b2cf4bf879a9386944c2cf7fda7d00fec15a73d720f67fdf42597ce","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-07-06T18:37:30.752868Z","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-06T22:46:10.805099Z","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:ad5745468bdcc2728297492248c060962b68ff32d566af84b766205bdeb677e7","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-06T22:46:10.805099Z","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:7be112152d8221677931cc87eaacf79ccdb78af7efbd2924985d558d5aa328d7","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T22:46:10.805099Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 81 of 81 outbound references and 4 inbound Pith citation observations for arXiv:2506.20415."}