Introduction to Modeling and Verification of Digital Systems (MOSIG/Informatique)

This elective course offers an introduction to the modeling, synthesis, and verification of digital circuits.