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

Looks good to me. Thanks Erik.

From: Seligman, Erik [mailto:erik.seligman@intel.com]
Sent: Friday, September 17, 2010 10:12 AM
To: Little Scott-B11206; Bresticker, Shalom; Korchemny, Dmitry;
sv-ac@eda.org
Subject: RE: [sv-ac] RE: New proposal for 2476 (allowing assertion
system fns outside assertions) posted

Oops, just noticed Shalom's request to change 'simple function' to 'bit
vector function'. Tweaked to include this fix as well:

http://www.eda-stds.org/mantis/file_download.php?file_id=4551&type=bug

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

Thanks-I have uploaded a proposal with this fix:

http://www.verilog.org/mantis/file_download.php?file_id=4549&type=bug

From: Little Scott-B11206 [mailto:B11206@freescale.com]
Sent: Thursday, September 16, 2010 8:32 AM
To: Bresticker, Shalom; Korchemny, Dmitry; Seligman, Erik; sv-ac@eda.org
Subject: RE: [sv-ac] RE: New proposal for 2476 (allowing assertion
system fns outside assertions) posted

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 <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.