CSE 591: Digital Logic Synthesis and Verification Algorithms (CEN 598: Algorithms for Synthesis and Optimization of Digital Systems F'2015).
CEN 591: Digital VLSI Testing
CSE 320: Design & Synthesis of Digital Hardware
CEN 691: Algorithms for Computer-Aided Design of VLSI Systems