Xilinxは、CadenceとOVP(Imperas)

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

プレスリリースによると、XilinxはZynq-7000シリーズのためのバーチャルプラットフォームに
CadenceのVirtual System Platform(VSP)を採用したようですね！

そのコアとなるCPU部分は、Imperas社のモデルを使うようです。
Imperas社のモデルとは、これです。

Cortex-A9 MPCoreの2コアのものを利用するというものです

CPU以外の部分はCadenceがモデルを提供するのでしょうか？どうなのでしょうか？

OVPのモデルでは、今回の発表に先立ち、MicroBlazeのモデルもリリースしています。

検証、Verification、Cadence、FPGA、OVP