Is EQY able to successfully check for logical equivalence when there are logical loops?

[leeway64]

In the run_equivalence_test function in cts.tcl, EQY doesn't seem to be able to successfully check for logical equivalence when there are logical loops. My design has loops that involve latches.

OpenROAD Flow Scripts terminates after this error: Error: cts.tcl, 75 ERROR: A problem occurred during equivalence check. In one of the log files under 4_eqy_output/strategies, I'm getting this error: smt2: ERROR: Found logic loop in module miter!

Generally speaking, is EQY able to successfully check for logical equivalence when there are logical loops?

[maliberty]

Better asked in https://github.com/eqy

[leeway64]

I think that's the wrong link, I think you mean this link: https://github.com/YosysHQ/eqy

[maliberty]

Sorry that's the right one