Mico32インプリ中。mico32の命令メモリにaltsyncramを呼び出して使っている。初期値ファイルとして、ソフトコンパイル後の.mifを読み込ませる。""」のとこで読んでる。altsyncramの資料見ると、読めるのは、.mifと.hexのみとのこと。2007年10月号の付録に、山際伸一さんが作ったプログラムmemcvtを使うと、ビルド後の.srecから、.v、.mif、.hexを生成してくれる。そんな訳で生成した.mifをaltsyncramへ読み込ませているが、ModelSimでSimすると、.verファイルについて指摘された。.verなんて作ってないぞ!と思ったら、これはModelSimが自動的に生成するのね。そんな認識なかったので、とりあえずメモ。これはModelSimだからなのか、Verilogで規定されてるのか不明だったので、とりあえずVerilogカテゴリで記事書いた。