The class provides an introduction to the design of digital circuitry. The class covers the basics of the technical foundations of gates. An introduction to hardware description languages and their use in the design process follows.

The class covers the formal foundations and basic principles of algorithms used for verifying complex software automatically. We discuss SAT, BDDs, decision procedures, model checking and automatic abstraction.