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