Multi-agent LLM workflow with PMLC localization and evidence RAG claims to outperform prior models on full C-to-HLS-C pipeline verification using Vitis tools.
Correcthdl: Agentic hdl design with llms leveraging high-level synthesis as reference,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification
Multi-agent LLM workflow with PMLC localization and evidence RAG claims to outperform prior models on full C-to-HLS-C pipeline verification using Vitis tools.