Use overlapping implications for Xcelium 19.03
Use overlapping implications for Xcelium 19.03

Xcelium 19.03 doesn't support the `->` (binary logical) operator, but
using `|->` (overlapping implication) is equivalent here and supported;
use this operator instead.

Fixes #1213

AmbiML/ibex,AmbiML/ibex,lowRISC/ibex,lowRISC/ibex,lowRISC/ibex,AmbiML/ibex,AmbiML/ibex,lowRISC/ibex