[sv-bc] Weaker Interface Type Checking

From Peter Flake:

This proposal is that interfaces should not be checked for
compatibility by name and parameter settings, but by the names and
types of the items used. For virtual interfaces, this would require
a run-time check, but the result could be cached to avoid a
performance hit. It might also require an extra level of indirection
in data structures, since there would be no guarantee that compatible
interfaces are identical.

As a consequence, it should be possible to use a modport from a
different interface, provided that the names listed are of compatible
types and directions.
This addresses several Mantis issues: 2545, 2845 and some of 1861, as
discussed in the presentation on Feb 26th.

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