SoCLib ： OSもサポート

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

Virtual PlatformはH/Wだけ。CPUで動作するOSが無いと使い物になりません。
SoCLibでは、

引用：
    *  DNA/OS : DNA/OS is a micro-kernel for MPSoCs.
         It supersedes MutekA, and still provides the POSIX thread API.
    *  MutekH : Exo-kernel based OS for classical 
         and heterogeneous MPSoCs with POSIX threads support
    *  NetBSD : Highly portable Unix-like Open Source operating system
    *  eCos : An open source, royalty-free, 
         real-time operating system intended for embedded applications.
    *  RTEMS : Real-Time Operating System for Multiprocessor Systems 

をサポートしています。NetBSDとeCosは知っていましたが、その他は知りません。

DNA/OSはMutekAというOSベースなので、MutekHのお友達なのでしょう!

RTEMSは、商用のよう。

検証、Verification、SystemC、Virtual Platform