"always_ff" clearity

In reply to chandnidodiya:

You cannot AND events.

See 9.4.2.1 Event OR operator in the IEEE 1800-2017 LRM