Abstract
Testing dynamically reconfigurable systems imposes new challenges which require special treatment. We present tools and techniques we developed for debugging a dynamically reconfigurable system that performs run-time constant propagation optimizations. An application for monitoring the effect of run-time specialization is presented and we show how we adapted standard testability techniques to evaluate the performance of specialized circuits. We also outline how HDLs that capture reconfiguration at a high level can assist with debugging.