ModelSim ME ProはModelSim PEのカスタムエディションになります。

引用「ModelSim ME Pro is a custom edition of ModelSim PE that is integrated into Libero SoC's design environment. ModelSim for Microchip is an OEM edition of Mentor Graphics ModelSim tools.」
詳細に関しましては"Libero SoC Design Flow User GuideのVerify Pre-Synthesized Design - RTL Simulation"の項目をご参照ください。

Libero SoC Design Suiteのページを下にスクロールし、DocumentationにてUser Guidesタブを開くと
各バージョンのLibero SoCユーザーガイドへアクセスできます。
https://www.microchip.com/en-us/products/fpgas-and-plds/fpga-and-soc-design-tools/fpga/libero-software-later-versions

なおLibero SoCのデフォルトシミュレータがModelSim ME Proなのは、Libero SoC v2024.1までとなります。
Libero SoC Design Suite v2024.1 Release Notesの"1.3.1 ModelSim Pro ME and QuestaSim ME Simulator Tools Upgraded to v2023.4"の項目をご参照ください。