Design of
Embedded Systems (SoC Design)
Design of
Embedded Systems (SoC Design)
Introduction to VLSI System Design
Testing, Design for Testability and Formal Verification
Fault-Tolerant Computing
Introduction to Software Engineerng
Software Testing and Validation
Introduction to Computing
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
