MSc thesis projects - VLSI design verification

Here is a list of possible MSc thesis projects related to the theme VLSI design verification. This is intended just to give an idea, actual projects are usually defined after discussion with the advisor.