Re: [sv-ac] Call to vote: Due November 29 (resent with correct date)

Related to 3206, in 3206 assertions A1 and A2 need a ";"

module dut(input logic clk, input logic a, input logic b);
logic c;
always_ff @(posedge clk)
c <= b;
A1: assert #0 (!(a & c)) $display("Pass") else $display("Fail");
A2: assert final (!(a & c)) $display("Pass") else $display("Fail");
endmodule

module dut(input logic clk, input logic a, input logic b);
logic c;
always_ff @(posedge clk)
c <= b;
*A1: assert #0 (!(a & c)) $display("Pass"); else $display("Fail");*
*A2: assert final (!(a & c)) $display("Pass"); else $display("Fail");*
endmodule

Minor points in 3295:
1) Beautify code in example with proper indentation, unless the editor does
that.
module test;
logic clk;
logic a, b;
logic c, d;
....

2) The following is more of a technicality, but can be ignored, as I do not
feel very strongly on it:
3295: " ... This argument is checked only for assertions. Multiple
directive_type values can be specified at a time by OR-ing different
values...." *(this OR-ing is referrred in multiple places)*
SystemVerilog provides several types of OR-ing; here, in this context we
are referring to the "binary bit-wise" OR-ing operator.
If we want to be precise, one could rewrite this as " ... This argument is
checked only for assertions. Multiple directive_type values can be
specified at a time by binary bit-wise OR-ing different values...."
Note: One could argue that this is somewhat understood by the examples.

Ben Cohen

On Tue, Nov 29, 2011 at 10:03 AM, Korchemny, Dmitry <
dmitry.korchemny@intel.com> wrote:

> You have until 11:59 pm PST, Tuesday, November 29, 2011 to respond.****
>
> ** **
>
> -An issue passes if there are zero NO votes and half of the eligible
> voters respond with a YES vote.****
>
> -If you vote NO on any issue, your vote must be accompanied by a reason.
> The issue will then be up for discussion during a future conference call.*
> ***
>
> ** **
>
> As of the November 29, 2011 meeting, the eligible voters are****
>
> ** **
>
> **· **Eduard Cerny****
>
> **· **Ben Cohen****
>
> **· **Dana Fisman****
>
> **· **Tapan Kapoor****
>
> **· **Jacob Katz****
>
> **· **Manisha Kulshrestha****
>
> **· **Scott Little****
>
> **· **Anupam Prabhakar****
>
> **· **Erik Seligman****
>
> **· **Samik Sengupta****
>
> **· **Tom Thatcher****
>
> ** **
>
> ** **
>
> Mantis 3295 ____ Yes ____ No****
>
> http://www.eda-stds.org/mantis/view.php?id=3295
> <http://www.eda-stds.org/mantis/view.php?id=3295%20>****
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5631&type=bug****
>
> ** **
> ---------------------------------------------------------------------
> 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.