Paper Citation Record · LEDGER

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models

As of 8 August 2026, this Paper Citation Record lists 81 of 81 outbound references and 4 inbound Pith citation observations for arXiv:2506.20415.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.20415 v1

Coverage vector

measured 81 of 81 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T22:55:09.392728Z

measured 85 of 85 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-03T11:42:34.927821Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-07-03T11:48:04.404752Z

Reference resolution

81 of 81 outbound references displayed

verified exact4
verified fuzzy55
unresolved22
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7804bf0c-19ee-43e3-8fda-a48cf3da6981 · outbound

This paper cites an unresolved cited work.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.020880Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea290164-ef08-4610-998f-2da13607355e · outbound

This paper cites Pacman: attacking arm pointer authentication with speculative execution,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Pacman: attacking arm pointer authentication with speculative execution,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.626734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 06fea500-7248-4f45-8672-48f7e07a75ce · outbound

This paper cites Augury: Using data memory- dependent prefetchers to leak data at rest,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Augury: Using data memory- dependent prefetchers to leak data at rest,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.597733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2eb4ef0f-76fd-4bff-ac22-b96128ca58ba · outbound

This paper cites Riscvuzz: Discovering architectural cpu vulnerabilities via differential hardware fuzzing,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Riscvuzz: Discovering architectural cpu vulnerabilities via differential hardware fuzzing,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.576791Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 436ce208-5cac-4ced-80ff-9bc7117f6e5a · outbound

This paper cites Formal security verification of third party intellectual property cores for infor- mation leakage,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Formal security verification of third party intellectual property cores for infor- mation leakage,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.041967Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4facf83-9be5-4fc0-8bd7-0fba1c9fb27e · outbound

This paper cites Formal verification of taint-propagation security properties in a commercial soc design,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Formal verification of taint-propagation security properties in a commercial soc design,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.541787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6021b59e-055c-4b11-bdc1-7648ea9b2e4a · outbound

This paper cites Hardware trojan detection through information flow security verification,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Hardware trojan detection through information flow security verification,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.517783Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ed942413-780c-47cd-a763-12dd90005729 · outbound

This paper cites Scalable concolic testing of rtl models,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Scalable concolic testing of rtl models,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.503663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 62a7df3b-8d2d-41ab-9d8e-4fee416acf92 · outbound

This paper cites Automated activation of multiple targets in rtl models using concolic testing,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Automated activation of multiple targets in rtl models using concolic testing,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.489485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 31261d1d-2d16-440e-aa5f-93f5a1ccd8ca · outbound

This paper cites Rtl- fsmx: Fast and accurate finite state machine extraction at the rtl for security applications,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Rtl- fsmx: Fast and accurate finite state machine extraction at the rtl for security applications,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.475421Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 15e794e8-2c9a-493a-87c0-30b10cf6f147 · outbound

This paper cites Quardtropy: Detecting and quantifying unauthorized information leakage in hardware designs using g-entropy,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Quardtropy: Detecting and quantifying unauthorized information leakage in hardware designs using g-entropy,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.461314Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation abb13d0f-0f2d-4c6a-8c75-120b513d17d2 · outbound

This paper cites Mab- fuzz: Multi-armed bandit algorithms for fuzzing processors,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Mab- fuzz: Multi-armed bandit algorithms for fuzzing processors,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.446144Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 02250d5a-ad47-4ecd-aae6-a690e9c0ef2b · outbound

This paper cites Socfuzzer: Soc vulnerability detection using cost function enabled fuzz testing,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Socfuzzer: Soc vulnerability detection using cost function enabled fuzz testing,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.431020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7dd73854-4806-4f1d-bbac-ab3e54a80563 · outbound

This paper cites Fuzz, penetration, and ai testing for soc security verification: Challenges and solutions,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Fuzz, penetration, and ai testing for soc security verification: Challenges and solutions,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.414196Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 416bcde8-2d79-42ef-80ed-514dbc5f85f3 · outbound

