VLSI II
Introduction to VLSI Design
Computer-Aided IC Design
System-on-a-Chip Design (Option III M.S. program for professionals)
Testing, Design for Testability and Formal Verification
Fault-Tolerant Computing
Introduction to Software Engineerng
Software Testing and Validation
Some recent talks at companies or international conferences.
Talk at the IFIP Working Group 10.4 meeting, Stenungsbaden, Sweden, July 7, 2001
Talk given at Shanghai Jiao Tong University, July 19, 2005