This course introduces graduate students to the various electronic design automation artifacts, algorithms, and methodologies. It includes system level design languages, abstractions, models of computation, high level synthesis, modeling and model transformations, simulation-based validation, etc. The course deals with state-of-the-art design practices, algorithms, and methodologies. It requires a solid background in computer architecture, digital design, and proficiency in programming and modeling. At the end of the course students are expected to be capable of employing algorithms for computer-aided design of (digital) integrated circuits, electronic systems, and other emerging platforms. These comprise synthesis and optimization of digital circuits on logic level; simulation of digital circuits on logic level; mixed integer linear programming (MILP) modeling of EDA problems. With a good understanding of the inner workings of modern EDA tools, students can use and develop EDA tools more effectively and efficiently.