Evaluating coverage of error detection logic for soft errors using formal methods.

Udo Krautz, Matthias Pflanz, Christian Jacobi, Hans-Werner Tast, Kai Weber, Heinrich Theodor Vierhaus

Browse the full DATE paper archive.