[sv-cc] RE: [sv-ec] SystemVerilog 3.1a and 1800-2005 remains in 1800-2012

I have now submitted this as Mantis item 4760.

Jim Vellenga

From: owner-sv-cc@eda.org [mailto:owner-sv-cc@eda.org] On Behalf Of Bresticker, Shalom
Sent: Thursday, October 10, 2013 8:59 AM
To: Radoslaw Nawrot; sv-cc@eda.org
Subject: [sv-cc] RE: [sv-ec] SystemVerilog 3.1a and 1800-2005 remains in 1800-2012

It is not an editor's bug because it was not the editor's responsibility to catch this.
Since an entire Annex was deleted, it was his responsibility to check that all references to every little thing that was defined there was also deleted.

From: Radoslaw Nawrot [mailto:Radoslaw.Nawrot@aldec.com.pl]
Sent: Thursday, October 10, 2013 15:54
To: Bresticker, Shalom; sv-cc@eda.org
Subject: RE: [sv-ec] SystemVerilog 3.1a and 1800-2005 remains in 1800-2012

So it's a editors bug.

it should be :

To control the assertion system, use vpi_control() with one of the following constants and a second handle

argument is  a vpiHandle for a scope. A  NULL handle signifies that the control applies to all assertions regardless of scope.
?

Radek

________________________________
From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
Sent: Thursday, October 10, 2013 2:37 PM
To: Radoslaw Nawrot; sv-cc@eda.org<mailto:sv-cc@eda.org>
Subject: RE: [sv-ec] SystemVerilog 3.1a and 1800-2005 remains in 1800-2012
vpiCollection was removed in Draft 7 of P1800-2009, when the Data Read API was removed.

From: owner-sv-ec@eda.org<mailto:owner-sv-ec@eda.org> [mailto:owner-sv-ec@eda.org] On Behalf Of Radoslaw Nawrot
Sent: Thursday, October 10, 2013 15:01
To: sv-ec@eda.org<mailto:sv-ec@eda.org>
Subject: [sv-ec] SystemVerilog 3.1a and 1800-2005 remains in 1800-2012


Hi,

39.5.1 Assertion system control

To control the assertion system, use vpi_control() with one of the following constants and a second handle

argument that is either a vpiHandle for a scope or a vpiCollection of handles for a list of scopes. A

NULL handle signifies that the control applies to all assertions regardless of scope.

vpiCollection is part of 1800-2005  since 1800-2009 there is not vpi_create so user cannot get vpiCollection


Regards,
Radek

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

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