本進度說明: 我已把make saed32所需要的檔案利用"加法"一個一個檔案加入進[lab_setup_for_saed32](https://drive.google.com/file/d/1l8U5kp4TzXfV6V44o3s-koDLXKQCKvsU/view?usp=drive_link)此資料夾中，此資料夾一樣可以執行make saed32。

:::danger
注意:這裡我刪除了原本makefile中make saed32的兩個部分:
1.刪除cp lab_formal/script/gen_formality_cmd.tcl.caravel ，這點不確定未來會不會使用到，但目前不影響
2.刪除simulation時的run edge.
(setup.sh)

:::

執行步驟:
如果你已有更改好適用於各自工作站的lab_formal_release，請執行:

source clean.sh
source setup.sh

再一次執行make saed32進行確認。

如果你並沒有更改好適用於各自工作站的lab_formal_release，請直接參考[SAED32 Synthesis Design for NTHU](https://hackmd.io/@vic9112/B1UDeQJDC) 對特定的檔案進行適當的修改後再一次執行make saed32進行確認。