Paper Citation Record · LEDGER

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis

As of 11 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 2 inbound Pith citation observations for arXiv:2507.03255.

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

pith.paper-citation-record.v1
2507.03255 v3

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:20:50.714188Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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-05-14T20:31:33.331498Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-14T20:32:57.115573Z

Reference resolution

16 of 16 outbound references displayed

verified exact1
verified fuzzy11
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 256213db-0f2a-4158-b5a4-48487c7d14d8 · outbound

This paper cites Automatic Hardware Pragma Insertion in High-Level Synthesis: A Non-Linear Programming Approach.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis Automatic Hardware Pragma Insertion in High-Level Synthesis: A Non-Linear Programming Approach

Reference 8

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T20:20:51.280044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation cb7773af-9b67-4b99-ac6b-70f7984d3bec · outbound

This paper cites A Unified Framework for Automated Code Transformation and Pragma Insertion.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis A Unified Framework for Automated Code Transformation and Pragma Insertion

Reference 9

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T20:20:51.099532Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 51c891a9-9a08-43f9-93eb-12a61566c5aa · outbound

This paper cites AutoDSE: Enabling Software Programmers to Design Efficient FPGA Accelerators.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis AutoDSE: Enabling Software Programmers to Design Efficient FPGA Accelerators

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-06T20:20:50.896535Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c6f70d58-47bf-496e-b714-819c0f1f6f4c · outbound

This paper cites In 2023 IEEE 34th International Con- ference on ASAP, 197–204.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis In 2023 IEEE 34th International Con- ference on ASAP, 197–204

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:20:52.218898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 02581102-ccc8-49b6-be0f-952dfae11c7d · outbound

This paper cites In Proceedings of the 2021 on Great Lakes Symposium on VLSI, 39–44.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis In Proceedings of the 2021 on Great Lakes Symposium on VLSI, 39–44

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:20:51.902453Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 78628c01-2859-4bf0-8437-0a41e18956b0 · outbound

This paper cites This includes loop trip counts, loop locations, array sizes and dimensions, array definition locations, and the identification and location of the top function.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis This includes loop trip counts, loop locations, array sizes and dimensions, array definition locations, and the identification and location of the top function

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:20:51.447001Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 885aaed2-f335-48d4-9e9a-0ab6ad79a328 · outbound

This paper cites In 2008 IEEE International Symposium on Circuits and Systems (ISCAS) , 1192–1195.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis In 2008 IEEE International Symposium on Circuits and Systems (ISCAS) , 1192–1195

Reference 2008

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:20:53.319326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 438d69e0-5dd1-48e5-92a3-b8b426818c29 · outbound

This paper cites In 2009 International Symposium on VLSI Design, Automation and Test, 106–109.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis In 2009 International Symposium on VLSI Design, Automation and Test, 106–109

Reference 2009

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:20:52.455305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 2ee881f9-4edb-4a7a-b987-36c7cee9d86b · outbound

This paper cites In 2014 IEEE IISWC , 110–119.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis In 2014 IEEE IISWC , 110–119

Reference 2014

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:20:52.649925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 60b93739-a54e-4551-96f5-7ccd6ce1f749 · outbound

This paper cites https://sourceforge.net/projects/polybench/files/polybench- c-4.2/.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis https://sourceforge.net/projects/polybench/files/polybench- c-4.2/

Reference 2016

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:20:52.834839Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation aa6cc1c1-a925-46e7-8f0a-8bd3b258e18c · outbound

This paper cites In Proceed- ings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 269–278.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis In Proceed- ings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 269–278

Reference 2018

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:20:51.636916Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a2d8846d-0f6e-4b7a-b263-3b6e3bf8ac98 · outbound

This paper cites In 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 574–580.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis In 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 574–580

Reference 2020

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:20:52.971814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e8368e48-cf7d-4ddd-8349-8cfb57927445 · outbound

This paper cites LoRA: Low-Rank Adaptation of Large Language Models.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis LoRA: Low-Rank Adaptation of Large Language Models

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-06T20:20:49.574063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cee8d28-7d05-4c33-aea0-2b51930c3b1e · outbound

This paper cites In 2023 ICFPT, 106–114.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis In 2023 ICFPT, 106–114

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:20:53.119216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 657e4ad6-d83f-4aa0-9947-22d08b983e47 · outbound

This paper cites In Pro- ceedings of the 2024 ACM/IEEE International Symposium on Machine Learning for CAD, 1–9.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis In Pro- ceedings of the 2024 ACM/IEEE International Symposium on Machine Learning for CAD, 1–9

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:20:53.477238Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation abaa25e4-f324-454a-8480-27129f802f38 · outbound

This paper cites DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis.

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-06T20:20:49.741328Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 35b68304-6887-4ffa-a358-f921a8f35fed · inbound

DiffHLS: Differential Learning for High-Level Synthesis QoR Prediction with GNNs and LLM Code Embeddings cites this paper.

DiffHLS: Differential Learning for High-Level Synthesis QoR Prediction with GNNs and LLM Code Embeddings ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis

Reference 6

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T05:46:12.697187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8e123997-7abc-4f87-b3db-d5c271582fcf · inbound

HLS-Seek: QoR-Aware Code Generation for High-Level Synthesis via Proxy Comparative Reward Reinforcement Learning cites this paper.

HLS-Seek: QoR-Aware Code Generation for High-Level Synthesis via Proxy Comparative Reward Reinforcement Learning ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-05-14T20:32:57.118722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.