Yosys：开源综合与等价性检查工作流备忘

仓库做什么

Yosys 是开源 RTL 综合框架，支持多种前端与通行优化通道，也常与 ABC 等工具配合。对个人站而言，它是「可脚本化、可复查」的综合与简易等价实验床。

stars 为录入时可选快照；部署侧可不展示或改为构建时抓取。示例里置 0 表示「未记录快照」。

我怎么用

1. 固定版本 tag，脚本与网表一并进 git。
2. 对 AI/人工改写的两版 RTL，构造 miter，调用等价相关通行（以当前版本文档为准）。
3. 失败时保留反例激励，写回 /notes 或博客复盘。

和研究方向的关系

• 逻辑综合与验证：脚本即实验记录。
• AI4EDA：模型只提议改写；Yosys/下游 checker 负责否决。
• 形式化：把「综合前后」或「优化前后」等价当作最小可复现正式门槛。

本地试用提示

• 先跑官方手册中的最小 read_verilog → proc → opt 路径。
• 不要在未理解库与约束前把结果当作时序签核。

← 返回 GitHub