RE: [sv-ac] updated proposal for 1641

From: Korchemny, Dmitry <dmitry.korchemny_at_.....>
Date: Mon Oct 08 2007 - 09:57:11 PDT
Hi Manisha,

 

I have the following comments:

* The proposal refers to the Verilog system task $display. I think that
it should state just system task $display (without referencing to
Verilog), since we have the unified LRM for SystemVerilog

* The proposal states "Since the assertion is a statement that something
must be true, the information about assertion failure can be printed
using one of the following severity system tasks in the action block." I
think it should just state "The information about assertion failure can
be printed using one of the following severity system tasks in the
action block."

 

Thanks,

Dmitry

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Kulshrestha, Manisha
Sent: Friday, October 05, 2007 9:28 AM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] updated proposal for 1641

 

Hi,

 

I have uploaded updated proposal for 1641. The latest proposal is
severity_tasks_7.pdf. The changes were made based on the feedback in the
mantis. The feedback was to not repeat the same information in chapter
16 as the details about the tasks were in clause 19.9. Please review the
changes and let me know your feedback.

 

Could someone forward this to sv-bc .

 

Thanks.

Manisha 


-- 
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 Mon Oct 8 09:57:41 2007

This archive was generated by hypermail 2.1.8 : Mon Oct 08 2007 - 09:58:02 PDT