Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria. Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories. In Laleh Behjat, Jie Han, Miroslav N. Velev, Deming Chen, editors, Proceedings of the on Great Lakes Symposium on VLSI 2017, Banff, AB, Canada, May 10-12, 2017. pages 239-244, ACM, 2017. [doi]
Abstract is missing.