These are some example synchronization statements:
— Wait for the next change of signal ack_1 of clock-domain ram_bus
@(ram_bus.ack_l);