Instruction

Instruction

of Jie-Hong Roland Jiang

Courses

Fall 2015
Switching Circuits and Logic Design

Logic Synthesis and Verification

Introduction to Electronic Design Automation

Spring 2015
Introduction to Electronic Design Automation

Fall 2014
Switching Circuits and Logic Design

Logic Synthesis and Verification

Spring 2014
Introduction to Electronic Design Automation
Systems and Synthetic Approaches to Biology

Fall 2013
Switching Circuits and Logic Design

Logic Synthesis and Verification

Summer 2013
Formosan Summer School on Logic, Language, and Computation (FLOLAC 2013)

Spring 2013
Introduction to Electronic Design Automation

Fall 2012
Switching Circuits and Logic Design

Logic Synthesis and Verification
Spring 2012
Introduction to Electronic Design Automation
Special Topics on Applied Mathematical Logic

Fall 2011
Logic Synthesis and Verification
Computer-Aided VLSI System Design

Summer 2011
TAROT Summer School on Software Testing, Verification, and Validation (TAROT 2011) (slides)
Formosan Summer School on Logic, Language, and Computation (FLOLAC 2011) (slides, hw)

Spring 2011
Introduction to Electronic Design Automation
Fall 2010
Logic Synthesis and Verification
Computer-Aided VLSI System Design

Spring 2010
Logic Synthesis and Verification
EDA Seminar

Fall 2009
Switching Circuits and Logic Design

Computer-Aided VLSI System Design

Summer 2009
Formosan Summer School on Logic, Language, and Computation (FLOLAC 2009)

Spring 2009
Special Topics on Applied Mathematical Logic

Fall 2008
Introduction to Electronic Design Automation

Logic Synthesis and Verification
Spring 2008
Special Topics on Applied Mathematical Logic

EDA Seminar

Fall 2007
Introduction to Electronic Design Automation

Logic Synthesis and Verification
Spring 2007
Convex Optimization

Fall 2006
Introduction to Electronic Design Automation

Logic Synthesis and Verification

Spring 2006
Convex Optimization
Fall 2005
Logic Synthesis and Verification