[sv-champions] some comments on 1900, part 2

Part 2, p. 6.  In the example, is v1 static?  If so, then I think
   that the declaration assignment is performed only once, so the 
   behavior of check_loop is not described correctly.  This could
   be fixed by making v1 automatic or by changing

      logic [7:0] v1=0;

   to

      logic [7:0] v1;
      v1 = 0;

Part 2, p. 13.  It is stated that the assume set of F1 excludes
   F1.B1.u2 because the only formal argument of the child checker
   bar is bound to actual r that is an inactive free variable.

   Is it true that F1.B1.u2 is in the assume set of F1.B1?  I think
   that the rules say that it is.

Part 2, p. 14.  Miscounting.

      x |=> ##5 1'b0

   fails 6 cycles after x == 1.

Part 2, p. 14.  The exception to Preponed sampling for constants and
   automatics is too tight.  Local variables are excluded, as are the
   active free checker variables.



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