[sv-ac] an example for discussion of 1668

Hi Dmitry:

I had an action item to send you an example to help
us discuss the problem of local variable initialization
when the clock is changing and a signal is being assigned
to the local variable in the initialization.

Here is an example that I think covers this situation:

   property q(input local logic v);
       (v, v = !v) |-> sig_b ##1 v;
   endproperty

   assert property (
      @(ev1) sig_a |=> @(ev2) q(sig_b)
   );

J.H.

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