Hi Valery, Originally posted in cdnusers.org by yonghk
When LEC runs hierarchical compare, it needs to be able to match the modules by name. So for this case, you need to use "add renaming rule" for the modules. For example: add re r mod1 "%s_1" "@1" -module -revised
This wil rename the revised module name from sub_module_name_1 to sub_module_name to match the module name on the golden side. Lastly, if there is uniquification done on the gate netlist, you need to reflect this in LEC. The command is "uniquify -all"
If the module name on the revised side is due to uniquification, then just use "uniquify -all" first before doing "write hier dofile". If the module names were changed by synthesis, then you need to use the add renaming rule.
So give these two options a try and see if the write hier dofile will resolve the unbalanced instantiations.