Hi @User can we get a detailed report for the consistency check (similar to the XOR check which showing detailed differences)? The current check results complained

SUBMODULE HOOKS CHECK FAILED: The user power port vccd1 is not connected to the correct power domain in the top level netlist. It is connected to mprj/vccd1 but it should be connected to vccd1_core.

but there is no mprj module instantiated in my design, so I wonder if the precheck picks the wrong file?