Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler. RobuCheck: A Robustness Checker for Digital Circuits. In Sebastián López, editor, 13th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2010, 1-3 September 2010, Lille, France. pages 226-231, IEEE, 2010. [doi]
Abstract is missing.