Hi, Erik.
First, an editorial error:
In 20.13, the new functions ($bitshot, etc.) have more than one argument, but the BNF shows only one argument.
Now as far as organization of the LRM is concerned, I think the time has come to move the description of these "bit-vector" functions out of the Assertions clause, as they are general language system functions.
Regards,
Shalom
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Seligman, Erik
Sent: Monday, January 24, 2011 10:40 PM
To: sv-ac@eda.org
Subject: [sv-ac] New revision of 2476 uploaded
Hi all-I have placed a new attempt at 2476 at: http://www.verilog.org/mantis/view.php?id=2476 .
Please take a look, and we can discuss tomorrow.
-- This message has been scanned for viruses and dangerous content by MailScanner<http://www.mailscanner.info/>, and is believed to be clean. --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Jan 25 03:36:32 2011
This archive was generated by hypermail 2.1.8 : Tue Jan 25 2011 - 03:36:52 PST