Niels Thole, Görschwin Fey, Alberto García Ortiz. A Hybrid Algorithm to Conservatively Check the Robustness of Circuits. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2016, Pittsburgh, PA, USA, July 11-13, 2016. pages 278-283, IEEE, 2016. [doi]
Abstract is missing.