AldecのCo-Verification

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

ARM/NIOS II Co-Verificationでは、AldecのHES環境でARMが使えるという。
まだ、XlinixのVirtex7は出ていないので、どうなっているのでしょうか？
(HES with ARMというものなので、それなりのボードなのでしょうか？)

また、NIOS IIでも同じようなことができるようです。こちらはFPGA HES Board内にNIOSII、Memory、Standard Interfaceを入れ、内部バスのAvalon経由でCustom Peripheralを接続しています。Custom Peripheralはシミュレータ(ここでは、Aldec Simulator)で動作し、SimulatorとHESとのCo-Verificationができるというものです。

これは、XilinxのCo-Simulation(ISimとFPGA Board)と同じようなものですが、
FPGA Boardとのインターフェースは、JTAGではないので高速に通信できると思います。

検証、Verification、Aldec、FPGA