Hola, ayer un grupo me preguntó si podia declarar la salida del contador como BUFFER en lugar de OUT.
El hacerlo así les permite utilizar esa salida en forma interna al diseño en lugar de declarar una señal auxiliar para hacer el contador y luego asignarla al OUT port.
Esa NO es una práctica recomendada ya que puede dar lugar a errores en la síntesis.
Les dejo este link con información:
https://docs.xilinx.com/r/en-US/ug901-vivado-synthesis/Buffer-Port-Mode
Saludos,
Sebastián