[sv-bc] Should the LRM allow a frustrated bind statement?

hello BC,

We recently encountered a problem where we have a bind statement that
specifies binding into a target module (not a named instance), but certain
parameterizations of the design can cause there to be no elaborated
instance of the target module. Tools complain about this, and that's
probably correct per 1800-2012 because the preamble to 23.11 says

"a bind construct that is used to specify one or more instantiations"

I can't find any other part of the LRM that describes how to handle this
situation, nor can I find any Mantis relating to it.

In practice this corner case is extremely inconvenient, and it would be
much preferable for tools to report only a warning in this case. Does SV-BC
have an opinion on this? If there is no obvious reason for prohibiting such
"frustrated" binds, I will raise a Mantis item about it.

Thanks

Jonathan Bromley

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.