(SV-BC4) Dennis (Keith Gover (Model Tech) to make a proposal on DSM. With Dave Roberts at Cadence. * Dave Roberts indicates that Synopsys published a paper, so no action required? (SV-BC7c) Steven will develop language to clarify the meaning of type "matching" in structural literals. (SV-BC7e) Dave to propose. (SV-BC8-7) Stu will implement the global replacement of masked with 4-state and unmasked with 2-state. * It wasn't fixed in the current draft. (SV-BC18, SV-BC21?) Gord will make a proposal to describe the granularity of error checking on logic types in the presence of mixed continuous and procedural assignments. (SV-BC21 proposal the same?) * Gord will figure out where to put a note about the resolution being owned for @* in the ETF. Gord will communicate the ETF resolution. (SV-BC18f, g) Dave Rich will propose language reflecting the straw poll results from the 1/22/03 meeting on these issues (SV-BC19-12) Dave to unify proposals P-0468, P-0404, P-477 (SV-BC19-60) Dan to drive a solution to remaining issues in his document (SV-BC26-2) Gord to propose for %z and %u on new datatypes (SV-BC32) Peter will propose a naming for interface objects on ports so that back annotation is possible. Karen to check with Peter or status face-to-face. (SV-BC42-11) Karen to propose an integration with VSG changes. (SV-BC42-16) Dave to answer whether always_latch is indeed different from always_comb sensitity with respect to functions. (SV-BC42-30) Dave to assess if there is really an issue here. (SV-BC42-32) Karen to contact Stu to see if he wants to make a proposal. Also, to contact the CC to see if they want to expand the language in this direction. (SV-BC42-23,24) Dave to clarify if parameters, nets, interfaces, global nets, etc are also allowed as part of .*. (SV-BC62c) Dave will propose language expanding ?: to work on unpacked data. (SV-BC75) Dave to propose some language describing hierarchical reference within unnamed blocks. Is it allowed, if so, how? If not, it needs to be indicated. (SV-BC76) Dave to make a ruling as to whether or not nested modules that are not instantiated appear in $root.