Co-Curricular Activities
Teaching this semester
No active courses
|
Course Teaching
EECS Department at the University of Michigan
EECS 578 - Correct Operation for Processors and Embedded Systems
- Fall 2015
- Winter 2014
- Fall 2012
- Fall 2009
- Winter 2008
- Fall 2006
- Winter 2005
- Winter 2004
- Fall 2003 (course code EECS598-004)
EECS 496 - Major Design Experience Professionalism
EECS 478 - Logic Circuit Synthesis and Optimization
EECS 370 - Introduction to Computer Organization
- Winter 2016
- Fall 2013
- Fall 2011
- Fall 2010
- Winter 2010
- Fall 2008
- Fall 2007
- Winter 2007
- Winter 2006
EECS 270 - Introduction to Logic Design
- Fall 2016
- Winter 2013
- Winter 2009
ECE Department at the Addis Ababa Institute of Technology, Ethiopia
ECEG-6514 Fault Tolerant Computing
Short Course Teaching
Summer School
Reliable Systems Design - ACACES
Workshops
Near and In-Memory Computing - DAC 2019
Post-silicon Debug: Technologies, Methodologies, and Best Practices - DAC 2012
Special Workshop on Post-silicon Validation - DAC 2008
Seminars and Tutorials
Post-silicon Validation: Old Challenges and New Solutions - DATE 2013
Post-Silicon Validation and Runtime Verification: Ensuring Correctness After First Silicon - DAC 2009
Towards Correctness-Constrained Execution for Processor Designs - EPFL 2008
Formal Verification for real-world designs - SBCCI 2006
Introduction to Symbolic Simulation - Nusym Technologies 2006
Sidestepping performance bottlenecks and design crises with Better-Than-Worst-Case design - DATE 2005
Formal Verification for real-world designs: Today's technologies - DATE 2004
|
