Re: [sv-ac] Call to vote: Due February 7

vote: Abstain for now. I need some clarification:
"Assertion p2 will be clocked by posedge clk1. This is because the event
control of p2_block does not satisfy the conditions in 16.15.6 before the
formal arguments are substituted, but afterwards it does satisfy the
conditions, with posedge clk1 being the unique event expression satisfying
condition (c)."
always @(e2 or* e3)* begin: p2_block
local_sig <= rst;
p2: assert property (sig1 == sig2);
end
…
endchecker
…
clocking_example c1 (s1,s2,rst,
posedge clk1 or posedge clk2, // <- e1
posedge clk1, // <- e2
negedge rst); // <- e3
[Ben] I don't understand the word "before".
Before the formals are substituted, p2_block will be clocked by e2 or e3.
 If e3== posedge clk2, p2_block will be clocked be posedge of clk1 or
posedge of clk2. The way I see it, p2_block is clocked only by posedge clk1
because of 15.15.6 "b) No term in expression1 appears anywhere else in the
body of the procedure".

On the sentence, I think ou need a ";" or a ".". Specifically,
"Assertion p2 will be clocked by posedge clk1. This is because the event
control of p2_block does not satisfy the conditions in 16.15.6 before the
formal arguments are *substituted**;** but* afterwards it does satisfy the
conditions, with posedge clk1 being the unique event expression satisfying
condition (c)."
or
"Assertion p2 will be clocked by posedge clk1. This is because the event
control of p2_block does not satisfy the conditions in 16.15.6 before the
formal arguments are *substituted. A*fterwards it does satisfy the
conditions, with posedge clk1 being the unique event expression satisfying
condition (c)."
Ben Cohen systemverilog.us

On Wed, Feb 2, 2011 at 7:44 AM, Korchemny, Dmitry <
dmitry.korchemny@intel.com> wrote:

> -You have until 11.59 pm PDT, Monday, February 7, 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 January 25, 2011 meeting, the eligible voters are:
>
> Ashok Bhatt
>
> Laurence Bisht
>
> Eduard Cerny
>
> Ben Cohen
>
> Tapan Kapoor
>
> Scott Little
>
> Manisha Kulshrestha
>
> Anupam Prabhakar
>
> Erik Seligman
>
> Samik Sengupta
>
> Tom Thatcher
>
>
>
> Mantis 2804 ____ Yes ____ No
>
> http://www.eda-stds.org/svdb/view.php?id=2804
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=4751&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.