Asynchronous design principles will play an increasingly important role in constructing future systems on a chip, implemented in semiconductor technologies beyond 65 nanometers. These principles can be directly used in the design of energy-efficient networks-on-chip and in chip communications in such systems. Asynchronous design approach can also be used in cryptography systems, which must be secure and reliable. Indeed, the lack of global clock encourages the use of such approach, where, thanks to unconventional encodings, it will be practically impossible to analyze the energy spectrum of cryptographic systems to find the key.

Verification of a digital design is one of the key factors to the success of chip design. Today, chips are more complex than ever and this causes them to exhibit unexpected behaviors that could be fatal for their productization in the market. Specifically, we are interested in verification of MPSoCs in one hand and asynchronous circuits on the other. The microelectronic industry is using logic simulation and formal or semi-formal methods to perform verification.

In DSD lab we do research in different areas to reach the bellow goals, leading to the design of dependable systems, used in embedded systems for certain class of applications. We also look into design of specific CAD tools which will facilitate our approach.