Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits. Issue 1 (January 2015)