This paper cites Fuzzing Hardware Like Software.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Fuzzing Hardware Like Software

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-08-06T22:55:09.696669Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f006144a-71b3-420c-8d4f-b6750906c971 · outbound

This paper cites Sharpen: Soc security verification by hardware penetration test,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Sharpen: Soc security verification by hardware penetration test,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.399247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3635374c-8536-4f7e-9f1a-3f4d21b2e43b · outbound

This paper cites Re-pen: Reinforcement learning-enforced penetration testing for soc security verification,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Re-pen: Reinforcement learning-enforced penetration testing for soc security verification,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.384275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 54da83d3-6467-4f62-95c0-704e68f44cbd · outbound

This paper cites Bench- marking of soc-level hardware vulnerabilities: A complete walkthrough,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Bench- marking of soc-level hardware vulnerabilities: A complete walkthrough,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.369384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 22a6d0b5-2d6b-49d1-bcbf-50d017fc9919 · outbound

This paper cites Llm for soc security: A paradigm shift,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Llm for soc security: A paradigm shift,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.354070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0374694d-1051-4b1d-8a9b-e34ea1a70482 · outbound

This paper cites (security) assertions by large language models,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models (security) assertions by large language models,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.111189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01f1218e-c097-4acd-9749-86039203e22f · outbound

This paper cites On hardware security bug code fixes by prompting large language models,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models On hardware security bug code fixes by prompting large language models,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.330730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation bc93fe8f-353e-4836-8d5d-9222240c48b4 · outbound

This paper cites Nspg: Natural language processing-based secu- rity property generator for hardware security assurance,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Nspg: Natural language processing-based secu- rity property generator for hardware security assurance,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.316442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7d0e76de-1c51-4971-9dcf-9cca66553951 · outbound

This paper cites Empowering hardware security with llm: The development of a vul- nerable hardware database,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Empowering hardware security with llm: The development of a vul- nerable hardware database,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.125352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f06e92f-deda-4de9-b14b-496328c2580c · outbound

This paper cites Socurellm: An llm-driven approach for large-scale system-on-chip security verification and policy generation,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Socurellm: An llm-driven approach for large-scale system-on-chip security verification and policy generation,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.291865Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 55d4f6bb-97ab-4090-9a0f-c40e58299837 · outbound

This paper cites Special session: Threatlens: Llm-guided threat modeling and test plan generation for hardware security verification,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Special session: Threatlens: Llm-guided threat modeling and test plan generation for hardware security verification,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.134080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b550043-539a-499e-b331-12f6fe9fcb07 · outbound

This paper cites Bugwhisperer: Fine- tuning llms for soc hardware vulnerability detection,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Bugwhisperer: Fine- tuning llms for soc hardware vulnerability detection,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.266650Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e114dc03-5d58-45d0-98ab-a618077d57fb · outbound

This paper cites Navigating soc security landscape on llm-guided paths,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Navigating soc security landscape on llm-guided paths,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.251889Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ee43b9e2-3cd7-4970-b531-8bd35a62e53e · outbound

This paper cites Self-hwdebug: Automation of llm self- instructing for hardware security verification,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Self-hwdebug: Automation of llm self- instructing for hardware security verification,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.236220Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7d3fd88f-02d6-458e-ae9b-35460848fb2e · outbound

This paper cites Toward hardware security benchmarking of llms,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Toward hardware security benchmarking of llms,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.218806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a5085e45-3a1b-4d56-8e9c-4f1b39a435ef · outbound

This paper cites TrojanWhisper: Evaluating Pre-trained LLMs to Detect and Localize Hardware Trojans.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models TrojanWhisper: Evaluating Pre-trained LLMs to Detect and Localize Hardware Trojans

Reference 30

Resolution: verified exact; local_arxiv, observed 2026-08-06T22:55:09.676844Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation aa9c7478-4baa-4a0f-9dc1-42d453790a1d · outbound

