modelsim de vs pe