Logic circuits are becoming increasingly susceptible to probabilistic behavior caused by external radiation and process variation. Ensuring the reliability of such circuits despite the probabilistic behavior is a key challenge in IC design---one that necessitates a fundamental, probabilistic reformulation of synthesis and testing techniques.
