コンピュータ論理設計 / Computer Logic Design

Tokyo Institute of Technology 2022-1Q

ACRi 接続方法 & 環境構築

環境構築

1. code ~/.ssh/configでリモート接続時のコマンドを省略する

Host acri
  HostName gw.acri.c.titech.ac.jp
  User <user-name>
  PreferredAuthentications publickey
  UseKeychain yes
  AddKeysToAgent yes

のような内容を追加する。

3. vscodeで Remote - SSH という拡張機能をインストール
4. Connect to Host から acri へ接続する

接続方法

5. 4. の方法でアクセスできた先では iverilog <filename>.vのような処理は行えないので、自分が予約したサーバへアクセスする。 ssh vs<server-number> でアクセスする。

6. vscode側で、Open Folder から cld を選択し開く

7. GUIでファイルを見ることができる

8. ローカルからリモートへデータをアップロードする場合は、ドラック&ドロップで可能

9. リモートからローカルへデータをダウンロードする場合は、ファイルを選択して右クリックでダウンロードが可能(ファイル指定でするのは面倒なので、ダウンロードしたいファイルをまとめてフォルダにするのが良い )

参考資料

• Qiita: SSH公開鍵認証で接続するまで
• Qitta: ~/.ssh/config
• Qiita: OpenSSHと踏み台運用
• ACRi
• ACRi MacOS

ローカル環境で iverilog を使えるようにする

1. brew install icarus-verilog
   homebrew-icarus-verilog

2. brew install --cask xquartz gtkwave
   GTKWaveのインストール

参考資料

Qiita: iverilog MacOS

Vivado, Vitis (SDK)　関連

参考資料

ACRi: サーバで Vivado と Vitis (または SDK) を使用する

Verilog-HDL の文法

Verilog-HDL

Remote DeskTop上で日本語キーボードが正しく入力できない問題

1. gnome-session-properties
2. Add -> setxkbmap jp -> Save

参考

Icarus Verilog のコンパイルオプション

iverilog -s m_top -W all code121.v

参考 参考