[PY] [Doc] Update in sync with docs branch and prga.py submodule

.github/actions/run_example/action.yml

@@ -1,12 +1,12 @@
 name: Run an example
-description: Build an FPGA example, then run an example design on it
+description: Build an FPGA example, then run an example application on it
 inputs:
   fpga_path:
     description: Path to the FPGA example relative to the examples/fpga directory
     required: true
     default: ""
-  design_path:
-    description: Path to the design example relative to the examples/app directory
+  app_path:
+    description: Path to the application example relative to the examples/app directory
     required: true
     default: ""
   test:
@@ -27,40 +27,40 @@ runs:
       shell: bash
       run: |
         pushd ${GITHUB_WORKSPACE}
-        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.design_path }}
+        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.app_path }}
         popd
 
     - name: Run behavioral simulation of the application
       shell: bash
       run: |
         pushd ${GITHUB_WORKSPACE}
-        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.design_path }}/tests/${{ inputs.test }} behav
+        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.app_path }}/tests/${{ inputs.test }} behav
         popd
 
     - name: Run synthesis for the application
       shell: bash
       run: |
         pushd ${GITHUB_WORKSPACE}
-        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.design_path }}/design syn
+        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.app_path }}/app syn
         popd
 
     - name: Run post-synthesis simulation of the application
       shell: bash
       run: |
         pushd ${GITHUB_WORKSPACE}
-        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.design_path }}/tests/${{ inputs.test }} postsyn
+        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.app_path }}/tests/${{ inputs.test }} postsyn
         popd
 
     - name: Run the full RTL-to-bitstream flow for the application
       shell: bash
       run: |
         pushd ${GITHUB_WORKSPACE}
-        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.design_path }}/design
+        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.app_path }}/app
         popd
 
     - name: Run post-implementation simulation of the application
       shell: bash
       run: |
         pushd ${GITHUB_WORKSPACE}
-        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.design_path }}/tests/${{ inputs.test }} postimpl
+        bash envscr/run make -C ${PWD}/examples/app/${{ inputs.app_path }}/tests/${{ inputs.test }} postimpl
         popd

.github/workflows/checkinstall.yml

@@ -84,5 +84,5 @@ jobs:
         uses: ./.github/actions/run_example
         with:
           fpga_path: magic/k4_N2_8x8
-          design_path: bcd2bin/magic_k4_N2_8x8
+          app_path: bcd2bin/magic_k4_N2_8x8
           test: basic

.github/workflows/quickcheck.yml

@@ -134,7 +134,7 @@ jobs:
         python-version:
           - 3.8.2
         test:
-          - design: bcd2bin
+          - app: bcd2bin
             test: basic
         fpga:
           - k4_N2_8x8
@@ -183,19 +183,19 @@ jobs:
         run: pipenv run make -C examples/fpga/${{ matrix.prog }}/${{ matrix.fpga }}
 
       - name: Make project for the application
-        run: pipenv run make -C examples/app/${{ matrix.test.design }}/${{ matrix.prog }}_${{ matrix.fpga }}
+        run: pipenv run make -C examples/app/${{ matrix.test.app }}/${{ matrix.prog }}_${{ matrix.fpga }}
 
       - name: Run behavioral simulation of the application
-        run: pipenv run make -C examples/app/${{ matrix.test.design }}/${{ matrix.prog }}_${{ matrix.fpga }}/tests/${{ matrix.test.test }} behav
+        run: pipenv run make -C examples/app/${{ matrix.test.app }}/${{ matrix.prog }}_${{ matrix.fpga }}/tests/${{ matrix.test.test }} behav
 
       - name: Run synthesis for the application
-        run: pipenv run make -C examples/app/${{ matrix.test.design }}/${{ matrix.prog }}_${{ matrix.fpga }}/design syn
+        run: pipenv run make -C examples/app/${{ matrix.test.app }}/${{ matrix.prog }}_${{ matrix.fpga }}/app syn
 
       - name: Run post-synthesis simulation of the application
-        run: pipenv run make -C examples/app/${{ matrix.test.design }}/${{ matrix.prog }}_${{ matrix.fpga }}/tests/${{ matrix.test.test }} postsyn
+        run: pipenv run make -C examples/app/${{ matrix.test.app }}/${{ matrix.prog }}_${{ matrix.fpga }}/tests/${{ matrix.test.test }} postsyn
 
       - name: Run the full RTL-to-bitstream flow for the application
-        run: pipenv run make -C examples/app/${{ matrix.test.design }}/${{ matrix.prog }}_${{ matrix.fpga }}/design
+        run: pipenv run make -C examples/app/${{ matrix.test.app }}/${{ matrix.prog }}_${{ matrix.fpga }}/app
 
       - name: Run post-implementation simulation of the application
-        run: pipenv run make -C examples/app/${{ matrix.test.design }}/${{ matrix.prog }}_${{ matrix.fpga }}/tests/${{ matrix.test.test }} postimpl
+        run: pipenv run make -C examples/app/${{ matrix.test.app }}/${{ matrix.prog }}_${{ matrix.fpga }}/tests/${{ matrix.test.test }} postimpl