MultiCoreをSystemCで利用する？

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

A Generic Language for Hardware & Software, Are We There Yet? An Explorative Case Study Examining the Usage of SystemC for Multicore Programmingでは、
MultiCoreでSystemCを利用したときの事例を紹介しています。

ハードウェアの並列性をMultiCoreにうまく割り当てあれれば、シミュレーション時間の短縮になります。

で、やってみたら、。。。詳細は内容を確認してください。

HDLシミュレータの一部(VCS、XilinxのISim)では、マルチコア対応になっているようですが、
オープンソースのSystemCシミュレータはなっていませんよね。

研究としては面白そうですが、速くするためにはどうすればいいのでしょうかね？

検証、Verification、SystemC