Quantum and nanocomputingExplores digital design principles, ADC architectures, FPGA-based ADCs, figures of merit, and lower bounds in digital design.
Semicustom RTL Design: BackendExplores the backend design flow in semicustom ASIC design, covering layout, clock tree generation, and tapeout preparation.
Project Organization & IntroIntroduces the PONG Project in Digital System Design, focusing on developing a custom digital circuit for a PONG game with a Mandelbrot background.
LED Effects with Custom IP and HW SupportExplores LED effects design with custom IP and hardware support, covering topics like LED brightness modulation, XILINX Vivado design flow, and connecting top-level ports to FPGA pins.
Formally Verified Chisel DesignsExplores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.