Online Courses
Computer Science
- Introduction to System
- Operating System
- Data Structure and Algorithms
- Computer Architecture
- Computer Network
- Compiler
- DataBase
- Electronic Design Automation
- Introduction to Electronic Design Automation, Jie-Hong Roland Jiang, NTU
- High-Level Digital Design Automation, Zhiru Zhang, Cornell
- VLSI Physical Design Automation, David Z. Pan, UT Austin
- Physical design of VLSI systems, Sung Kyu Lim, Georgia Tech
- Formal Methods: Specification, Verification, and Synthesis, Sanjit A. Seshia, UCB
- Introduction to Logic Synthesis, Adnan Aziz, UT Austin
- Optimization, Modeling, and Simulation for VLSI CAD, Charlie Chen, UW-Madison
Math
- Numerical Computation
- Descrete Mathematics