Showing cs.ARShow all
2 papers · 1 filter
cs.AR2025
ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis
Zedong Peng, Zeju Li, Mingzhe Gao +3
High-Level Synthesis (HLS) plays a crucial role in modern hardware design by transforming high-level code into optimized hardware implementations. However, progress in applying mac…
cs.AR2025
FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification
Gwok-Waa Wan, Shengchu Su, Ruihu Wang +15
Despite the transformative potential of Large Language Models (LLMs) in hardware design, a comprehensive evaluation of their capabilities in design verification remains underexplor…