Программируемая логика и ЦОС

Как правильно заметил коллега misyachniy, 

конструкция

always @(posedge sygnal)

описывает тактовый вход триггера

Но если надо несколько сигналов перечислить, то могут начаться проблемы.

Разумеется, т.к. на один тактовый вход низзя подавать "смесь" из разных сигналов - "Плохо кончится. родной!" (c)

Ваш второй вариант корректен, я только добавил бы туда сброс last_signal по глобальному ресету.