Modeling and Analysis of Distributed Reconfigurable Hardware

Abstract

... This paper presents an approach based on satisfiability testing which regards the question: How many resources may fail in a distributed reconfigurable system without losing any functionality