ESLAB's current research activites are mainly in the following areas:

  • Analysis and optimization of real-time embedded systems.
  • Hardware/software co-design.
  • Design of fault-tolerant distributed systems.
  • Formal verification and model checking.
  • SoC testing and design for test.

Completed projects

  • Some examples of completed projects at ESLAB can be found here.
Last modified on Tuesday January 29, 2013 by Nima Aghaee