RE: Verilog-AMS Committee Meeting Minutes - Jan 11 2007

Hi,

Some small comments:

> Page 221, math functions: it's $log10, not $log (there's
> a $log in digital that does something else).

[SB] While 1364-2005 does indeed define $log10, there is no $log. The
built-in math system function defined in 1364-2005 which does a natural
log is called $ln.


> I don't understand the exception at the end of this
> sentence from pages 224-225:
>   For each % character (except %m and %%) which appears
>   in a string, a corresponding expression shall follow
>   the string in the argument list, except a null argument.

[SB] Since this text seems to come from 1364-2005, 17.1.1, which does
not have the addition of "except a null argument", it does seem unneeded
here. I imagine it is the result of the ability to write something like
$display(a,,b);, which has 3 arguments, the 2nd of which is null, and
the exception comes to say that you cannot do it in this case.


> Page 225: %s for converting sequences of 8 bits into
> ascii characters.  What does SV do for printing actual
> strings?  (This %s is useful for regs in 1364, which
> are 8-bit-per-character arrays.)

[SB] I don't understand the question. A string data type is printed via
%s as a sequence of ASCII characters. A string data type is also a
sequence of 8-bit characters. 

> Page 226: $fopen in 1364-2005 has a second form,
>   fd = $fopen( "file_name", type );
> 
> Is this not supported in AMS?  I recall something about
> how the reason that $fopen was in the AMS LRM 2.0 was
> that it differed from that in 1364-1995, whereas the
> other file functions ($fprint) were the same.
> 
> 
> The $rdist functions need some thought.  Per a recent
> e-mail on one of the SV lists, $random can be called
> without a seed (in which case the simulator sets up
> an internal variable to track it) -- but *cannot* have
> a parameter as a seed; this is different from what we
> have specified.

[SB] To elaborate: $random specifies that the optional seed argument is
an inout variable of 32-bits. Since a parameter is a constant and cannot
be written, it does not qualify. Some simulators are lenient and allow
it, but that is beyond the letter of the standard.

Regards,
Shalom

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