Paper Citation Record · LEDGER

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis

As of 19 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2504.14641.

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

pith.paper-citation-record.v1
2504.14641 v3

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T11:46:42.004314Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

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

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

39 of 39 outbound references displayed

verified exact0
verified fuzzy35
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation bf79faf3-8b15-4f24-b900-699d2a67a1dd · outbound

This paper cites Machine Learning in Advanced IC Design: A Methodological Survey,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Machine Learning in Advanced IC Design: A Methodological Survey,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-16T11:46:41.826326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6329a3d-0b93-4dc5-9d1b-8d999bdfb654 · outbound

This paper cites High-Level Synthesis for FPGAs: From Prototyping to Deployment,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis High-Level Synthesis for FPGAs: From Prototyping to Deployment,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.601489Z

Source-reported events for the cited work

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

Observation 24057ab1-12da-4cd5-8efe-1bfdae32c6e3 · outbound

This paper cites CPU-FPGA Coscheduling for Big Data Applications,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis CPU-FPGA Coscheduling for Big Data Applications,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.586628Z

Source-reported events for the cited work

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

Observation 80ded902-1bd7-40b1-a087-f073defb57f5 · outbound

This paper cites FPGA/DNN Co-Design: An Efficient Design Methodology for IoT Intelligence on the Edge,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis FPGA/DNN Co-Design: An Efficient Design Methodology for IoT Intelligence on the Edge,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.572275Z

Source-reported events for the cited work

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

Observation 16c8db16-a83f-4cf9-800b-0e59b8e3e232 · outbound

This paper cites Correlated Multi-objective Multi-fidelity Optimization for HLS Directives Design,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Correlated Multi-objective Multi-fidelity Optimization for HLS Directives Design,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.558248Z

Source-reported events for the cited work

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

Observation db56b0f7-9f68-4f5b-b655-9703839315a1 · outbound

This paper cites RapidStream: Parallel Physical Implementation of FPGA HLS Designs,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis RapidStream: Parallel Physical Implementation of FPGA HLS Designs,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.543661Z

Source-reported events for the cited work

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

Observation f615e018-9c70-4961-bf94-4784653d3ed4 · outbound

This paper cites Refactoring for Heterogeneous Computing with FPGA,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Refactoring for Heterogeneous Computing with FPGA,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.528914Z

Source-reported events for the cited work

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

Observation 03aae48b-effe-4585-a93b-c3f6012babba · outbound

This paper cites Vitis High-Level Synthesis User Guide,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Vitis High-Level Synthesis User Guide,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.513671Z

Source-reported events for the cited work

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

Observation a24f761b-4552-41da-9b22-e55b51dc9bb8 · outbound

This paper cites Border Control: Sandboxing Accelerators,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Border Control: Sandboxing Accelerators,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.497522Z

Source-reported events for the cited work

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

Observation c1c1a032-3fe7-4a55-b511-85e578e65811 · outbound

This paper cites Mu-grind: A Framework for Dynamically Instrumenting HLS- Generated RTL,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Mu-grind: A Framework for Dynamically Instrumenting HLS- Generated RTL,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.482885Z

Source-reported events for the cited work

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

Observation f05afa69-7569-49d6-b7ea-8de538237aeb · outbound

This paper cites American Fuzzy Lop (AFL),.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis American Fuzzy Lop (AFL),

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.467983Z

Source-reported events for the cited work

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

Observation 1e26ed63-ac61-4dca-af84-89ed726842ef · outbound

This paper cites The Art, Science, and Engi- neering of Fuzzing,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis The Art, Science, and Engi- neering of Fuzzing,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.453795Z

Source-reported events for the cited work

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

Observation 979b0e0e-7d50-4128-a50e-1b2c0f94dffd · outbound

This paper cites HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.438746Z

Source-reported events for the cited work

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

Observation b0fc339f-c059-49e3-b4e6-e8d9f18d983d · outbound

This paper cites New solutions on LLM acceleration, optimization, and application,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis New solutions on LLM acceleration, optimization, and application,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.424314Z

Source-reported events for the cited work

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

Observation ed7cfab1-9801-4b65-b0ec-c6e6ca3c94d1 · outbound

This paper cites GPT4AIGChip: Towards Next- Generation AI Accelerator Design Automation via Large Language Mod- els,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis GPT4AIGChip: Towards Next- Generation AI Accelerator Design Automation via Large Language Mod- els,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.409512Z

Source-reported events for the cited work

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

Observation 60141a61-f8c0-4b90-a641-d66d1e30324d · outbound

This paper cites A Survey of Circuit Foundation Model: Foundation AI Models for VLSI Circuit Design and EDA.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis A Survey of Circuit Foundation Model: Foundation AI Models for VLSI Circuit Design and EDA

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-16T11:46:41.899524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32e61fd9-389e-4e84-9637-92c41dc2d34f · outbound

This paper cites Large Language Models for Verification, Testing, and Design,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Large Language Models for Verification, Testing, and Design,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.395118Z

Source-reported events for the cited work

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

Observation 3855ab2d-2fd8-4544-891b-8f7b31d0c4ac · outbound

This paper cites VRank: Enhancing Verilog Code Generation from Large Language Models via Self-Consistency,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis VRank: Enhancing Verilog Code Generation from Large Language Models via Self-Consistency,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.380089Z

Source-reported events for the cited work

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

Observation 1e6ed048-d553-42f5-bc9c-517d8e2f9850 · outbound

