[sv-ac] Email ballot result (Due 7 February)

Below are the results of the email ballot:

2804

Ashok Bhatt

Laurence Bisht

Yes Eduard Cerny

Abstain Ben Cohen

Tapan Kapoor

Yes Scott Little

Yes Manisha Kulshrestha

Yes Anupam Prabhakar

Yes Erik Seligman

Yes Samik Sengupta

Yes Tom Thatcher

The issue passed: 7y/1a/0n

Comments:

Ben
"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. Afterwards it does satisfy the conditions, with posedge clk1 being the unique event expression satisfying condition (c)."

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