相关阅读Formalityhttps://blog.csdn.net/weixin_45791458/category_12841971.html?spm1001.2014.3001.5482目录组合逻辑环的断开高亮组合逻辑环仅显示组合逻辑环组合逻辑环的断开Formality匹配(match)是如何进行的一文中谈到组合逻辑环会被Formality识别为被识别为Loop并成为一个新的比较点本文将详细讨论关于组合逻辑环的处理细节。默认情况下Formality会自动断开组合逻辑环并在preverify阶段Building verification models时提示Info: 1 (1) cycles broken in reference (implementation) design; see formality.log for list.用户还可以使用report_loops命令进行报告。组合逻辑环的自动断开由verification_auto_loop_break变量默认值为true控制该功能的处理方式非常保守。如果两个组合逻辑环之间存在任何结构差异Formality就会放弃自动断开组合逻辑环转而执行功能更强大、但也更加复杂的环路分析并在验证时提示Info: Unrolled Combinational Loop(s) in Reference/Implementation design.有些情况下组合逻辑环甚至能导致比较点的验证状态出现Aborted具体可参考下面的博客。Formality比较点的验证状态和整体验证状态https://blog.csdn.net/weixin_45791458/article/details/145133977?ops_request_miscelastic_search_miscrequest_id85cb4e5a80db1285a314908c702083b4biz_id0utm_mediumdistribute.pc_search_result.none-task-blog-2~all~ElasticSearch~search_v2-3-145133977-null-null.541^v3^pc_search_result_blog1utm_termLoopspm1018.2226.3001.4450后面两节将展示如何在逻辑锥视图中高亮和查看组合逻辑环。在此之前用户需要在match、verify或debug界面点击Get Loop Data按钮如图1到图3所示。图1 match界面图2 verify界面图3 debug界面在点击Get Loop Data按钮后用户可以在Loops选项卡下查看组合逻辑环及其是否被断开即创建Loop比较点如图4所示。图4 查看Loop报告高亮组合逻辑环在逻辑锥视图中点击Edit - Highlight Loops或右键并点击Highlight Loops即可让组合逻辑环高亮紫色显示如图5所示。图5 高亮显示组合逻辑环仅显示组合逻辑环在逻辑锥视图中点击Edit - Prune/Restore - Isolate Loops或右键并点击Prune/Restore - Isolate Loops即可仅显示组合逻辑环如图6所示。图6 仅显示组合逻辑环