This paper cites Automated hardware logic obfuscation framework using gpt,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Automated hardware logic obfuscation framework using gpt,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.203658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3304d0c2-589f-44f4-a2dc-f3ed753ee13b · outbound

This paper cites Hardware trojan detection in open-source hardware designs using machine learning,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Hardware trojan detection in open-source hardware designs using machine learning,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.188722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 087e9ed9-ef2b-416c-aa37-0fa062ec2f89 · outbound

This paper cites Openassert: Towards secure assertion generation using large language models,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Openassert: Towards secure assertion generation using large language models,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.173960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 40c72401-b613-42a7-b7f2-d8a16122e626 · outbound

This paper cites Llm-based agentic systems in medicine and healthcare,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Llm-based agentic systems in medicine and healthcare,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.159508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2d2c4877-c8ff-4a11-b976-1ae9ddda8ec3 · outbound

This paper cites Agentic ai: Autonomous intelligence for complex goals–a comprehensive survey,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Agentic ai: Autonomous intelligence for complex goals–a comprehensive survey,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.179964Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 900a5ddc-6eee-4d37-8b18-4403bea9fd42 · outbound

This paper cites MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.184458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e17440da-2c71-4720-b4c8-554849d03e38 · outbound

This paper cites AutoDefense: Multi-Agent LLM Defense against Jailbreak Attacks.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models AutoDefense: Multi-Agent LLM Defense against Jailbreak Attacks

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.189483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d893ec44-90dd-47c4-810a-91be0ea107af · outbound

This paper cites Fincon: A synthesized llm multi-agent system with conceptual verbal reinforcement for enhanced financial decision making,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Fincon: A synthesized llm multi-agent system with conceptual verbal reinforcement for enhanced financial decision making,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.194395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf6b428e-01a7-4a15-a51a-c31adb4f4541 · outbound

This paper cites An autonomous multi-agent llm framework for agile soft- ware development,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models An autonomous multi-agent llm framework for agile soft- ware development,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.124489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9a8d254e-e49e-4612-abf3-cb519e87fe46 · outbound

This paper cites A Survey on LLM-based Multi-Agent System: Recent Advances and New Frontiers in Application.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models A Survey on LLM-based Multi-Agent System: Recent Advances and New Frontiers in Application

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.204377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20e69fc4-a98a-46e7-8cc4-c3ea78830129 · outbound

This paper cites [Online].

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models [Online]

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.110710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4c01af33-02d7-4e79-a026-143ad6a0d60d · outbound

This paper cites Asset identification for electronic design ip,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Asset identification for electronic design ip,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.096797Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 122dfc22-8d3e-4e4d-9f4d-adcd816770db · outbound

This paper cites Toward Automated Potential Primary Asset Identification in Verilog Designs.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Toward Automated Potential Primary Asset Identification in Verilog Designs

Reference 43

Resolution: verified exact; local_arxiv, observed 2026-08-06T22:55:09.611190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 37c31a37-8825-442d-9559-9727bb2182e7 · outbound

This paper cites Automatic asset identification for assertion-based soc security verifi- cation,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Automatic asset identification for assertion-based soc security verifi- cation,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.082927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e6f11560-d118-4652-b4ce-543e1bf3736e · outbound

This paper cites Lasp: Llm assisted security property generation for soc verification,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Lasp: Llm assisted security property generation for soc verification,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.068986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation eaf2ef24-5b7c-4fbb-96e8-11f510941878 · outbound

This paper cites Rfuzz: Coverage-directed fuzz testing of rtl on fpgas,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Rfuzz: Coverage-directed fuzz testing of rtl on fpgas,

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.055020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 93b91d9b-4877-47b9-852c-a7c4dba959af · outbound

This paper cites TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities

Reference 47

