In the concurrency theme the faculty (Ed Clarke, CMU and Karem Sakallah, Michigan) are addressing the scaling challenges posed by the complex interactions between the increasing number of software and hardware components in gigascale systems.

In the resiliency theme, the faculty (Valeria Bertacco, Michigan; Sanjit Seshia, Berkeley and Sharad Malik, Princeton) are examining the use of runtime techniques for detecting and/or recovering from functional failures. In addition, this group is also studying the applicability of these techniques for post-silicon debug.

We welcome interactions with groups in our sponsor companies involved in all aspects of design verification - both pre-silicon verification using simulation, formal verification and emulation, as well as post-silicon debug.