modelsim pe de se