开源代理流程
chipweaver/veripower · 技能
开源代理流程，从自然语言规范到 Verilog RTL 和 UVM 验证，再到商业 EDA 工具的前端签核
★ 6GitHub 星标
1分支
2026-09-07最近更新
Python开发语言
MIT许可证
主要功能
- 规则specification · 做什么: 从自然语言的头脑风暴产出结构化设计文档、子设计和时序约束 · Oracle: spec-review（LLM） · 等级: proposed
- 术语proof（证明） · 含义: 绑定了精确输入版本、输出版本和 oracle 的验证结论。
- 有效性在每次查询时重新计算。
使用条件
- 依赖图从 rules.py 里每条规则声明的输入推导而来。
- 一条输入指向某个阶段目录下的路径，那个阶段就是它的生产者 —— 各阶段根目录互不包含，所以生产者是精确的，也不需要任何一方再声明一遍自己的产出。
安装命令
dsh plugin --profile web add github:chipweaver/veripower