Changes between Initial Version and Version 1 of Ex09課題2015


Ignore:
Timestamp:
Jun 15, 2015 2:05:29 PM (11 years ago)
Author:
nakasato
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Ex09課題2015

    v1 v1  
     1トップ:http://galaxy.u-aizu.ac.jp/note/wiki/CAEX2015 
     2 
     3= ブロック図の確認 =  
     4先週紹介した方法で、ブロック図を確認して、全てのモジュールが正しく接続されていることを必ず確認すること。 
     5 
     6= 課題1 マルチサイクルプロセッサの動作確認 = 
     7個々の命令をひとつひとつ実行することで、マルチサイクルプロセッサをデバッグします。 
     8 
     9テストベンチの例は以下のようになります。 
     10{{{ 
     11`timescale 1ns/1ps 
     12 
     13`include "MIPSmulticycle.v" 
     14 
     15module MIPStestbench; 
     16   reg ck,clear; 
     17 
     18   MIPSmulticycle mips(ck,clear); 
     19 
     20   initial 
     21     begin 
     22 
     23        $dumpfile("MIPStestbench.vcd"); 
     24        $dumpvars(0, mips); 
     25 
     26        // memory initialization 
     27 
     28        #0 
     29        ck    = 1'b1; 
     30        clear = 1'b1; 
     31 
     32        #110 
     33        clear = 1'b0; 
     34 
     35        #90 
     36 
     37        #1000 
     38          // execute 10 cycles 
     39 
     40        $finish; 
     41     end 
     42 
     43   always #50 CK <= ~CK; 
     44endmodule 
     45}}} 
     46 
     47 
     48「memory initialization」の部分には、xspimで生成したメモリの初期化ファイルを組合せます。 
     49 
     50== テスト用アセンブリコード == 
     51http://galaxy.u-aizu.ac.jp/comparch2014/test_instructions.s 
     52 
     53 1. xspimでプログラムをロードし「dump」ボタンを押す。"testfixture.include"というファイルが生成されます。 
     54 1. これから実行するプログラムの実行サイクルを見積ります。各命令は3 - 4サイクル必要ですので、多めにとって5サイクルで換算してください。ループがある場合には、繰り返し回数を考慮してください。 
     55 1. テストベンチのテンプレートに"testfixture.include"を挿入してください。 
     56 
     57最初から全てのプログラムをテストするのではなく、簡単な命令から動作を確認すること。 
     58 
     59== デバッグの方法 == 
     60=== CLRとPCを確認する === 
     61CLR(リセット信号)が0になってからPCの値が0, 4, 8と増えていくはずです。 
     62プログラムの最後はジャンプ命令のため、プログラムが終了するとPCの値は0xa0と0x9cを繰り返すはずです。 
     63まずは、PCの値が正しく変化しているかを確認してください。 
     64 
     65=== 命令の動作を制御部から調べる === 
     66制御部分のstate信号を値を確認してください。 
     67これは状態遷移図にもとづいて変化するはずなので、命令ごとに状態遷移図と比べてください。 
     68 
     69=== 命令実行の詳細確認 === 
     70stateが0の時に、PCの出力が正しい命令のアドレスを指しているかを確認してください。 
     71さらに、命令メモリの出力が正しい命令コードになっているかを確認してください。 
     72 
     73次に、stateが1の時に命令レジスタの出力が正しいかを確認すること。 
     74 
     75==== 算術命令の場合の例 ==== 
     76stateは1から6に遷移します。この時に二つのレジスタにそれぞれ正しい値ロードされているかを確認すること。 
     77また、ALUSrcA, B, ALUOpの値を、状態遷移図で定義された値と比べて確認してください。 
     78次にALUの計算結果が正しいかを調べること。 
     79 
     80state 6からはstate 7に遷移します。ここで!RegDst, !RegWrite, !MemtoRegが正しいかを確認してください。 
     81レジスタファイルに書き込まれたかどうかを確認するには、次のクロックでstateが0に遷移したところで、 
     82該当するレジスタファイルの部分を調べてください。 
     83 
     84==== 他の命令 ==== 
     85算術命令と同様の方針で、stateの変化毎に制御信号が正しいか、レジスタの値が正しく読み書きできているかを確認すること。 
     86 
     87== __動作確認のチェック__ == 
     88演習時間内に、TAの動作チェックをうけてください。 
     89この動作確認は第3回レポートの点数に含みます。配点は12点(25点満点中)とします。 
     90 
     91TAからOKがでたら、課題2をおこなうこと。 
     92 
     93= 課題2 プログラムの実行 = 
     94全ての命令の実行が正しくなったら、 
     95第2回の演習で作成した乗算のプログラムが正しく動作することを確認しなさい。 
     96なお、xpsim用にADDU命令とした部分は、ADD命令に置き換える必要があるので、注意すること。