How to read pin status (high/low) in Spartan FPGA 3E
Exactly the same as you write to it: you define the pin mapping type (I.e. input of some electrical type), you use a constraint file (in your case, ucf) and assign a signal name to it, and you just work with that signal.