This paper cites LLM-Aided Efficient Hardware Design Automation.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis LLM-Aided Efficient Hardware Design Automation

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-16T11:46:41.913884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f103f08a-080b-4351-829a-36f02eaacca8 · outbound

This paper cites Basis Sharing: Cross-Layer Parameter Sharing for Large Language Model Compression,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Basis Sharing: Cross-Layer Parameter Sharing for Large Language Model Compression,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.365293Z

Source-reported events for the cited work

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

Observation d425affe-ec81-42cc-83c3-ae786ed3d095 · outbound

This paper cites AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.350181Z

Source-reported events for the cited work

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

Observation ef6cd342-ccca-4adc-b6b3-3e4d7d6e1af5 · outbound

This paper cites Paradigm-Based Automatic HDL Code Generation Using LLMs,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Paradigm-Based Automatic HDL Code Generation Using LLMs,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.335586Z

Source-reported events for the cited work

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

Observation b1d59bf0-5f21-4b7f-825b-db24308b8e4b · outbound

This paper cites CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-16T11:46:41.932599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46f919b1-b1be-4947-85ce-8aa2492151e8 · outbound

This paper cites CorrectBench: Automatic Testbench Generation with Functional Self- Correction using LLMs for HDL Design,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis CorrectBench: Automatic Testbench Generation with Functional Self- Correction using LLMs for HDL Design,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.319302Z

Source-reported events for the cited work

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

Observation b8216a51-f05d-4cc0-aaea-174767165531 · outbound

This paper cites HTransformations of High-Level Synthesis Codes for High-Performance Computing,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis HTransformations of High-Level Synthesis Codes for High-Performance Computing,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.304066Z

Source-reported events for the cited work

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

Observation c22f836e-9485-4eab-81b6-cd18469fa8c0 · outbound

This paper cites Synthesisable recursion for C++ HLS tools,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Synthesisable recursion for C++ HLS tools,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.289652Z

Source-reported events for the cited work

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

Observation adbe9c8e-4a96-4865-8e50-d3b252d473bc · outbound

This paper cites Finding and Understanding Bugs in FPGA Synthesis Tools,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Finding and Understanding Bugs in FPGA Synthesis Tools,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.274611Z

Source-reported events for the cited work

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

Observation 6b6b7e13-bc1a-44ba-95bd-0ee88954e864 · outbound

This paper cites RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.259868Z

Source-reported events for the cited work

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

Observation 6cffb017-e903-4737-8dc9-868db51a66bd · outbound

This paper cites Fault Testing and Diagnosis Techniques for Carbon Nanotube-Based FPGAs,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Fault Testing and Diagnosis Techniques for Carbon Nanotube-Based FPGAs,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.244830Z

Source-reported events for the cited work

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

Observation d45a1335-c04b-4b41-939d-14f317526cfa · outbound

This paper cites Testing and Fault Tolerance Techniques for Carbon Nanotube-Based FPGAs,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Testing and Fault Tolerance Techniques for Carbon Nanotube-Based FPGAs,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.228856Z

Source-reported events for the cited work

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

Observation 8a0952db-bca9-4e3a-af78-ea570f38cdaf · outbound

This paper cites Automated C/C++ Program Repair for High-Level Syn- thesis via Large Language Models,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Automated C/C++ Program Repair for High-Level Syn- thesis via Large Language Models,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.213614Z

Source-reported events for the cited work

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

Observation 145c78c2-b79f-4833-b535-b1de697111ce · outbound

This paper cites HLSRewriter: Efficient Refactoring and Optimization of C/C++ Code with LLMs for HLS,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis HLSRewriter: Efficient Refactoring and Optimization of C/C++ Code with LLMs for HLS,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.198178Z

Source-reported events for the cited work

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

Observation d06bc9fd-8c2c-4b9e-9b42-b3d5e97c5eb3 · outbound

This paper cites Open Source Computer Vision (OpenCV),.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Open Source Computer Vision (OpenCV),

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.181880Z

Source-reported events for the cited work

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

Observation cc0e2bd2-5ce0-4be6-ac06-47de45b0ee77 · outbound

This paper cites Leetcode Problem Set,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Leetcode Problem Set,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.166061Z

Source-reported events for the cited work

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

Observation 029d360f-5167-401d-baa8-93b5d3abcb36 · outbound

This paper cites GPT through OpenAI API,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis GPT through OpenAI API,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.149828Z

Source-reported events for the cited work

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

Observation 42a92582-4a36-4002-9955-2ccdac4782e5 · outbound

This paper cites A Survey on Software Fault Localization,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis A Survey on Software Fault Localization,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.133984Z

Source-reported events for the cited work

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

Observation 0b04ae60-93f0-454d-b64d-3dc98f9d5a02 · outbound

This paper cites An Em- pirical Examination of Fuzzer Mutator Performance,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis An Em- pirical Examination of Fuzzer Mutator Performance,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.118636Z

Source-reported events for the cited work

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

Observation 33cf0d44-a779-4680-ae76-2ea1a514ece4 · outbound

This paper cites Logic Design of Neural Networks for High-Throughput and Low-Power Applications,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Logic Design of Neural Networks for High-Throughput and Low-Power Applications,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.103351Z

Source-reported events for the cited work

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

Observation 9f623f3d-f9d4-474f-8cf9-9082effe5765 · outbound

This paper cites Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks,.

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:46:42.088272Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.