SAT based Framework for Estimating Vulnerability of Digital Circuits Recent deep-submicron technology-based integrated circuits (ICs) are substantially more susceptible to transient faults. Thus, the soft errors that occurred due to transient faults are more important than they have ever been. As a result, it is critical to identify any functional inconsistencies and component failures as […]