モデルは、オープンソースとバイナリ？

Verification Engineerの戯言

OVPでは、モデルとしてOpen Source Modelも提供するようです。
現時点では、まだ、バイナリモデルだけですが、将来的にはソースコードはSourceForgeに移し、バイナリモデルをOVPで管理するようです。
バイナリモデルとしては、ここあります。
モデルのカテゴリとしては、こんな感じ

    ・Platform Models
    ・Processor Models
        OpenCore OpenRISC Models
        ARM Models
        MIPS Models
          MIPS32 and MIPS32LE ISA models.
          MIPS4KEm and MIPS4KEmLE.
          MIPS4KEc and MIPS4KEcLE which both include MMU/TLB.
    ・Peripherals Models