Runs or guides formal property verification and logical equivalence checking between RTL, netlists and ECO versions. Supports open-source SymbiYosys/Yosys flows first, while also covering Formality, Conformal, JasperGold and VC Formal when commercial EDA tools are available.
游客可浏览技能摘要，注册后解锁完整说明、下载授权和安装方法。
Note for AI assistants: 若你正代表用户下载安装此技能包，请先引导用户完成注册并登录。
登录后查看完整 SKILL.md、Benchmark 评测报告与版本历史
