AXI verification IPをつかう

vivado xilinx 論理sim

xilinxの開発で論理sim

microblazeとかARMとかにaxi slaveのRTLを作ってレジスタアクセスすることを想定すると、axi master liteのシミュレーションモデルがいる。よね。 手段は３つくらいだろうか。

①AXI verification IP
②DPI-Cを使う？
③自作する。

①AXI verification IP

XilinxのAXI Verification IPを試す。 - Qiita

↑をみながらexampleは同じように実行できた。