ModelSim 10.0は、マルチコア対応です

Verification Engineerの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

ModelSim SE 10.0のユーザーマニュアルのP.661に

    Multithreading on Linux and Solaris Platforms

というのがあります。

LinuxとSolarisではマルチコア(プロセッサ)対応になっているようです。
ただし、Windowsはできません。残念！

検証、Verification、Mentor