Subject: [sv-ec] Comments on SV3.1/draft 1/Section 9 (Processes)
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Mon Jan 13 2003 - 14:05:55 PST
1) In 9.1, "SystemVerilog has both static processes, introduced
by always, initial or fork, and dynamic processes introduced
by process." Yet at top of 9.6, 'process' is deprecated in
favor of fork ... join none.
2) In my opinion it would be easier for a human to read 'join_all',
'join_any', 'join_none'. I would like the fork block to be
closed by a single keyword, rather than needing to look ahead,
perhaps even after comments (or in the next file) for 'none' or
'any'.
3) In the fourth paragraph of intro, in last sentence, "if" should
be in bold typewriter font.
4) In 9.7, first sentence, "The fork...join construct provides the
primary mechanism for creating concurrent processes." Yet,
aren't always blocks important, too, as in point 1) above?
Or are these not 'primary'?
5) In the penultimate sentence of 9.7 (p. 55), "A return statement
within the context of a fork...join statement is illegal and
shall result in a compilation error." The second half of this
sentence seems redundant. Maybe the full stop should
be after 'illegal'. It's just a syntax error, even if the BNF
doesn't show it.
6) The last paragraph of 9.8 is repeated from the introduction.
This archive was generated by hypermail 2b28 : Mon Jan 13 2003 - 14:08:38 PST