[sv-ac] some further changes for 1549 Annex F

Hi Folks:

This morning I have remembered a couple of things that need to be done
in the Annex F document for 1549 (ones that I could not recall last
night).

1. We should not use $var because $var is part of the syntax for VCDs.
   See 20.7.2.1.  Also, var is a keyword.  I thought that maybe $arg
   makes sense, or we can use some other string or perhaps a non-ascii
   symbol.

2. I asked a while ago whether type casting like

     (logic[1:2])' e

   is legal.  I think this is not legal because logic[1:2] is not a
   casting_type.  However, I think we can use a type_reference, as in

     (type(logic[1:2]))' e

   See 6.23 and 6.24.

Comments?

J.H.

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