久しぶりにOVM2.0+dmac(テスト用)を触り、何とかそれらしい動作(割り込み動作付き）を行ってくれるようになった。 これで当初より試して見たかった事 →モデル検証で検証した事がどのくらい正確であるかランダム検証環境で試す。 （モデル検証は数学的な裏付…