1
Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification
用证据驱动的LLM智能体，把C代码转成可综合C并自动验证，精准解决芯片设计中的转化难题。
arXiv:2606.28409v1 Announce Type: cross Abstract: Software-compilable C programs routinely fail to complete the four-stage pipeline of a high-level sy…