开源软件名称：

开源软件地址：

开源编程语言：

开源软件介绍：

Agile Hardware Design Course Lectures

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

Acknowledgements

• resource/chisel_deps.sc and binder configs are from the Chisel bootcamp
• environment.yml for Jupyter Notebook slideshows is from RISE
• Formal Verification lecture (22-formal) was contributed by Kevin Laeufer