formality形式验证debug failing points的步骤

formality形式验证debug failing points的步骤

---

前言

formality 是synopsys 用来验证两个design是否等价的工具。

使用formality debug failing points步骤

1.fm_shell 打开formality

指令如下：

fm_shell 

2.start_gui 打开图形化界面

指令如下：

fm_shell (setup)>start_gui

3.restore_session

依次点击file>restore_session,找到自己之前保存的session,点击open。

4.diagnose failing points

点击6.Debug找到所有的failing points，选中某一个想debug的point，双击，然后进行debug。

总结

一般情况下的failing points与setting有关，比如没有设置black box, scan related pins没有set_constant和set_dont_verify_points等，具体问题需要具体分析。