These are my notes for each of my classes in my spring 2025 semester at USU as a grad student in computer engineering.
Notes and projects from each class are in a different branch.
- Model Checking: Advanced topics in model checking, formal verification, and deductive reasoning.
- VLSI: Design and implementation of large-scale digital designs focusing on CMOS technology.
- High Performance Computing: Software design for parallel and distributed systems.