DSH Plugins
返回列表
veripower

veripower

工作流 更新于 2026.08.25

在终端中运行以下命令：

dsh plugin install chipweaver/veripower

将以下提示词粘贴到 DeepSeek Harness 对话框中：

在 DeepSeek Harness 中，通过命令 dsh plugin install chipweaver/veripower 安装插件，完整源码地址为 https://github.com/chipweaver/veripower。

插件介绍

VeriPower 解决前端芯片设计流程中从自然语言规格到 EDA 工具签核的自动化难题。传统设计依赖手动验证和碎片化工具，VeriPower 通过确定性引擎记录所有操作，实现全流程可追溯和状态动态计算，确保设计一致性。其核心能力包括代理可迭代执行、LLM 辅助验证需人工签核、支持 Synopsys 等工具可替换，提升验证覆盖率和设计可靠性。适合芯片设计师、验证工程师和研究团队，尤其追求高效自动化流程并注重可靠签核的场景。

截图预览

使用场景

  • 从自然语言规格自动化生成前端芯片设计
  • 集成Synopsys等EDA工具进行签核验证
  • 处理大规模设计任务如3.4M门电路的基准测试

适合人员

  • 前端芯片设计工程师
  • 验证自动化研究人员
  • EDA工具集成开发人员