RobuCheck: a robustness checker for digital circuits.

Stefan Frehse, Grschwin Fey, Andr Slflow, Rolf Drechsler

Browse the full EDCC paper archive.