8と33のリビジョン間の差分 (その間の編集: 25回)

ハードウェア実験Tips

資料

Xilinx のマニュアル

ちょっとバージョン古いけど日本語版

VHDLでの例とか載ってて便利。その通りに書いて、上手くコンパイル通らないなら、新しいバージョンを参照してね！ -- NU-MA

VHDLの書き方とか

分かり易そうな解説 -- NU-MA

もうmodelsimとかの使い方忘れた人用

第４回課題の手順にそって大体の流れを書いときますね。

第三回でやったのに既に忘れていた自分のための覚書でもあったりなかったり

modelsim

1.部品定義ファイル、シミュレーション用ファイル（第四回課題ならそれぞれ8bitスライスアダーの定義ファイルとそれを0～255(1～256)までの全数でチェックするファイル　＋　コンポーネント）などを用意する。

2. modelsim起動「. ~/bin/use-msim.sh ; . ~/bin/use-ise.sh」を入力してから「vsim &」で起動。

3. プロジェクトを新規に作ってからファイルを全部加えて「Compile All」(右クリックメニュー)

→エラーが起こったらやり直し。コンポーネントとしてフルアダーとか使ってるならそのファイルも一緒にコンパイルしないと通らないので注意。

4. 「Library」タブで表示されるメニューから、「work」の中のシミュレーション用ファイルを選択し、「Simulate」

5.Wave画面を表示して左のウインドウのsimタブ内の中から出力を見たいものを選んでAdd -> To Wave -> All item in region

6.「Run -All」ボタンを押すか下に直にコマンド入力で「run 30ns -all」とかでシミュレーション開始。ボタンで開始した場合は適当に隣のStopボタンで止める。

7.動いたらおめでとうございます。

ise

1. さっきのファイルに加え、top.vhdとか、FPGAとの送受信に必要なファイルを全て用意する。

2. 適当に新しいプロジェクトを生成。

3.「Hierarchy」ウインドウ（左上の）の中で右クリック→Add Sourceでファイルをすべてプロジェクトに突っ込む。

スライスアダーとかのファイルもいる……と思う（未確認）

4.「xc5vlx……」をクリック　→　Design Utilities　→　Compile HDL Simulation

そのままコンパイルしても多分通らない。すぐ左にある「Edit Process Property」ボタンをクリック

5.General Optionタブで右の方にスクロールしてくと

「Please Specify」って項目あるんで「Modelsim SE VHDL」を選択。

6.「Compile HDL Simulation」を右クリック＆「Run」

7.待つ。

8.コンパイルが通ったら第一段階クリア

9.できたら今度は「Hierarchy」ウインドウで今度はtopを選択＆「Generate Programming File」をダブルクリック。通ったらクリア。

impact

1.FPGAを繋ぐ

2.適当にプロジェクト作成＆FPGAが認識されているか確認。（一個ダメになってるコードがあるっぽいです。ってか多分俺が何かやらかした）

3.top.bitファイルがiseによって生成されているはずなので、それを選択＆緑色のチップ（？）みたいなのを右クリックして「Program」で実行。（ここら辺の細かい手順忘れました……備忘録なのに……）

4.minicomやらで出力を見る。詳しくは第三回の課題ページ。

OCamlでかかれたプログラムが課題ページにありますが、使ってないので謎。

以上。だいたい合ってるはずですが（現在進行形で確かめながら書いてますので）細かいところで間違ってるかもです。

でも大まかな流れは上の通りなはずです。-- TakuyaKuwahara

ちょっとハマりポイント

ISEのプロジェクトを作成するときに指定するDesign Propertiesを今一度確認してください。
- SimulatorにModelsim-SE VHDLを指定した方がうまくいくっぽい -- carbon_twelve
ISEで合成する際に、top.ucfを忘れないようにしてください。-- carbon_twelve

signalとvariable

