Quartus II download page: http://dl.altera.com/?edition=web
Example Quartus II project with mapped pins: demo
Verilog tutorial: http://www.asic-world.com/verilog/veritut.html