Re: [sv-ac] updated proposal for 3564

Manisha,
A quick question: Are my comments about sensitivity correct?
module m;
// always_comb is sensitive to expressions in
// immediate assertions within the procedure and within the contents
 // of a function called in the procedure,
// whereas always @* is sensitive to expressions in immediate assertions
 // within the procedure only.
//
logic m, m2, d, q, g, w;
 function logic f(logic a, b);
   logic c;
   c = d && a;
   return (c || b);
endfunction : f
 always_comb begin
    m= w || f(q, g);
    ap_m: assert (m);
    // m and ap_m are sensitive to q, g, w, d
end
 always @* begin
    m2= w || f(q, g);
    ap_me: assert(m2);
    // m2 is sensitive to q, g, w,
    // NOT sensitive to d
    // ap_m2 sensitive to q, g, w, d
 end

endmodule :m

On Wed, Nov 2, 2011 at 5:33 AM, Kulshrestha, Manisha <
Manisha_Kulshrestha@mentor.com> wrote:

> Hi Dimitry,
>
> I have uploaded the updated proposal. Please call a vote for it.
>
> Thanks.
> Manisha
>
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
>
>
>

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.