Reliability aware logic synthesis through rewriting. - Satish Grandhi; Christian Spagnol; Jiaoyan Chen 002; Emanuel M. Popovici; Sorin Cotafona (SoCC, 2014)