Мелкий вопрос. Просто из любопытства.
Почему именно:

assign txReadyOUT = !txCounter[3:1];
assign txIdleOUT  = txReadyOUT & (~txCounter[0]);

а не

assign txReadyOUT = !txCounter[3:1];
assign txIdleOUT  = !txCounter[3:0];