modelsim pe de