diff --git a/.github/workflows/generate.yml b/.github/workflows/generate.yml
index a65ac35..a9db3c1 100644
--- a/.github/workflows/generate.yml
+++ b/.github/workflows/generate.yml
@@ -17,7 +17,9 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v4    
+    - name: Install iverilog
+      run: sudo apt install iverilog minisat
     - name: Set up Python 3.x
       uses: actions/setup-python@v5
       with:
@@ -132,7 +134,10 @@ jobs:
       with:
         python-version: ${{ matrix.python-version }}
         architecture: x64
-    - run: python -m pip install numpy pytest minisat
+        
+    - name: Install iverilog and minisat
+      run: sudo apt install iverilog minisat
+    - run: python -m pip install numpy pytest
     - name: Run pytest
       run: |
         pytest