Having looked at this site, these boards seem very affordable and extensible. The Spartan-3, in particular, seems to offer everything I could want, and their development environment looks to support VHDL and Verilog. My only reservation is that the free tools they offer from their website are probably not very much like what's really used in industry, but it's a very cool start. Thanks!