Verification Engineerの戯言 OVPでは、モデルとしてOpen Source Modelも提供するようです。 現時点では、まだ、バイナリモデルだけですが、将来的にはソースコードはSourceForgeに移し、バイナリモデルをOVPで管理するようです。 バイナリモデルとしては、…