求助 lec中CUT是什么意思 谢谢！

设计中存在的combinational loop时，形式化验证工具无法进行对比，所以要在适当的位置把loop cut断，cut的点就是cut point
可以自己手动add cut point，也可以让工具自动cut来切断loop

有发现combinational loop还保留在设计中的吗？我综合看到都会修改RTL