Overlapped implication and nonoverlapped imlplication

SystemVerilog
,
5

In reply to Richard Hamer (EnSilica):

F.3.4.3.3 Derived nonoverlapping implication operator
— (R |=> P) is equivalent to ((R ##1 1) |-> P).
— (S |=> Q) is equivalent to ((S ##1 @(1) 1) |-> Q).