Bresticker, Shalom wrote: > The (implied) question in my e-mail was why did Gord write, Due to lack of coffee... :-) As Brad correctly pointed out, I was not applying the array rule correctly to packed arrays. In failing to do that, the anonymous match issue pops up. Since the array rule does apply, my claim is bogus. I think that Brad's "what are that parameter values" example and the issue of single-bit part selects (are they vectors or scalar) are the right places to start since those impact existing features and must be resolved for the extension to be sound. Gord. > > 'it is NEVER the case that two "anonymous" packed vectors will match. > So, for a packed item "bit [1:0] a", even the trivial condition > type(a[1:0]) == type(a[1:0]) will be false.' > > Shalom > >> The only question in your e-mail was >> >>> By the way, is matching transitive? >> Yes, it is. > -- -------------------------------------------------------------------- Gordon Vreugdenhil 503-685-0808 Model Technology (Mentor Graphics) gordonv@model.com -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Mar 12 07:48:05 2007
This archive was generated by hypermail 2.1.8 : Mon Mar 12 2007 - 07:48:12 PDT