RE: [sv-ac] RE: New proposal for 2476 (allowing assertion system fns outside assertions) posted

From: Little Scott-B11206 <B11206@freescale.com>
Date: Thu Sep 16 2010 - 08:32:22 PDT

To Shalom's point my friendly amendment to 2476 that will address 3008
is below. Please consider this as an addition to my vote.

 

In 16.9.3 update the BNF from:

 

$past ( expression [, [number_of_ticks ] [, [expression2 ] [,
[clocking_event]]] ] )

 

TO:

 

$past ( expression1 [, [number_of_ticks ] [, [expression2 ] [,
[clocking_event]]] ] )

 

And make the same change (expression to expression1 ) in the BNF in
section 20.13 of the proposal for 2476.

 

Thanks,

Scott

 

 

 

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Bresticker, Shalom
Sent: Thursday, September 16, 2010 9:52 AM
To: Korchemny, Dmitry; Seligman, Erik; sv-ac@eda.org
Subject: [sv-ac] RE: New proposal for 2476 (allowing assertion system
fns outside assertions) posted

 

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 <http://www.mailscanner.info/> , and is
believed to be clean. 
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Sep 16 08:32:51 2010

This archive was generated by hypermail 2.1.8 : Thu Sep 16 2010 - 08:32:56 PDT