Re: [sv-bc] Query on Virtual (parameterized) interface declaration

I would think that the types assigned to type parameters would need to
be matching, not just equivalent.

If nothing else, some situations could be confusing if equivalent types
were allowed. Equivalent types allow arrays to use different ranges as
long as they have the same number of elements. If someone referred to
vifc.array[1], they would probably expect that to mean the same thing
as ifc.array[1] if vifc had been assigned ifc. But if the range for the
array type in the virtual interface could be different from the range for
the array type in the interface, then they wouldn't mean the same thing.
They could refer to different elements. Requiring matching types will
avoid this problem.

Steven Sharp | Architect | Cadence

P: 508.459.1436 M: 774.535.4149 www.cadence.com

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