This is a good opportunity to resolve Mantis 3008 as well.
Shalom
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Wednesday, September 15, 2010 5:47 PM
To: Seligman, Erik; sv-ac@eda.org
Subject: [sv-ac] RE: New proposal for 2476 (allowing assertion system fns outside assertions) posted
Erik,
The function names, like $onehot0, etc should be in bold red even in the new text.
Thanks,
Dmitry
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Seligman, Erik
Sent: Wednesday, September 15, 2010 5:31 PM
To: sv-ac@eda.org
Subject: [sv-ac] New proposal for 2476 (allowing assertion system fns outside assertions) posted
I edited the proposal for http://www.verilog.org/mantis/view.php?id=2476 based on the concerns discussed yesterday, and posted the new version at http://www.verilog.org/mantis/file_download.php?file_id=4547&type=bug .
I think it should now be ready for voting.
-- 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<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 Thu Sep 16 07:52:49 2010
This archive was generated by hypermail 2.1.8 : Thu Sep 16 2010 - 07:52:54 PDT