Pith. sign in

Paper Citation Record · LEDGER

Automatic Hardware Pragma Insertion in High-Level Synthesis: A Non-Linear Programming Approach

As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 2 inbound Pith citation observations for arXiv:2405.12304.

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

pith.paper-citation-record.v1
2405.12304 v4

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 2 of 2 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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-10T20:15:56.782202Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T20:20:51.219371Z

Reference resolution

0 of 0 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved0
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 68069758-6ae2-49d7-9400-1261ec80cabc · inbound

Stream-HLS: Towards Automatic Dataflow Acceleration cites this paper.

Stream-HLS: Towards Automatic Dataflow Acceleration Automatic Hardware Pragma Insertion in High-Level Synthesis: A Non-Linear Programming Approach

Reference 45

Resolution
unresolved
no resolver link, observed 2026-08-10T20:15:56.782202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T20:15:56.782202Z digest=sha256:e045abe89eda32f1c71214282cc259b271b756fd4e274b0e39ed283e7973ac1c

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

ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis cites this paper.

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:20:49.976644Z digest=sha256:9b88b25f34fc74211cc929f3af1ffd88152273e7d1e0e8f9c777da578f14bfae