Subject: RE: [sv-ec] Comments on SV3.1/draft 1/Section 9 (Processes)
From: David W. Smith (david.smith@synopsys.com)
Date: Mon Jan 27 2003 - 15:54:31 PST
Hi Brad,
Here are some comments.
1. The issue of "process" deprecation is an ongoing discussion. Vote will
happen next Monday. Once that is decided we need to clean-up as required.
2. I agree with your comments. Vote on Monday.
3. This issue needs to be sent to the SV-BC committee. Can you please send
it to them.
4. No comment.
5. No comment.
6. This is really an issue for SV-BC. Can you please send it to them.
Thanks
David
-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Brad
Pierce
Sent: Monday, January 13, 2003 2:06 PM
To: sv-ec@eda.org
Subject: [sv-ec] Comments on SV3.1/draft 1/Section 9 (Processes)
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 27 2003 - 15:53:45 PST