Add Sbox generation from cache + dependencies in format-tests CI

.github/workflows/ci.yml

@@ -89,12 +89,21 @@ jobs:
       - run: make func-tests DIR_MATCHI_ROOT=.
 
   formal_verif_matchi:
+    needs: [sbox]
     runs-on: ubuntu-24.04
+    strategy:
+      fail-fast: true
+      matrix:
+        nshares: [2]
     steps:
       - name: Check out repository code
         uses: actions/checkout@v4
         with:
           submodules: true
+      - uses: actions/download-artifact@v4
+        with:
+          name: sbox_${{ matrix.nshares }}
+          path: work/d${{ matrix.nshares }}/sbox
       - run: sudo apt-get install -y yosys iverilog python3.12-venv
       - run: mkdir ${{ github.workspace }}/verif-tools
       - run: wget https://github.com/cassiersg/matchi/releases/download/v0.1.0/matchi -P ${{ github.workspace }}/verif-tools