AC committee, I received the following message regarding a possible error in some SVA examples in the LRM. Can someone on the AC committee please let me know if this is an error? If so, then the AC committee should keep track of this so that it can be fixed at some point in time. Stu ~~~~~~~~~~~~~~~~~~~~~~~~~ Stuart Sutherland stuart@sutherland-hdl.com +1-503-692-0898 -----Original Message----- From: Susan Sien [mailto:Susan.Sien@synopsys.com] Sent: Thursday, September 01, 2005 9:45 AM To: info@sutherland-hdl.com Subject: For Stuart's attn on possible SV 3.1a LRM error? Importance: High Hi Stuart, In the LRM, on page 225 (pdf page 241) it says for local variable assignments: "The variable can be assigned at the end point of any syntactic subsequence by placing the subsequence, comma separated from the sampling assignment, in parentheses." But some of the subsequent examples don't have the parenthesis, for instance some on the bottom of the same page on the following page. I used VCS on the example shown on page 226 for sub_seq2 and got a parse error. So I'm wondering if the LRM has some mistakes or if the VCS parser is incorrect. Thanks. Susan Sien Synopsys 2321 Rosecrans #3200 El Segundo, CA 90245 310 725 2310Received on Fri Sep 9 08:38:58 2005
This archive was generated by hypermail 2.1.8 : Fri Sep 09 2005 - 08:40:15 PDT