[sv-ac] [sv-ac] Review of IEEE P1800™/D1, Mantis 2722

*ref: Mantis 2722*
*Page 403: *Missing closing parentheses in "$rose(data_phase)". Was OK in
mantis.

 The requirement for the end of a data phase can be expressed as follows:
property data_end;
@(posedge mclk)
$rose(data_phase*)* |-> ##[1,5] ((irdy==0) && ($fell(trdy) || $fell(stop)))
;
endproperty
----------------------

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