前回の続きだ。メモリアクセスの検証用インタフェースについて見てみよう。 msyksphinz.hatenablog.com 外部メモリバスの処理 RISC-V Formalの仕様では、RVFI経由で観測されるコアが生じさせるメモリアクセスと、それに伴って発生するデータバス上で観測され…