Modelsim's testbench added