Paper Citation Record · LEDGER

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions

As of 7 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 2 inbound Pith citation observations for arXiv:2507.21485.

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

pith.paper-citation-record.v1
2507.21485 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T12:46:40.824913Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T07:12:18.223452Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T12:11:06.951164Z

Reference resolution

27 of 27 outbound references displayed

verified exact3
verified fuzzy12
unresolved12
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c6d4b1b9-9f12-4622-80d3-1b2d206fcef2 · outbound

This paper cites Invited paper: Software/hardware co-design for llm and its application for design verification,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Invited paper: Software/hardware co-design for llm and its application for design verification,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:41.101604Z

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 7506b644-7c4e-41e6-aae1-9ba26bda731f · outbound

This paper cites CREF: An LLM-based Conversational Software Repair Framework for Programming Tutors.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions CREF: An LLM-based Conversational Software Repair Framework for Programming Tutors

Reference 2

Resolution: verified exact; local_arxiv, observed 2026-08-06T12:46:40.967143Z

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 67e1857b-53d3-47de-8306-02fdcadfac96 · outbound

This paper cites AgentFL: Scaling LLM-based Fault Localization to Project-Level Context.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions AgentFL: Scaling LLM-based Fault Localization to Project-Level Context

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.756624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 385f1d60-5334-48ce-80ca-4b70f458a299 · outbound

This paper cites A unified debugging approach via llm-based multi-agent synergy,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions A unified debugging approach via llm-based multi-agent synergy,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:41.092103Z

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 435d9505-9ced-4827-a41f-01136d1dd08d · outbound

This paper cites Aligning the Objective of LLM-based Program Repair.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Aligning the Objective of LLM-based Program Repair

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.763115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f0b3e8d-f966-4a16-9f88-b97372123920 · outbound

This paper cites ChatDBG: Augmenting Debugging with Large Language Models.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions ChatDBG: Augmenting Debugging with Large Language Models

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-06T12:46:40.934071Z

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 5e17f278-5263-41ab-abdf-1c10041c4853 · outbound

This paper cites Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step-by-step.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step-by-step

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.769641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2905cb29-c7b0-4292-bf45-979db37d2a03 · outbound

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

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Rtlfixer: Automatically fixing rtl syntax errors with large language models,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:41.082551Z

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 4e03cc3f-6a8a-481c-aa5d-05f889901df3 · outbound

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

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions HDLdebugger: Streamlining HDL debugging with Large Language Models

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.775559Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84da3560-724c-4a94-a26b-b5c3c665388a · outbound

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

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Llm4sechw: Leveraging domain-specific large language model for hardware debug- ging,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.778645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cefe76ad-b6b1-4b00-a5fe-868ac93c883d · outbound

This paper cites Rtlcoder: Outperforming gpt-3.5 in design rtl generation with our open-source dataset and lightweight solution,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Rtlcoder: Outperforming gpt-3.5 in design rtl generation with our open-source dataset and lightweight solution,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:41.066469Z

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 abbd5ceb-0abd-48ab-9a6f-56eac6e079f9 · outbound

This paper cites MG-Verilog: Multi-grained Dataset Towards Enhanced LLM-assisted Verilog Generation.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions MG-Verilog: Multi-grained Dataset Towards Enhanced LLM-assisted Verilog Generation

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.784054Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bd275ff-4911-48a1-8422-fcb690d80c34 · outbound

This paper cites Quixbugs: a multi- lingual program repair benchmark set based on the quixey challenge,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Quixbugs: a multi- lingual program repair benchmark set based on the quixey challenge,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:41.056513Z

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 f9713816-9530-4679-bf1c-6ec6f5a5adce · outbound

This paper cites Codeflow: Improving the code review process at microsoft: A discussion with jacek czerwonka, michaela greiler, christian bird, lucas panjer, and terry coatta,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Codeflow: Improving the code review process at microsoft: A discussion with jacek czerwonka, michaela greiler, christian bird, lucas panjer, and terry coatta,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:41.046611Z

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 ef055ac2-e788-42d2-a5d1-296f99ed8cbc · outbound

This paper cites Verilogreader: Llm-aided hardware test generation,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Verilogreader: Llm-aided hardware test generation,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:41.037226Z

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 b0e69c43-4a5b-40c4-ba83-9ffe5335685a · outbound

This paper cites LLM-aided explanations of EDA synthesis errors.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions LLM-aided explanations of EDA synthesis errors

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-06T12:46:40.893864Z

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 4126f02b-7800-42c8-a752-09198eae61ce · outbound

This paper cites C2HLSC: Can LLMs Bridge the Software-to-Hardware Design Gap?.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions C2HLSC: Can LLMs Bridge the Software-to-Hardware Design Gap?

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.797650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdfbf2bb-b716-4148-8923-5d67f624bb83 · outbound

This paper cites Hlspilot: Llm-based high-level synthesis,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Hlspilot: Llm-based high-level synthesis,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:41.027618Z

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 2d508da9-c2d4-4b24-8dba-f5d021be4f99 · outbound

This paper cites GPT-4 Technical Report.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions GPT-4 Technical Report

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.803157Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1616eb83-5d99-488a-b734-8974b741a103 · outbound

This paper cites Attention is all you need,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Attention is all you need,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.806310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 343971ee-c9c3-4de0-a058-b0a392d28098 · outbound

This paper cites Gemma: Open Models Based on Gemini Research and Technology.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Gemma: Open Models Based on Gemini Research and Technology

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.808953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcc845cb-61db-4801-ae48-09900222dfd0 · outbound

This paper cites Codet5: Identifier- aware unified pre-trained encoder-decoder models for code understand- ing and generation,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Codet5: Identifier- aware unified pre-trained encoder-decoder models for code understand- ing and generation,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:41.012747Z

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 62a9c153-8cdf-4b97-a033-237ccecbfd7d · outbound

This paper cites ROUGE: A package for automatic evaluation of summaries,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions ROUGE: A package for automatic evaluation of summaries,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:41.002324Z

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 b64e194d-56f5-4196-a685-b6915099f6f3 · outbound

This paper cites The use of the area under the roc curve in the evaluation of machine learning algorithms,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions The use of the area under the roc curve in the evaluation of machine learning algorithms,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.816966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df53fc00-f947-41ed-9c6f-162912fa6254 · outbound

This paper cites Mistral 7B.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Mistral 7B

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T12:46:40.819552Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 583aff62-e93e-40fd-8d4b-5a146495c6b5 · outbound

This paper cites Deepseek-coder: When the large language model meets programming–the rise of code intelligence,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Deepseek-coder: When the large language model meets programming–the rise of code intelligence,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:40.986571Z

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 414bfa1e-5a16-4bef-a260-0d4797e22ecc · outbound

This paper cites Code llama: Open foundation models for code,.

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions Code llama: Open foundation models for code,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T12:46:40.976984Z

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.

Pith citing papers

Observation 28475215-10d4-440d-a967-528100d2f81f · inbound

VerilogCL: A Contrastive Learning Framework for Robust LLM-Based Verilog Generation cites this paper.

VerilogCL: A Contrastive Learning Framework for Robust LLM-Based Verilog Generation HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-11T12:11:06.954482Z

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 18dbc46f-5b14-40e0-8494-9d25e3cde02f · inbound

ChipVerilog: A Large-Scale OpenCores-Derived Benchmark for LLM-Based Verilog RTL Generation cites this paper.

ChipVerilog: A Large-Scale OpenCores-Derived Benchmark for LLM-Based Verilog RTL Generation HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T07:12:18.223452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.