В верилоге всё сделано правильно, да. Но никто ж не объясняет механизм, народ и не в курсе.

Любопытная статья. Выходит, в 1975 году народ активно интересовался эффективным представлением очереди событий. Нынче оно реализуется в Си++ стандартным std::set с несложной функцией сравнения. Недавно я показывал: https://vak.dreamwidth.org/1105670.html