F E R M A T Formal Engineering Research using Methods, Abstractions and Transformations Technical Report No: 2004-15 Manufacturing and transient faults may be abundant in high density reconfigurable design fabrics as we move from deep submicron to nano-scale technologies. Design of reliable digital logic and architectures on such defective fabrics will require adequate redundancy. However, analysis of redundancy/reliability trade-offs for such designs will be required for micro- architects to do design space explorations. An automated computational scheme based on Markov Random Fields and Belief Propagation techniques was incorporated in a tool to compute these trade-offs in the face of thermal perturbations and interconnect noise. However, previously this tool was used only for combinational design exploration. In this paper, we show how this tool and the methodology can be extended to analyze defect-tolerant programmable sequential logic design by using loopy Belief Propagation. The effectiveness of this automation is illustrated by analyzing reconfigurable Boolean networks formed by using different industry standard configurable logic blocks in the presence of thermal and signal noise. Reliability Analysis of Fault- Tolerant Reconfigurable Architectures Debayan Bhaduri Sandeep Shukla dbhaduri@vt.edu shukla@vt.edu