[sv-champions] Mantis 2093

Hi,

I see two things I do not like in the proposal for Mantis 2093.

The first is on page 3:

"If no direction is specified explicitly then the direction of the previous argument shall be inferred."

"Otherwise, the type of the previous formal argument is inferred as described for sequences and properties (see 16.8 and 16.13)."

I believe these two sentences are misusing "inferred".
In the first, you are not inferring the direction of the previous argument, you are inferring the direction of the current argument from the previous argument.
Similarly for the second sentence. In fact, the sentence preceding the dashed list in which the second sentence appears gets it right: "If the type of a checker formal argument is omitted it is inferred according to the following rules:".

The second problem is in the example at the end of the proposal:

" checker mutex (logic sig, event clock, output bit failure);
        assert property (@clock $onehot0(sig))
                failure = 1'b0; else failure = 1'b1;
endchecker : mutex

module m(wire bus, logic clk);
        logic res, scan;
        // ...
        mutex check_bus(bus, posedge clk, res);
        always @(posedge clk) scan <= res;
endmodule : m
On each rising edge of clk the bits of bus are checked for mutual exclusion and the result is assigned to res in the Reactive region."

The problem is that 'sig' and 'bus' are declared as one-bit variables, so checking the 'bits' for mutual exclusion does not make sense.

Regards,
Shalom

Shalom Bresticker
Intel LAD DA, Jerusalem, Israel
+972 2 589 6582 (office)
+972 54 721 1033 (cell)
http://www.linkedin.com/in/shalombresticker

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