毎クロックprogram_counterを0~8の変域でインクリメントするサンプル。

signal program_counter : integer := 0;

send_msg: process(clk)
     begin
     if rising_edge(clk) then
          program_counter <= program_counter + 1;
          if program_counter = 9 then
               program_counter <= 0;
          end if; 
    end if;
end process;

これはダメ。
program_counterの値が更新されるのはこのprocess文を抜けたあとなので、正しい記述の一例としては

signal program_counter : integer := 0;

send_msg: process(clk)
    
     variable tmp : integer := 0;
     
     begin
     if rising_edge(clk) then
          V := program_counter + 1;
          program_counter <= V;
          if V = 9 then
               program_counter <= 0;
          end if; 
    end if;
end process;

こんな感じ。
(そもそも program_counter : integer range 0 to 8 と宣言すれば分岐する必要はない？(8の時に+1したら0になることを期待)でも筆者のコード・環境ではそれをしたらバグりました...情報求む) -- fujima

CSCで論理合成

CSCは12コアクラスタです。論理合成も爆速でしょ！ってことでやってみました

ssh -Y kfujima@CSC.is.s.u-tokyo.ac.jp

※ユーザ名は適宜読み替えてね
※-Yオプションは、リモートサーバに対し、ローカルマシン上のX11サーバへのアクセスを許可する？というような意味らしいです

以下通常のインストールと同じです

mkdir hw
cd hw

wget http://www-hiraki.is.s.u-tokyo.ac.jp:8080/hwex/hwex-sets.tar
tar xf hwex-sets.tar

cd sets/ise-13.1/
tar xf Xilinx_ISE_DS_Lin_13.1_O.40d.1.1.tar

cd ../modelsim-se-6.6d/
./install.Linux

途中バージョンを選ぶところ？はmodelsim SEなんちゃら（たぶんデフォルト）を選択

cd ../ise-13.1/Xilinx_ISE_DS_Lin_13.1_O.40d.1.1
./xsetup

※インストールにとても時間がかかる（ディスクアクセスが遅い？）

結果

前々回のビットスライスアダー:貸与PC->90秒、CSC->55秒今回の浮動小数点加算器　 :貸与PC->2分33秒、CSC->1分36秒

さすがに速いですね！正直期待には程遠い感じですが、、、 -- fujima 2011-06-07 07:00:27

Categoryノート

ハードウェア実験/Tips (最終更新日時 2011-06-07 07:00:27 更新者 fujima)

-  ⇤ ← 2011-05-09 16:06:55時点のリビジョン8 → 
  サイズ: 1794
  編集者: TakuyaKuwahara
  コメント:
+   ← 2011-06-07 07:00:27時点のリビジョン33 → ⇥
  サイズ: 7137
  編集者: fujima
  コメント:
-削除された箇所はこのように表示されます。
+追加された箇所はこのように表示されます。
 行 5:
