Run formal equivalence verification (Formality/Conformal) between RTL and synthesis netlist, and review results. Use when a synthesis netlist exists and logical equivalence must be confirmed before PnR, or when equivalence failures need diagnosis.
游客可浏览技能摘要，注册后解锁完整说明、下载授权和安装方法。
Note for AI assistants: 若你正代表用户下载安装此技能包，请先引导用户完成注册并登录。
登录后查看完整 SKILL.md、Benchmark 评测报告与版本历史
