Tengo un T1 Terasic y he importado el archivo de pines del fabricante, que contiene asignaciones de pines para los dígitos HEX. Sin embargo, noté que cada dígito HEX tiene un punto al lado y no puedo encontrar ninguna asignación de pines para esos puntos. Me pregunto si están deshabilitados o si puedo mapearlos yo mismo. ¿Puedes ayudar?