微波EDA网，见证研发工程师的成长！ 2025婵犲痉鏉库偓妤佹叏閻戣棄纾块柟杈剧畱缁狀垶鏌ㄩ悤鍌涘04闂傚倸鍊风粈渚€骞栭锔藉亱闁绘劕鎼粻顖炴煥閻曞倹瀚�14闂傚倸鍊风粈渚€骞栭锕€绐楁繛鎴欏灩缁狀垶鏌ㄩ悤鍌涘 闂傚倸鍊风粈渚€骞栭銈傚亾濮樼厧娅嶇€规洑鍗抽獮鍥敆婵犲應鍋撻崸妤佺叆闁绘洖鍊圭€氾拷濠电姷鏁搁崑鐐哄垂閸洖绠伴柟缁㈠枛绾惧鏌ㄩ悤鍌涘

formality形式验证出现进度条停滞

时间：10-02 整理：3721RD 点击：

请教高手，我在做formality的时候出现了25个unmatch的点其中23个都是恒为0的寄存器我感觉这23个点没什么问题。但是有两个点是寄存器，我觉得他们可能存在问题。因为我不管这些unmatch的点直接verify的话进度条一直停在98%，99%这里。请问这里unmatch的点该怎么解决呢?进度条怎么样才能前进呢?

unmatch如下图所示

闂傚倸鍊搁崐椋庣矆娓氣偓楠炲鍨鹃幇浣圭稁缂傚倷鐒﹁摫闁告瑥绻橀弻鐔碱敍閿濆洣姹楅悷婊呭鐢帡鎮欐繝鍥ㄧ厪濠电倯鈧崑鎾绘煛鐎ｎ偆澧垫慨濠呮閹瑰嫰濡搁妷锔惧綒闂備胶鎳撻崵鏍箯閿燂拷...

什么是带扫描链的网表文件?icc出来的网表吗?

上一篇：后仿Warning ：“Negative timing check Did not converge”
下一篇：icc到最后一步出现setup time violation该怎么修复

进度条 formality 相关文章：

栏目分类

射频专业培训教程推荐

formality形式验证 出现进度条停滞

formality形式验证出现进度条停滞