VMIPSから備わる機能によりGDBが使える。 しかし、これはCPU側のレジスタファイルや、statusビット、PCなどしか覗くことができない。 現状、GDBを用いてアクセラレータの状態を覗くには、適当なところでbreakpointを設定し、print文でメモリの内容を表示するしかないが、これはメモリ上にマップされたものしか覗くことができない。 レジスタファイルやアクセラレータの状態をtriggerにできるようにしたい。