I have a Terasic DE1, and have imported the maker's pinout file, which contains pin assignments for HEX digits. However, I noticed that each HEX digit has a dot next to it and I cannot find any pin assignments for those dots. I'm wondering if they are disabled or I can somehow map them myself. Can you help?
From the "Using the 7-segment Displays" section of the user's manual for the DE1:
Note that the dot in each display is unconnected and cannot be used.