[sv-ac] SV-BC comments about Mantis 2173

Hi Matthew,
 
you have added these notes to Mantis 2173:
1. BNF appears to have problems between property_statement and
property_expr

2. 'if' is not in bold/courier font in Annex F changes. Likely should
be.

3. Does expression sizing follow same rules as case statement? Likely
not

   stated in use with rand sequence (17.17.3 in Draft). 

SV-BC suggests that Yaniv work with someone from SV-BC to refine the
semantics. 

 

I would like to address those comments , please further explain or refer
me to someone from SV-BC to assist me in understanding those issues:

 issue #1 - BNF: not clear enough where exactly is the problem

 issue #2  - font in Annex F: easy to address 

 issue #3  - expression sizing: SV-AC has decided to align property case
statement with procedural case statement regarding comparison of case
expressions with regard to expression sizing , though we didn't
understand why this is needed we prefer not to have different semantics.

I'm attaching a new proposal which address this issue by referring to
section 12.5 (case statement) when explaining the expressions comparison
(also in Annex F).

 

Regards,

Yaniv

 

 

 

 

 

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