false positive(?) on floorplan .v file from OpenROAD

[oharboe]

I've been working on bazel-orfs flow support for eqy with ORFS and ran into what I believe is a false positive because surely someone would have reported problems on this gcd test case by now. It is the smallest simplest smoke-test in ORFS. This issue is based on From The-OpenROAD-Project/OpenROAD#9035

untar issue.tar.gz

cd _main
~/oss-cad-suite/bin/eqy test/orfs/mock-array/Element_eqy_4x4_floorplan_test.eqy

A small excerpt of output:

EQY 8:50:38 [Element_eqy_4x4_floorplan_test] Successfully proved equivalence of partition Element.REG.0
EQY 8:50:38 [Element_eqy_4x4_floorplan_test] Warning: Failed to prove equivalence for 232/2911 partitions:
EQY 8:50:38 [Element_eqy_4x4_floorplan_test] Failed to prove equivalence of partition Element.REG.0_DFF_P_.CLK
EQY 8:50:38 [Element_eqy_4x4_floorplan_test] summary: Elapsed clock time [H:MM:SS (secs)]: 0:13:45 (825)
color="#12488B">Element_eqy_4x4_floorplan_test]
DONE (FAIL, rc=2)

[oharboe]

@maliberty FYI