Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T18:54:08.354441Z
Paper Citation Record · LEDGER
As of 7 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 6 inbound Pith citation observations for arXiv:2507.13369.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T18:54:08.354441Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-05-22T10:18:18.439819Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-22T10:21:24.123010Z
55 of 55 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation a10dbe5d-33bc-403b-998a-2880c8229865 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation RTL++: Graph-enhanced LLM for RTL Code Generation
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 21b84afa-e999-46d3-bac9-982d151e82df · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation RTL-Repo: A Benchmark for Evaluating LLMs on Large-Scale RTL Design Projects
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9b2da6f3-3193-4885-890d-e075a70bd0eb · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 60a7c6b7-62ed-49fe-b687-b47f3ec86d11 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Anisuzzaman, Jeffrey G
Reference 4
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5a2c3bc5-dcf5-4be6-a7f3-94b4927119e8 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e09d4de7-e60b-42c5-a5d5-e4446d53403e · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7a63227a-4c47-4c42-a748-650d32340ace · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 8
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 72125041-3c31-41d1-a061-b7525c0e3a05 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation OriGen:Enhancing RTL Code Generation with Code-to-Code Augmentation and Self-Reflection
Reference 9
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f77a25ab-2fc7-4606-9063-a96fa633dcd5 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0f22972f-0dfb-4b4d-a07d-f8a42b5ab601 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 651476be-b7fa-4c98-a809-4d4b97d7c193 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation AutoVCoder: A Systematic Framework for Automated Verilog Code Generation using LLMs
Reference 12
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 38c5e1b1-e41a-4af5-bc85-4680b71daeff · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Retrieval-Augmented Generation for Large Language Models: A Survey
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 875681a2-ef83-4c90-b9dd-5109fcf347f8 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c3eb0603-03b0-431f-941d-8d2b6b3b85bc · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 15
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 78aa2294-6bdd-4293-a63e-52b6df3efae6 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation A Comprehensive Survey of Retrieval-Augmented Generation (RAG): Evolution, Current Landscape and Future Directions
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ec2bcc49-4d3d-44de-a12a-7dc6e5875562 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 17
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b013b2f8-21c6-4a03-bfdf-94cbcd9e66c4 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Mistral 7B
Reference 18
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e74ad02a-5eb3-4c34-8bf5-57c53520c96d · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c825cad2-ac98-47cb-a220-1184daa774f6 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Deduplicating Training Data Makes Language Models Better
Reference 20
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5ec78f87-40c2-408d-9fb4-24fbcba1a705 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation VerilogEval: Evaluating Large Language Models for Verilog Code Generation
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 29733efa-2f3a-4549-a08d-fd0b32e1cd78 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b84b810b-0b11-4318-a365-c6fdd17a71a5 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation CraftRTL: High-quality Synthetic Data Generation for Verilog Code Models with Correct-by-Construction Non-Textual Representations and Targeted Code Repair
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 038280a7-181b-4f1c-a9d2-0fe6eba5fb36 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 641fc030-1226-4efb-9fd3-cbbded337636 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 25
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 28db3509-a7f0-4568-b70c-622af0161cc7 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ec42d299-06d0-47c8-bc27-75352a50b2e6 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation CoopetitiveV: Leveraging LLM-powered Coopetitive Multi-Agent Prompting for High-quality Verilog Generation
Reference 27
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e677e4c0-b494-41c3-8ae4-741970cfba20 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5d29e760-4684-46fc-b3e3-5d8cc16129db · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6a9bf15d-ea06-481d-948b-419ba7b6b314 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation The Ultimate Guide to Fine-Tuning LLMs from Basics to Breakthroughs: An Exhaustive Review of Technologies, Research, Best Practices, Applied Research Challenges and Opportunities
Reference 30
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eae65f8f-a36b-4171-b829-ed307dbfac44 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation BetterV: Controlled Verilog Generation with Discriminative Guidance
Reference 31
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9a21e371-1cb7-42e8-bad0-27e0ff7349ba · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d676c8e8-ea71-4ffe-a917-a5057dd591b9 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7ae36723-9a16-40ac-a5ca-4300bcb3dbe0 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Code Llama: Open Foundation Models for Code
Reference 34
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ae80009f-77bb-4a72-aac3-743dd156a81a · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification
Reference 35
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2ed875f5-6ffb-43fe-880f-37b81ae7fd28 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d6fad484-4ac1-4ff1-af72-b1b07ec3f331 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 37
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9e0dc599-a63e-4ccd-9e4b-7f45005a1f7c · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications
Reference 38
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8b3b766e-921c-46a0-b12a-97caff4b233d · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation The Prompt Report: A Systematic Survey of Prompt Engineering Techniques
Reference 39
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6303fa18-1193-4166-89e7-27f0ff8b424e · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 19fc6238-5e88-4662-9a20-8881acd9c77b · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cc20c690-7cbc-4f2f-8bcd-3b073fbfec4f · outbound
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1ff4b7ea-e1b9-449d-af46-9787d53ee2a8 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Code Needs Comments: Enhancing Code LLMs with Comment Augmentation
Reference 43
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 28e717af-9e56-43b5-bd0f-ee914cd2961f · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 44
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4b89ba3f-243e-4fd6-8fae-89894c62bb6a · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 45
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2c03ee3c-32d0-430b-bc7f-c4a82d542620 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation AutoChip: Automating HDL Generation Using LLM Feedback
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e54a1fef-7684-4dfd-a8f9-c9e708825b15 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Large Language Model for Verilog Generation with Code-Structure-Guided Reinforcement Learning
Reference 47
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 45348d40-ec93-427d-8a98-3b048dc9e23b · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a6144f9d-f69d-4ead-a482-f14a22559935 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ab364fab-2a32-4f43-8a27-3d407ce5fa63 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation ITERTL: An Iterative Framework for Fine-tuning LLMs for RTL Code Generation
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 67568d7d-35d0-4bb2-856c-7a63343b9357 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Retrieval-Augmented Generation for Natural Language Processing: A Survey
Reference 51
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cc096ab0-8289-426f-a591-649eb41ab63e · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5dbe9fa7-301c-4d5f-b311-a3cb74c2e5de · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1028c840-b1d7-4b8c-9d81-23d983744f2e · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation Unresolved cited work
Reference 54
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2d72072e-4d8f-4835-8b7e-93e9bc60ead6 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation
Reference 55
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d8b12cfa-3e10-49b9-8573-2cc9f09ee628 · outbound
VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation CodeV: Empowering LLMs with HDL Generation through Multi-Level Summarization
Reference 56
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f542bc07-2733-46a0-a9bd-5283cddce09d · inbound
Mitigating hallucinations and omissions in LLMs for invertible problems: An application to hardware logic design automation VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8d6578da-4638-40d0-acab-a4918decab0b · inbound
ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6342c292-8912-405d-8da7-ca419b50713d · inbound
Emulation-based System-on-Chip Security Verification: Challenges and Opportunities VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation
Reference 87
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4c35b439-34a9-461e-be6a-9035c7e6c33a · inbound
Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ebbaf50f-f652-4051-8d51-4af596f142ec · inbound
Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 674020dc-82a0-4147-8590-785a8cbbae44 · inbound
Focus Session: Hardware and Software Techniques for Accelerating Multimodal Foundation Models VerilogDB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation
Reference 54
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.