courses
Teaching material, slide decks, and hands-on exercises.
OPC · C programming
ISTIC · University of Rennes · 2026–2027 · Louis Ledoux
- CM 1 Dynamic memory allocation HTML PDF PDF 2×1 PDF 2×2 PDF 3×2
- CM 2 Linked lists HTML PDF PDF 2×1 PDF 2×2 PDF 3×2
Digital Design with MLIR and CIRCT
ACM Europe School on MLIR, A Coruña · 13 August 2026 · 1 h 45 min
A practical introduction to digital design with CIRCT. The course covers hardware dialects, equivalence checking, logic synthesis, and SystemVerilog generation. The capstone lowers an E4M3 floating-point multiplier to a circuit and follows its physical implementation.
Prerequisites: familiarity with MLIR and basic digital logic.
Slides · Exercises and source · School programme
Optimizing Datapath Circuits with MLIR and CIRCT
ARITH 2026 tutorial day, Fulda · 27 June 2026 · Sam Coward and Louis Ledoux
Hands-on exercises in Verilog import, optimization passes, equivalence checking with circt-lec, and synthesis. Intended for participants familiar with digital circuits; the material introduces the CIRCT workflow.