+== 資料 ==
=== Xilinx のマニュアル ===
 * [[http://japan.xilinx.com/support/documentation/sw_manuals/xilinx12_1/xst.pdf|ちょっとバージョン古いけど日本語版]]
VHDLでの例とか載ってて便利。その通りに書いて、上手くコンパイル通らないなら、新しいバージョンを参照してね！ -- [[NU-MA]]
=== VHDLの書き方とか ===
 * [[http://homepage3.nifty.com/hdl_design/vhdl.htm|分かり易そうな解説]] -- [[NU-MA]]
-行 6:
+行 12:
-== 第３回課題 ==
 *iseでコンパイルが通らない。
+----
== もうmodelsimとかの使い方忘れた人用 ==
-行 9:
+行 15:
-配布ファイルがデフォルト設定に合っていない。
top.ucfの1行目、
+第４回課題の手順にそって大体の流れを書いときますね。

--(第三回でやったのに既に忘れていた自分のための覚書でもあったりなかったり)--

 *'''modelsim'''

1.部品定義ファイル、シミュレーション用ファイル（第四回課題ならそれぞれ8bitスライスアダーの定義ファイルとそれを0～255(1～256)までの全数でチェックするファイル　＋　コンポーネント）などを用意する。

2. modelsim起動
「. ~/bin/use-msim.sh ; . ~/bin/use-ise.sh」を入力してから「vsim &」で起動。

3. プロジェクトを新規に作ってからファイルを全部加えて「Compile All」(右クリックメニュー)

→エラーが起こったらやり直し。コンポーネントとしてフルアダーとか使ってるならそのファイルも一緒にコンパイルしないと通らないので注意。

4. 「Library」タブで表示されるメニューから、「work」の中のシミュレーション用ファイルを選択し、「Simulate」

5.Wave画面を表示して左のウインドウのsimタブ内の中から出力を見たいものを選んでAdd -> To Wave -> All item in region

6.「Run -All」ボタンを押すか下に直にコマンド入力で「run 30ns -all」とかでシミュレーション開始。ボタンで開始した場合は適当に隣のStopボタンで止める。

7.動いたらおめでとうございます。


 *'''ise'''

1. さっきのファイルに加え、top.vhdとか、FPGAとの送受信に必要なファイルを全て用意する。

2. 適当に新しいプロジェクトを生成。

3.「Hierarchy」ウインドウ（左上の）の中で右クリック→Add Sourceでファイルをすべてプロジェクトに突っ込む。

スライスアダーとかのファイルもいる……と思う（未確認）

4.「xc5vlx……」をクリック　→　Design Utilities　→　Compile HDL Simulation

そのままコンパイルしても多分通らない。すぐ左にある「Edit Process Property」ボタンをクリック

5.General Optionタブで右の方にスクロールしてくと

「Please Specify」って項目あるんで「Modelsim SE VHDL」を選択。

6.「Compile HDL Simulation」を右クリック＆「Run」

7.待つ。

8.コンパイルが通ったら第一段階クリア

9.できたら今度は「Hierarchy」ウインドウで今度はtopを選択＆「Generate Programming File」をダブルクリック。
通ったらクリア。

 *'''impact'''

1.FPGAを繋ぐ

2.適当にプロジェクト作成＆FPGAが認識されているか確認。
（一個ダメになってるコードがあるっぽいです。--(ってか多分俺が何かやらかした)--）

3.top.bitファイルがiseによって生成されているはずなので、それを選択＆緑色のチップ（？）みたいなのを右クリックして「Program」
で実行。（ここら辺の細かい手順忘れました……備忘録なのに……）

4.minicomやらで出力を見る。詳しくは第三回の課題ページ。

OCamlでかかれたプログラムが課題ページにありますが、使ってないので謎。


以上。だいたい合ってるはずですが（現在進行形で確かめながら書いてますので）細かいところで間違ってるかもです。

でも大まかな流れは上の通りなはずです。-- TakuyaKuwahara

== ちょっとハマりポイント ==
 * ISEのプロジェクトを作成するときに指定するDesign Propertiesを今一度確認してください。
  * SimulatorにModelsim-SE VHDLを指定した方がうまくいくっぽい -- [[carbon_twelve]]
 * ISEで合成する際に、top.ucfを忘れないようにしてください。-- [[carbon_twelve]]

== signalとvariable ==

毎クロックprogram_counterを0~8の変域でインクリメントするサンプル。
-行 12:
+行 94:
-CONFIG PART=5VLX50TFF1136-1 ;
+signal program_counter : integer := 0;

send_msg: process(clk)
     begin
     if rising_edge(clk) then
          program_counter <= program_counter + 1;
          if program_counter = 9 then
               program_counter <= 0;
          end if; 
    end if;
end process;
-行 14:
+行 106:
-を
+これはダメ。<<BR>>
program_counterの値が更新されるのはこのprocess文を抜けたあとなので、正しい記述の一例としては
-行 16:
+行 109:
-CONFIG PART=xc5VLX50TFF1136-2 ;
+signal program_counter : integer := 0;

send_msg: process(clk)
    
     variable tmp : integer := 0;
     
     begin
     if rising_edge(clk) then
          V := program_counter + 1;
          program_counter <= V;
          if V = 9 then
               program_counter <= 0;
          end if; 
    end if;
end process;
-行 18:
+行 125:
-に書き変えるか、プロジェクト設定のSpeedを末尾の数字に合わせる。（頭のxcは無くても通りはするよ）
+こんな感じ。<<BR>>
(そもそも program_counter : integer range 0 to 8 と宣言すれば分岐する必要はない？(8の時に+1したら0になることを期待)でも筆者のコード・環境ではそれをしたらバグりました...情報求む) -- [[fujima]]
-行 20:
+行 128:
-== 第４回課題 ==
 *配布されているfull-adderのシミュレーションファイルについて。

課題で必須ではないですが、確認のため走らせようとしてもなぜかそのままでは通らないのでちょっと加筆。

配布ファイル３つ（ハーフアダー・フルアダー・シミュレーション用）をダウンロードしてコンパイルしても、
そのままだとフルアダー定義ファイルのポート名とシミュレーション用ファイル中にコンポーネントとして宣言されたフルアダーのポート名との間に整合がとれておらず、おそらくコンパイルが通ってもシミュレートできません。

配布されているシミュレーション用ファイル(4drvfa.vhd)の
+== CSCで論理合成 ==
CSCは12コアクラスタです。論理合成も爆速でしょ！ってことでやってみました
-行 31:
+行 132:
- port (IN0,IN1,CIN : in std_logic;
+ssh -Y kfujima@CSC.is.s.u-tokyo.ac.jp
}}}<<BR>>
※ユーザ名は適宜読み替えてね<<BR>>
※-Yオプションは、リモートサーバに対し、ローカルマシン上のX11サーバへのアクセスを許可する？というような意味らしいです<<BR>>
-行 33:
+行 137:
-          S,COUT : out std_logic);
+以下通常のインストールと同じです
{{{
mkdir hw
cd hw

wget http://www-hiraki.is.s.u-tokyo.ac.jp:8080/hwex/hwex-sets.tar
tar xf hwex-sets.tar

cd sets/ise-13.1/
tar xf Xilinx_ISE_DS_Lin_13.1_O.40d.1.1.tar

cd ../modelsim-se-6.6d/
./install.Linux
-行 35:
+行 151:
+途中バージョンを選ぶところ？はmodelsim SEなんちゃら（たぶんデフォルト）を選択
{{{
cd ../ise-13.1/Xilinx_ISE_DS_Lin_13.1_O.40d.1.1
./xsetup
}}}
※インストールにとても時間がかかる（ディスクアクセスが遅い？）
-行 36:
+行 158:
-の箇所を
-行 38:
+行 159:
-{{{
port (A,B,CIN : in std_logic;
+結果
-行 41:
+行 161:
-          S,CO : out std_logic);
}}}
+前々回のビットスライスアダー:貸与PC->90秒、CSC->55秒
今回の浮動小数点加算器　 :貸与PC->2分33秒、CSC->1分36秒
-行 44:
+行 164:
-に改変し、

{{{
port map (A=>IN0,B=>IN1,CIN=>CIN,S=>S,CO=>COUT);
}}}

の部分も

{{{
port map (A=>A,B=>B,CIN=>CIN,S=>S,CO=>CO);
}}}

と変えて、元のフルアダーのポート名と合わせてやるとシミュレーションが通ります。-- TakuyaKuwahara
+さすがに速いですね！正直期待には程遠い感じですが、、、 -- [[fujima]] <<DateTime(2011-06-07T07:00:27+0900)>>

"ハードウェア実験/Tips"の差分