工具介绍¶
随着芯片设计的愈发复杂,其验证难度和耗时也成倍增长,而近年来大语言模型的能力突飞猛进。于是我们推出了 UCAgent——一个基于大语言模型的自动化硬件验证 AI 代理,专注于芯片设计的单元测试(Unit Test)验证工作。
介绍¶
背景¶
- 芯片验证时间已经占据了芯片开发时间的 50-60%,并且设计工程师也将 49%的时间投入了硬件验证工作,但是 2024 年首次流片成功率仅有 14%。
- 随着 LLM 与编程类 Agent 兴起,将“硬件验证”抽象为“软件测试问题”可实现高比例自动化。
UCAgent 是什么¶
- 面向芯片设计单元测试(Unit Test)的 AI Agent,基于 LLM 驱动,围绕“阶段化工作流 + 工具编排”自动/半自动完成需求理解、测试生成、执行与报告产出。
- 以用户为主导,LLM 为助理的协作式交互 Agent
- 以 Picker & Toffee 为基础,DUT 以 Python 包形式被测试;可与 OpenHands/Copilot/Claude Code/Gemini-CLI/Qwen Code/ 等通过 MCP 协议深度协作。
能力与目标¶
- 自动/半自动:生成/完善测试代码与文档、运行用例、汇总报告
- 完整:功能覆盖率、代码行覆盖率与文档一致性
- 可集成:兼容OpenAI/Anthropic/Google 接口;提供 MCP server 接口便于外部 Code Agent 接入
- 目标:有效减少用户在验证过程中的重复工作