ModelSim required for Intro to Digital lab course?

For an intro to digital logic course does one need Modelsim for the lab? We use Altera FPGA and introduce Verilog programing of simple circuits (Registers, counters, ALU etc..) Its seems all the ...