Courses

Introductory course on computer hardware systems for freshmen and sophomores. Syllabus and class website can be found here.

This senior level class teaches practically efficient algorithms for logic synthesis and verification that are in use in contemporary industry. It includes automatic methods for combinational and sequential design synthesis and equivalence checking, automatic test generation and technology mapping.

Graduate course on formal verification and simulation based verification algorithms for hardware and embedded systems. This covers aspects of digital and analog verification.

This class is co-taught by several faculty members. I offered the course with feature extraction and feature engineering modules.