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

Thanks Erik - Looks good to me as well.

Dana

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Little Scott-B11206
Sent: Friday, September 17, 2010 7:16 PM
To: Seligman, Erik; Bresticker, Shalom; Korchemny, Dmitry; sv-ac@eda.org
Subject: 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<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.