[sv-ac] review 1682

Review of proposal 1682
==========================

1. I don't have problem with restricting the use of these functions to
   assertions, but then I think that $nextvalue should return the sampled
   value not the observed.

2. Current definition of all other function return a 4 state variable

   e.g.  $isrising(expression) has the same effect as
         !lsb(expression)&& $nextvalue(lsb(expression)).

   so if "a" is X in the current cycle and 1 in the next cycle, then
   the result of $isrising(a) is Z. I recommend using the same language
   as in the definition of $rose etc.

   The Table should represent 4 states variables.

3. First example use global clocking which is not there yet...



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