publication venue for On the complexity of switch programming in fault-tolerant configurable chips. 125-133. 2000 Fault probability prediction for array based designs 1996 Accurate yield estimation of circuits with redundancy 1995