Resolution: verified exact; local_arxiv, observed 2026-08-06T22:55:09.588902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0a8b6186-3eb2-4280-98e8-e6e97aa8bf80 · outbound

This paper cites Formalfuzzer: Formal verification assisted fuzz testing for soc vulnerability detection,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Formalfuzzer: Formal verification assisted fuzz testing for soc vulnerability detection,

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.040592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f6e4d5ac-52d6-4710-8116-febc4c5f19ed · outbound

This paper cites Cist: A threat modelling approach for hardware supply chain security,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Cist: A threat modelling approach for hardware supply chain security,

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.026781Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1aa35b2c-379c-4f45-8029-86bf5bada897 · outbound

This paper cites Hardware security: Threat models and metrics,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Hardware security: Threat models and metrics,

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:10.012622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 438a4fa9-493b-4a16-a328-2a742971af10 · outbound

This paper cites A hardware threat modeling concept for trustable integrated circuits,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models A hardware threat modeling concept for trustable integrated circuits,

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.996608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 47b14d1f-5a50-475a-8ad2-cce8d92cced8 · outbound

This paper cites Security policy enforcement in modern soc designs,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Security policy enforcement in modern soc designs,

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.982124Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6ce3d0ee-b5cf-4b2a-ac4c-91cc650717dd · outbound

This paper cites System-on-chip platform security assurance: Architecture and validation,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models System-on-chip platform security assurance: Architecture and validation,

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.967715Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 05126c60-0fa2-4848-b641-7730dbe1c915 · outbound

This paper cites Security vulnerability analysis of design-for-test exploits for asset protection in socs,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Security vulnerability analysis of design-for-test exploits for asset protection in socs,

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.953018Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 340c79fb-8043-4138-8d7a-7c4be5c352e9 · outbound

This paper cites Script: A cad framework for power side-channel vulnerability assessment using information flow tracking and pattern generation,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Script: A cad framework for power side-channel vulnerability assessment using information flow tracking and pattern generation,

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.937006Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 18812de7-2ad7-4fb4-9228-ef8591bf5949 · outbound

This paper cites A flexible architecture for systematic implementation of soc security policies,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models A flexible architecture for systematic implementation of soc security policies,

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.922062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 71cbf566-b6b7-49a7-ac11-f2b4a62baaad · outbound

This paper cites Security verification of the opentitan hardware root of trust,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Security verification of the opentitan hardware root of trust,

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.907117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7b1bd0d6-7ea0-4781-9bbd-91b07c997c61 · outbound

This paper cites Soc secu- rity verification using property checking,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Soc secu- rity verification using property checking,

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.892920Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8f535be6-1845-42d1-b5bc-a629a725cbc8 · outbound

This paper cites Towards property driven hardware security,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Towards property driven hardware security,

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.878425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5d8fd87a-34d8-49be-8c1e-784795e2caea · outbound

This paper cites Automated generation of security assertions for rtl models,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Automated generation of security assertions for rtl models,

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.863725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6394e1ad-9409-4e57-84fd-9354fc398ea4 · outbound

This paper cites Harnessing machine learning to improve the success rate of stimuli generation,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Harnessing machine learning to improve the success rate of stimuli generation,

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.849368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8729896e-dd05-40f7-92da-b734a6d1acd0 · outbound

This paper cites Automated coverage directed test generation using a cell-based genetic algorithm,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Automated coverage directed test generation using a cell-based genetic algorithm,

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.835692Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 178a06b7-020b-4274-908a-0f84e6eeffd2 · outbound

This paper cites Machine learning for hardware security: Opportunities and risks,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Machine learning for hardware security: Opportunities and risks,

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.821027Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e8b2e33a-b9ae-4636-b206-20462903b7b3 · outbound

This paper cites Hypfuzz:formal-assisted processor fuzzing,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Hypfuzz:formal-assisted processor fuzzing,

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.805269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ccbd879b-0443-4227-b95d-fbe00128d347 · outbound

