Paper Citation Record · LEDGER

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design

As of 5 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2607.25283.

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

pith.paper-citation-record.v1
2607.25283 v1

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T02:55:32.818448Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+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

18 of 18 outbound references displayed

verified exact0
verified fuzzy0
unresolved18
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2d6304ad-7497-43e8-aa0a-4a6b6a45acff · outbound

This paper cites Chip-Chat: Challenges and Opportunities in Conversational Hardware Design,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design Chip-Chat: Challenges and Opportunities in Conversational Hardware Design,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:31.757724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35731cd2-0256-4a9f-b010-a0ec3f2a18a8 · outbound

This paper cites RTLLM: An Open-Source Benchmark for Design RTL Generation with Large Language Model,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design RTLLM: An Open-Source Benchmark for Design RTL Generation with Large Language Model,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:31.794703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f10b624-430a-42bd-9521-bd078407203f · outbound

This paper cites HLS-Eval: A Benchmark and Framework for Evaluating LLMs on High-Level Synthesis Design Tasks,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design HLS-Eval: A Benchmark and Framework for Evaluating LLMs on High-Level Synthesis Design Tasks,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:31.910397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33a47299-a0f2-49c1-b6b2-df6874d904d6 · outbound

This paper cites A Survey on Large Language Model Based Autonomous Agents,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design A Survey on Large Language Model Based Autonomous Agents,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:31.982670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 407c8bda-0c7d-4e26-ac70-dab624bee6e2 · outbound

This paper cites A Survey on LLM-Based Multi-Agent Systems: Workflow, Infrastructure, and Challenges,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design A Survey on LLM-Based Multi-Agent Systems: Workflow, Infrastructure, and Challenges,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.090217Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9804a7b5-f829-4576-a40c-493056712bdd · outbound

This paper cites HLStrans: Dataset for C-to-HLS Hardware Code Synthesis,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design HLStrans: Dataset for C-to-HLS Hardware Code Synthesis,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.148888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fe771b4-b560-4f9d-aa53-a4c9047c3761 · outbound

This paper cites SAGE-HLS: Syntax- Aware AST-Guided LLM for High-Level Synthesis Code Generation,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design SAGE-HLS: Syntax- Aware AST-Guided LLM for High-Level Synthesis Code Generation,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.253940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6017aabc-905d-4498-b981-cf95bcd04fa0 · outbound

This paper cites KyberMat: Efficient Accelerator for Matrix-Vector Polynomial Multiplication in CRYSTALS-Kyber Scheme via NTT and Polyphase Decomposition,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design KyberMat: Efficient Accelerator for Matrix-Vector Polynomial Multiplication in CRYSTALS-Kyber Scheme via NTT and Polyphase Decomposition,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.358974Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d765b5f6-e999-464e-8794-091cc1a2b46e · outbound

This paper cites CRYPHTOR: A Memory- Unified NTT-Based Hardware Accelerator for Post-Quantum CRYS- TALS Algorithms,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design CRYPHTOR: A Memory- Unified NTT-Based Hardware Accelerator for Post-Quantum CRYS- TALS Algorithms,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.448261Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f66c36c7-6d82-416a-98af-8ec119c9028b · outbound

This paper cites VerilogEval: Evaluating Large Language Models for Verilog Code Generation,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design VerilogEval: Evaluating Large Language Models for Verilog Code Generation,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.516984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d0478f5-2829-4284-b230-c9fc97a9c7c1 · outbound

This paper cites VeriGen: A Large Language Model for Verilog Code Generation,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design VeriGen: A Large Language Model for Verilog Code Generation,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.648600Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd61bacb-ccd0-482e-8017-5421b2d079b2 · outbound

This paper cites ChipGPT: How Far Are We from Natural Language Hardware Design,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design ChipGPT: How Far Are We from Natural Language Hardware Design,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.789169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a95d31db-4cbd-4f22-ac8b-00f65cc41dcb · outbound

This paper cites ChipNeMo: Domain-Adapted LLMs for Chip Design.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design ChipNeMo: Domain-Adapted LLMs for Chip Design

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.794380Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2aa0465-c514-4cb3-ab48-7b6908b06543 · outbound

This paper cites FIPS 203: Module- Lattice-Based Key-Encapsulation Mechanism Standard,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design FIPS 203: Module- Lattice-Based Key-Encapsulation Mechanism Standard,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.799938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbca04af-9f20-45e0-af84-07b488aa48e5 · outbound

This paper cites FIPS 204: Module- Lattice-Based Digital Signature Standard,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design FIPS 204: Module- Lattice-Based Digital Signature Standard,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.804626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c30d21e-e46d-406d-9847-6b567c53ad9b · outbound

This paper cites KiD: A Hardware Design Frame- work Targeting Unified NTT Multiplication for CRYSTALS-Kyber and CRYSTALS-Dilithium on FPGA,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design KiD: A Hardware Design Frame- work Targeting Unified NTT Multiplication for CRYSTALS-Kyber and CRYSTALS-Dilithium on FPGA,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.809000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8bb2126-e85a-4fbb-9ec2-6298f5d7c8b3 · outbound

This paper cites PQC-HA: A Framework for Prototyping and In-Hardware Evaluation of Post-Quantum Cryptography Hardware Accelerators.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design PQC-HA: A Framework for Prototyping and In-Hardware Evaluation of Post-Quantum Cryptography Hardware Accelerators

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.813495Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3416312-9f7d-4049-9e3c-f99190bef5f2 · outbound

This paper cites A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT,.

ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T02:55:32.818448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.