Besides the characteristic behavior variations between hardware and software, a reconﬁgurable system design has an additional dimension of complexity. Hardware and/or software may be reconﬁgurable at runtime, which leads to not only behavior changes of ﬁxed components, but also architectural changes that might drastically alter the system behavior. Further, conventional CAD or simulation tools do not support runtime reconﬁguration. It is a basic assumption in currently available tools that the system architecture is ﬁxed statically at design time. However, reconﬁgurable systems violate this basic assumption and thus it is not feasible to use conventional tools and methodologies to verify them. Veriﬁcation methods and tools speciﬁcally targeted at reconﬁgurable systems exist but are still in the development stages. In this chapter, we ﬁrst highlight some of the tools and methods that can be used to verify reconﬁgurable systems. We will then focus on a design space exploration framework called Perfecto .