There are the released lectures from a course at UC Santa Cruz (CSE 228A). They are Jupyter notebooks, so one can execute code and see the result directly in the slides.
You can run the notebooks without installing anything by using Binder: click here
You can view lecture videos of the most recent offering (Winter 2024)
To get the best layout, we use splitcell and RISE. To set this up locally, consult install.sh. You can also set this up with docker with the included Dockerfile.
resource/chisel_deps.scandbinderconfigs are from the Chisel bootcampenvironment.ymlfor Jupyter Notebook slideshows is from RISE- Formal Verification lecture (
22-formal) was contributed by Kevin Laeufer - Dockerfile was contributed by Jessica Dagostini