DeepSeek Harness 插件Manifest 有效

veripower

面向编码智能体的芯片前端设计、验证与 PPA 评估工作流插件包。

开发者工具安全与策略Skills 与工作流远程执行

10GitHub Stars2Fork 数更新于2026-10-19

源码

安装

当前仓库证据中未发现明确安装命令。

插件能力与用途

基于公开仓库快照由 AI 辅助整理，内容必须有源码依据；它不等同于兼容性验证或安全验证。

源码有据

VeriPower 是专为 DeepSeek Harness 等编码智能体设计的芯片前端设计与验证工作流插件包。它引导智能体从初始需求出发，执行规格细化、RTL 设计、UVM 验证平台搭建、仿真/静态检查，并评估功耗、性能和面积（PPA）指标，支持跨迭代的工件持久化跟踪。

核心能力

基于原始需求驱动规格定义与 RTL 设计迭代
自动生成验证计划、参考模型与 UVM 测试用例
结合诊断与变更影响分析执行协同修复
通过 env-precheck 技能检查 EDA 工具与许可证状态
通过 Cordis 补丁与 DSH 导出提供深度的 DeepSeek Harness 集成

适用场景

自动化开展芯片前端模块的规格撰写与 RTL 逻辑实现
驱动外部 EDA 工具链进行功能仿真、Lint 与跨时钟域 (CDC) 分析
跨迭代评估与优化数字电路的 PPA（功耗、性能、面积）指标

适合谁

数字前端设计工程师
ASIC/SoC 验证工程师
EDA 与芯片设计自动化从业者

文档中可确认的限制

运行环境依赖 Python 3.10 及以上版本
完整工作流需商业 EDA 工具（如 VCS、SpyGlass、Design Compiler 等）及其相应授权

DSH 兼容性

DSH Plugin 针对具体版本记录的运行验证证据。没有结果只代表我们尚未测试，不代表不兼容。

尚未测试目前还没有发布运行兼容性测试结果。

安全信号

来自包元数据和源码检查的客观信号。这些信息用于辅助判断，不代表绝对安全保证。

依赖数量

package.json 声明了 1 个运行依赖、0 个开发依赖、2 个 Peer 依赖和 0 个可选依赖。

信息

已声明 DSH Bundle

package.json 中声明了 DSH Bundle 元数据。

信息

已声明许可证

GitHub 报告该仓库许可证为 MIT。

信息

已获取 package.json

已获取仓库根目录 package.json，可用于 Registry 元数据检查。

信息

源码可用

本次 Registry 快照已获取公开 GitHub 源码元数据。

信息

来源与 Registry 记录

展示此条目的公开来源、Registry 分类与最近一次源码检查信息，并与运行验证结果明确分开。

源码仓库: chipweaver/veripower
Registry 来源: GitHub · dsh-plugin topic
Registry 分类: Plugin Bundle
源码检查: 1326b31 · 2026-10-24

本页面基于公开源码信息独立收录。DSH Plugin 与 DeepSeek 及插件作者均无隶属关系；安装前请始终以作者仓库中的最新说明为准。

仓库活跃度

GitHub Stars: 10GitHub stars
Fork 数: 2
未关闭 Issue: 0
最近提交: 2026-10-19
最近发布: 未发现 Release