Subject: RE: [sv-bc] Re: SV31A LRM interpretation for: unique case
From: Steven Sharp (sharp@cadence.com)
Date: Wed Feb 18 2004 - 11:40:56 PST
>The given value of the case expression would only satisfy one branch of the
>code. If I understand correctly, your change means that this will still
>generate an error, because two case items are true for the same branch of
>code. Is that your intent?
Stuart,
You are using incorrect terminology. What you are calling a "branch of the
code" is what is actually called a "case item". What you are calling a
"case item" is actually one of the case values attached to a case item
(technically called a "case item expression" in IEEE). As a result, you
have misinterpreted Dave's answer to mean the reverse of what he said.
I believe that you are actually in agreement with what he meant.
In the given example, two "case item expressions" (or what the original
SV text was calling "case values") match, but only one "case item" matches.
Only one branch of the code is selected, so an error is not desirable.
Steven Sharp
sharp@cadence.com
This archive was generated by hypermail 2b28 : Wed Feb 18 2004 - 11:47:23 PST