RE: [sv-ac] RE: Call to vote: Due August 29

Hi Ben,

I fixed the layout and also changed the assertion name from a2 to a2_illegal: http://www.eda-stds.org/mantis/file_download.php?file_id=5383&type=bug. We could write a comment to the editor instead, but the last assertion with the comment is apparently too long to fit in one line even in the LRM.

Thanks,
Dmitry

From: ben cohen [mailto:hdlcohen@gmail.com]
Sent: Friday, August 26, 2011 00:26
To: Korchemny, Dmitry
Cc: sv-ac@eda-stds.org
Subject: Re: [sv-ac] RE: Call to vote: Due August 29

Mantis 3113 _X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=3113

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

 Friendly amendment: don't split the comment line; put in s separate line below unless it will fit in one line in the final document
Is there a way of telling if it will fit in one line in the file LRM?
a1: assert property (@(posedge clk) delay_example(x, y, 3, $, 2)); // this is legal
int z, d;
a2: assert property (@(posedge clk) delay_example(x, y, z, $, d)); // this is illegal, z and d are not elaboration-time constants

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