← 返回列表
⚠ 装前注意
使用编码代理进行芯片前端设计与验证
基本兼容但装前注意：未发布到 npm registry，仅可从源码安装 · 最近上游提交 2026/9/20 · 已提供中文文档
一个开源智能体流程：从自然语言规范，经 Verilog RTL 和 UVM 验证，到在商业 EDA 工具上的前端签核
综合分
36.6
GitHub 分
36.6
用户评分
—
★ Stars
6
周下载量
—
安装插件（需先安装 dsh CLI 引擎：npm install -g @deepseek-ai/dsh）
dsh plugin --profile web add chipweaver/veripower未发布到 npm registry，仅可从源码安装，改用 GitHub 源安装
信任档位：已验证本站已于 4 天前真实安装成功（L4 · 真实安装）
- 是什么
- dsh 原生插件 · chat
- 装得上吗
- 本站已真实安装成功（L4 · 真实安装，非静态推断）
- 安全吗
- 本站尚未对该插件做风险分级（暂未覆盖，不等同于无风险）
- 还在维护吗
- 活跃：最近一次提交在 5 天前
档位由下列信号合成：本站实装验证（真实安装，当前最高到 L4）· 验证所用 dsh 版本 · 静态安装检查 · 风险分级 · 仓库维护状态。下方各区块是它的证据明细。 验证判据与等级说明 →
🟢实装验证通过· 2026/9/21
由本站实装验证器在真实 dsh 环境安装成功，非静态推断。
数据截至 2026/9/23（元数据每日更新 · 实装验证按队列轮转，单条结论的验证时间见上方）
安装兼容性检查⚠ 装前注意
以下结论由程序自动检查 npm 包、engines 声明与入口文件得出，未做人工实机验证——能装不等于用着没问题。
✗npm 包veripower（未发布到 npm，仅可源码安装）
✓Node 引擎未声明 engines.node
✓dsh CLI 依赖未声明 dsh 版本约束
✓入口文件main/exports/bin 已声明
未发布到 npm registry，仅可从源码安装
验证方式：npm registry 存在性 + package.json 静态校验 · 最后验证 2026/9/20 04:27:05
用户评分
还没有人投票，来当第一个
订阅周报，不错过优质插件更新
每周一封 · 高评分插件 + 新用户活动
README
由 DeepSeek 最新模型翻译生成使用编码代理进行芯片前端设计与验证
论文 -->
VeriPower 是一个用于芯片前端设计与验证的开源插件。编码代理根据你的规格说明开发 RTL 和 UVM 测试平台，运行 EDA 工具，并根据其结果修改设计。VeriPower 跨阶段管理工作，跟踪哪些已通过以及哪些需要重新运行。
支持 Claude Code、opencode、DeepSeek Harness 和 Codex。
工作原理
每个阶段都有一个包含指令和支持脚本的技能。代理按照该技能执行工作，而工作流引擎记录结果并选择接下来应运行的内容。当检查失败时，代理调查原因，引擎安排修复。
每次运行都会记录其输入和输出文件的版本。引擎将这些版本与当前文件进行比较，以确定哪些结果仍然适用以及哪些检查需要重复。RTL 编辑需要重新运行仿真、lint/CDC 和综合，而测试平台编辑则不影响 lint/CDC 结果。文件和执行历史存储在磁盘上，允许在新会话中恢复工作。
验证计划和参考模型基于规格说明。阶段脚本验证每个计划的测试都已运行并通过，并根据指定的目标检查覆盖率、时序和功耗。独立的模型审查检查测试激励和检查逻辑是否能够检测到错误行为。这些检查和审查共同决定一个阶段是否通过。
在流程完成之前，引擎检查所有必需阶段是否已通过且其结果仍然适用。生成的 RTL、测试平台、约束和报告可在项目目录中找到。
更多内容见架构指南（中文）。
设计流程
该流程涵盖八个阶段，从规格说明到功耗分析。仿真分诊是一项独立任务，用于在原因不明确时调查仿真失败。
随附的技能使用 Synopsys SpyGlass 进行 lint 和 CDC，使用 Design Compiler 进行综合，使用 PrimeTime 进行时序和功耗分析，并使用 VCS 和 UVM 进行仿真。
结果
三个前端设计任务，裸 Claude Code 对比 Claude Code + VeriPower。相同的 LLM、相同的规格说明、相同的 EDA 工具。
| 基准测试 | 规模 | 基线 | + VeriPower |
|---|---|---|---|
| gateGPT — 定点 GPT 推理 | 346K 门 | 4 个覆盖率指标中有 3 个低于 90% | 通过 |
| FSA — FlashAttention 加速器 | 32K 门 | 2 个未解决的 CDC 违规 | 通过 |
| Coral-NPU — RISC-V ML 加速器 | 3.4M 门 | 6/19 测试 | 19/19 |
在这些任务中，VeriPower 弥补了覆盖率、CDC 和测试执行方面的验证缺口。
快速开始
Claude Code
claude plugin marketplace add chipweaver/veripower
claude plugin install veripower@chipweaver
或者指向一个工作副本：claude --plugin-dir /path/to/veripower。
参见 Claude Code 设置与运行时行为。
opencode
将插件添加到 ~/.config/opencode/opencode.json，或添加到项目级的
opencode.json：
{ "plugin": ["veripower@git+https://github.com/chipweaver/veripower.git"] }
阶段调度会在后台运行子代理，而 opencode 将其限制在一个环境
变量之后，因此请这样启动：
OPENCODE_EXPERIMENTAL_BACKGROUND_SUBAGENTS=true \
OPENCODE_EXPERIMENTAL_OUTPUT_TOKEN_MAX=131072 opencode
opencode 1.18.30 默认的补全上限为 32,000 个 token。对于支持
更长输出的模型，请将第二个标志设置为模型声明的输出限制；131072 是
一个示例。
参见 opencode 设置与运行时行为。
DeepSeek Harness
安装到你运行的配置文件中：
dsh plugin --profile web add "veripower@git+https://github.com/chipweaver/veripower.git"
运行 web 配置文件（dsh web），而不是一次性的 headless 配置文件。
参见 DeepSeek Harness 设置与运行时行为。
Codex
原生插件和子代理（已在 Linux 上用 CLI 0.154.0 测试）：
codex plugin marketplace add chipweaver/veripower
codex plugin add veripower@chipweaver --json
使用 codex --enable hooks --enable multi_agent 启动，在
/hooks 中查看两个 VeriPower 钩子，然后开始一个新会话。该插件使用原生子代理并保留主机的
权限配置。参见 Codex 设置与运行时行为。
让它列出其技能——十二个 VeriPower 技能即可确认安装成功。
先运行 brainstorm 技能来确定需求，然后告诉代理：
Run the design flow for {module_dir}
完整演练见用户手册（中文）。
要求。 Python 3.10+、jsonschema >= 4.18、referencing、PyYAML。Synopsys EDA 工具，可按技能替换。
引用
论文即将发布。
版本： v0.2.5。MIT 许可证。贡献指南。问题反馈。