This paper cites Automatic test bench generation for simulation-based validation,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Automatic test bench generation for simulation-based validation,

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.791064Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8198a97d-f9a7-4669-b3a0-d54f03950aee · outbound

This paper cites Coverage directed test generation: Godson experience,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Coverage directed test generation: Godson experience,

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.776298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation bc2c5cb4-5400-42ea-ae80-b1904db824f2 · outbound

This paper cites Automatic boost- ing of cross-product coverage using bayesian networks,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Automatic boost- ing of cross-product coverage using bayesian networks,

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.761750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 936dca78-c614-4439-9d47-9944efe4a2a0 · outbound

This paper cites DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.333917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e622d6b6-7ffa-44c9-8180-f23aaa590091 · outbound

This paper cites Llm4sechw: Leveraging domain-specific large language model for hardware debug- ging,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Llm4sechw: Leveraging domain-specific large language model for hardware debug- ging,

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.747500Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation eff81140-5be2-4877-8353-85d0ab0285c8 · outbound

This paper cites UVLLM: An Automated Universal RTL Verification Framework using LLMs.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models UVLLM: An Automated Universal RTL Verification Framework using LLMs

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.342893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a84ceaa-b353-42ea-a724-73b49dedee21 · outbound

This paper cites Rtlfixer: Automatically fixing rtl syntax errors with large language model,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Rtlfixer: Automatically fixing rtl syntax errors with large language model,

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.347202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d801361-ec76-4f30-beaf-ac4523e28112 · outbound

This paper cites HDLdebugger: Streamlining HDL debugging with Large Language Models.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models HDLdebugger: Streamlining HDL debugging with Large Language Models

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.351544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db8a545c-3605-4b79-95b9-71430392503b · outbound

This paper cites LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.356710Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db456d25-33ab-4d0c-8769-8e304ccf650c · outbound

This paper cites Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.361068Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7504df44-2fe8-492d-ae16-599cfe940c0e · outbound

This paper cites VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.365872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa4b6cb0-fa18-42a0-80e8-360fa55de017 · outbound

This paper cites FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.370121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 608bd155-9046-40f0-9577-3b621ecabda7 · outbound

This paper cites AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.374587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98ff1636-de98-4b97-ab8b-3b2b14d63cbc · outbound

This paper cites FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.379104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f202523-5748-4ffa-aad2-cb2347215b9a · outbound

This paper cites Towards improving verification pro- ductivity with circuit-aware translation of natural language to systemver- ilog assertions,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Towards improving verification pro- ductivity with circuit-aware translation of natural language to systemver- ilog assertions,

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.383506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f195651-f9cd-40ad-8fc1-8022bbd9d75a · outbound

This paper cites AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:09.388266Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8110abe-a0e9-4345-b325-57cd39c831ea · outbound

This paper cites Llm-guided formal verification coupled with mutation testing,.

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models Llm-guided formal verification coupled with mutation testing,

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:55:09.713954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

Observation b9ce994f-9095-490a-b6d1-8adf15a27b67 · inbound

LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification cites this paper.

LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-05-16T17:53:11.574188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b7ae158e-8fa4-49c2-8a53-277b1fd51a92 · inbound

Evaluating LLM-Generated ACSL Annotations for Formal Verification cites this paper.

Evaluating LLM-Generated ACSL Annotations for Formal Verification SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models

Reference 16

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T22:16:42.638171Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 55e158fb-9cf2-431d-b2d8-c3cf801408a7 · inbound

ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification cites this paper.

ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models

Reference 47

Resolution: verified exact; arxiv_id, observed 2026-05-15T18:26:27.130682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d8c70667-e472-4488-b593-a0c770d0e17d · inbound

VeriChat: An Agentic Conversational AI Assistant for Hardware Security Verification cites this paper.

VeriChat: An Agentic Conversational AI Assistant for Hardware Security Verification SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-07-03T11:48:04.406338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.