The focus of Embedded System Lab is to address the fundamental challenges
in design and validation of computer systems. Specifically, we are interested in developing
novel techniques and efficient tools for design automation of embedded and reconfigurable
systems, energy-aware computing,
hardware/software verification, and post-silicon debug.
Research Interests
Embedded Systems: System-level modeling, design space exploration, HW/SW partitioning, lossless compression, real-time scheduling, and application-specific optimizations for improving area, power, performance, temperature and reliability.
|
Energy-aware Computing: Energy-aware design and optimizations techniques at various abstraction levels including system, architecture, circuits and device levels using a combination of both design- and rum-time reconfiguration techniques.
|
Hardware Verification: Validation using a combination of simulation based techniques and formal methods, processor validation, instruction-set simulation, validation of system-on-chip designs, directed test generation.
|
Post-Silicon Debug: Trace signal selection for observability improvement, efficient debug hardware design, high-level debug of post-silicon traces, techniques to reduce post-silicon validation and debug effort.
|
Trustworthy Systems: Static and dynamic healing techniques to improve reliability of computer systems through memory based computing, temperature-aware optimizations and energy reduction techniques, validation and evaluation of IP security and trust.
|
Ongoing Research Projects
Recently Completed Projects