Teaching


Spring 2011, ECE 290: Intro to Computer Engineering . Check out the video lecture using new video technology!

Spring 2008, Spring 2009, Fall 2010: Logic Design ECE462/CS462/MATH491

Fall 2008, Fall 2009: Approaches to Automatic Hardware Verification ECE598SV
I am teaching Hardware Verification in Spring 2013.