About the Lab
Research in the area of: (a) Advanced and futuristic computer architectures and systems including compiler and operating system support; (b) Advanced dependable systems including formal verification and VLSI testing; and (c) Computer-aided design of VLSI and hardware accelerators.
Research Areas
01 Advanced and futuristic computer architectures
02 Compiler and operating system support for architecture
03 Formal verification
04 VLSI testing
05 Computer-aided design of VLSI and hardware accelerators