modelsim pe vs de