lab 5 nit fix + lab 6 z3 install note

README.md

@@ -8,6 +8,7 @@ Labs for the Agile Hardware Design course in Jupyter Notebooks. The binder link
 - Activate the environment via `source chisel_nb_env/bin/activate`.
 - Start Jupyter Notebook via `jupyter notebook` then navigate to the provided url in your browser.
 - Use the file browser to navigate to the lab.
+- Lab 6 requires the `z3` SMT solver to be installed and visible on `PATH`. `z3` can be installed using your system package manager or from the z3 releases page.
 
 ### Acknowledgements
 `resource/chisel_deps.sc` and `binder` configs are borrowed from the Chisel bootcamp: https://github.com/freechipsproject/chisel-bootcamp

lab5/lab5.ipynb

@@ -168,7 +168,7 @@
    },
    "source": [
     "## Problem 1 (6 pts) - Method Templated for Chisel Types\n",
-    "> Write a generic `connect` method that takes in two generic arguments `a` and `b` of type `chisel3.Data` and connects `a` (input) to `b` (output)."
+    "> Write a generic `connect` method that takes in two generic arguments `a` and `b` of type `chisel3.Data` and connects `a` (output) to `b` (input)."
    ]
   },
   {

lab6/lab6.ipynb

@@ -163,6 +163,14 @@
     "import chiseltest.RawTester._"
    ]
   },
+  {
+   "cell_type": "markdown",
+   "id": "6a0abded",
+   "metadata": {},
+   "source": [
+    "**Note**: If running a local installation, this lab requires the `z3` SMT solver to be installed and visible on `PATH`. `z3` can be installed using your system package manager or from the z3 releases page. "
+   ]
+  },
   {
    "cell_type": "markdown",
    "id": "20f9ad8d-298f-421b-bc96-58b77f73af6b",