<@U016EM8L91B> Thanks for the hint. It worked for ...
# verification-be
m
@User Thanks for the hint. It worked for the DFFRAM. I got a clean LVS and CVC result. I replaced just the slashes that were used in the instance names in the use statements. (Of course I changed the corresponding names in the merge statements, too.)