The-OpenROAD-Project
floorplan fails eqy check
Describe the bug
Use https://github.com/The-OpenROAD-Project/OpenROAD/pull/8903 and run:
bazelisk test //test/orfs/mock-array:MockArray_4x4_eqy_test --test_output=streamed
Fails:
[deleted]
sta::find_requireds
EQY 12:39:54 [MockArray_4x4_eqy_test] read_gold: starting process "yosys -ql MockArray_4x4_eqy_test/gold.log MockArray_4x4_eqy_test/gold.ys"
EQY 12:39:54 [MockArray_4x4_eqy_test] read_gold: Warning: Resizing cell port Multiplier.mod.o from 32 bits to 64 bits.
EQY 12:39:54 [MockArray_4x4_eqy_test] read_gate: starting process "yosys -ql MockArray_4x4_eqy_test/gate.log MockArray_4x4_eqy_test/gate.ys"
EQY 12:39:55 [MockArray_4x4_eqy_test] read_gate: finished (returncode=0)
EQY 12:39:55 [MockArray_4x4_eqy_test] read_gold: finished (returncode=0)
EQY 12:39:55 [MockArray_4x4_eqy_test] combine: starting process "yosys -ql MockArray_4x4_eqy_test/combine.log MockArray_4x4_eqy_test/combine.ys"
EQY 12:40:09 [MockArray_4x4_eqy_test] combine: Warning: Ignoring boxed module TAPCELL_ASAP7_75t_R.
EQY 12:40:09 [MockArray_4x4_eqy_test] combine: Warning: Ignoring boxed module FILLERxp5_ASAP7_75t_R.
[deleted more of these]
EQY 12:40:09 [MockArray_4x4_eqy_test] combine: Warning: Ignoring boxed module DECAPx10_ASAP7_75t_R.
EQY 12:40:42 [MockArray_4x4_eqy_test] combine: finished (returncode=0)
EQY 12:43:39 [MockArray_4x4_eqy_test] Warning: Cannot find entity *.
[deleted more of these]
EQY 12:43:46 [MockArray_4x4_eqy_test] Warning: Cannot find entity *.
EQY 12:43:46 [MockArray_4x4_eqy_test] partition: starting process "cd MockArray_4x4_eqy_test; yosys -ql partition.log partition.ys"
EQY 12:47:58 [MockArray_4x4_eqy_test] partition: ERROR: conflicting matches for gold bit \clock: \clock vs \REG[0]$_DFF_P_.CLK
EQY 12:47:58 [MockArray_4x4_eqy_test] partition: finished (returncode=1)
ERROR: Failed to partition design. For details see 'MockArray_4x4_eqy_test/partition.log'.
Copying 114462 files to bazel-testlogs/test/orfs/mock-array/MockArray_4x4_eqy_test/test.outputs for inspection.
Standalone procedure to reproduce the problem:
Wait for the above, takes a while, or, for convenience, untar bazel-testlogs/test/orfs/mock-array/MockArray_4x4_eqy_test/test.outputs.
Untar write-mock-array.tar.gz, write-element.tar.gz and run to generate verilog for floorplan for MockArray.v and Element.v
Use the eqy files above to run from a local install; requires some eqy knowledge.
Expected Behavior
No eqy failure
Environment
v2.0-26428-g19294a8c77
To Reproduce
See above
Relevant log output
Screenshots
No response
Additional Context
No response
Does the output of yosys pass eqy? I just want to make sure this is actually an OR issue.
Does the output of yosys pass eqy? I just want to make sure this is actually an OR issue.
I don't know in this particular case; but this is our attempt at creating a reproducible public test case, so I think it is worth investigating. At any rate, we need this workflow sorted out, because we do have failures in the pipeline...
We have a test case we can't share where the do-1_3_synth Verilog works in simulation, but floorplan verilog doesn't. So here Yosys is working, write_verilog -hier in OpenROAD is working, but there's a problem somewhere in floorplan that causes the write_verilog -hier after floorplan to fail in simulation and eqy.
In bazel-testlogs/test/orfs/mock-array/MockArray_4x4_eqy_test/test.outputs/MockArray_4x4_eqy_test/gate.ys I see
read_verilog -sv test/orfs/mock-array/MockArray_4x4_floorplan.v ...
but I can't find MockArray_4x4_floorplan.v anywhere in the tree.
Likewise gold.ys and read_verilog -sv test/orfs/mock-array/4x4_array.sv ...
try the bazelisk build shown here:
https://github.com/The-OpenROAD-Project/OpenROAD/tree/master/test/orfs#eqy-tests
I seem to spend more of my time fighting against bazel than being helped by it. Sandboxing makes debugging into a pain everytime.