arXiv:2503.12721v2 宣告类型: 替换 摘要: 最近的大规模语言模型（LLMs），如 OpenAI o3-mini 和 DeepSeek-R1，通过链式思考（CoT）增强了推理能力。它们在依赖专家驱动的迭代优化的硬件设计中的潜在作用尚未被探索。本文探讨了推理语言模型是否可以解决高层次综合（HLS）设计空间探索和优化中的挑战。在HLS过程中，工程师手动定义pragma/指令来平衡性能和资源约束。我们提出了一种基于LLM的优化代理框架，该框架可以自动重构代码、插入pragma，并通过从HLS工具获取反馈以及访问整数线性规划（ILP）求解器来识别最佳设计点。实验通过成功率、效率和设计质量（面积/延迟）指标将推理模型与传统LLMs在基准测试上的性能进行比较，并提供了有史以来首次对强开源推理模型DeepSeek-R1所产生的链式思考（CoT）的瞥见。