Embedded Systems: IntroductionCovers the basics of embedded systems, FPGA development, real-time operating systems, and different types of operating systems.
Formally Verified Chisel DesignsExplores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.
Zotero: Reference Management SoftwareCovers the basics of using Zotero, a free and open-source reference management software with features like web browser integration and online syncing.