There are the released lectures from a course at UC Santa Cruz (CSE 293). 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
To get the best layout, we use splitcell and RISE. To set this up locally, consult install.sh
resource/chisel_deps.sc
andbinder
configs are from the Chisel bootcampenvironment.yml
for Jupyter Notebook slideshows is from RISE- Formal Verification lecture (
22-formal
) was contributed by Kevin Laeufer