Introducere. Verilog HDL și ModelSim