The growing number of circuits implemented in Field
Programmable Gate Arrays (FPGAs) and the increased
susceptibility, due to higher integration levels, of these devices to
soft faults caused by radiation at ground level is leading the
scientific and technical community to the study of new fault
tolerant designs and solutions, and how they can be verified and
validated. Using fault injection techniques and enhanced debug
tools to inject faults in a circuit and observing its behaviour in the
presence of such faults, respectively, is a proven solution for the
previous verification and validation problem. This paper presents
the underlying concepts for a remote verification framework to
assess the robustness of circuits to soft faults. It comprises a
verification platform and a set of verification services that can be
used in a remote or local fashions.info:eu-repo/semantics/publishedVersio
