# iverilog & GTKwave > 此為verilog作業之補充部分 > 架構為： > - traffic_light_tb.v 為測驗檔案 > - traffic_light.v 為自己寫的紅綠燈程式碼 > 助教要求使用ModelSim作為工具。但MacOS不支援ModelSim ![](https://i.imgur.com/lF66V0k.png) ![](https://i.imgur.com/4HnOuGY.jpg) ![](https://i.imgur.com/iPIFnBX.jpg) ![](https://i.imgur.com/huJ74F7.jpg) ![](https://i.imgur.com/JyM9Lyv.png) ![](https://i.imgur.com/gfcxLm2.png)