From d3001e9ffb07a2da52f1ff07360ed9af5a5a9136 Mon Sep 17 00:00:00 2001
From: Raghav Gupta <58498249+raghav-g13@users.noreply.github.com>
Date: Thu, 18 Sep 2025 14:38:42 -0700
Subject: [PATCH] lab5prob1 nit fix + z3 install note

---
 README.md       | 1 +
 lab5/lab5.ipynb | 2 +-
 lab6/lab6.ipynb | 8 ++++++++
 3 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 95d7a7a..1778885 100644
--- a/README.md
+++ b/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
diff --git a/lab5/lab5.ipynb b/lab5/lab5.ipynb
index dbb9f6b..d39c3df 100644
--- a/lab5/lab5.ipynb
+++ b/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)."
    ]
   },
   {
diff --git a/lab6/lab6.ipynb b/lab6/lab6.ipynb
index 454870e..3eeb9e7 100644
--- a/lab6/lab6.ipynb
+++ b/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",