Tokyo Institute of Technology 2022-1Q

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

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

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

Qiita: iverilog MacOS

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

Verilog-HDL

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

参考

iverilog -s m_top -W all code121.v

参考 参考