Al trabajar en algunas partes de VHDL I para Xilinx virtex, descubrí que el código que heredé había intentado implementar la codificación de usuario para las variables de estado utilizadas en las diversas máquinas de estado en el diseño. Se encontró que el archivo toplevel.syr contenía listados de las codificaciones estatales para algunas de las máquinas estatales, pero no otras.
Tengo curiosidad por saber si el archivo .syr es el lugar definitivo para tal información, y es simplemente que XST ha sintetizado de alguna manera algo distinto a la máquina de estado esperada en algunos casos, o si tal vez haya otro informe en algún lugar que muestre el máquinas de estado "faltantes".