In this course, we will discuss the applications of automated reasoning in the verification of electronic systems including the verification of both the software and the hardware components. This course will also cover the formal verification algorithms and the tools that support such applications.