 | Up a level |
Bany Hamad, G., Kazma, G., Mohamed, O. A., & Savaria, Y. (2016, November). Efficient and accurate analysis of single event transients propagation using SMT-based techniques [Paper]. 35th International Conference on Computer-Aided Design (ICCAD 2016), Austin, TX (7 pages). External link
Kazma, G., Hamad, G. B., Mohamed, O. A., & Savaria, Y. (2017, May). Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories [Paper]. Great Lakes Symposium on VLSI (GLSVLSI 2017), Banff, Alberta. External link
Kazma, G., Bany Hamad, G., Ait Mohamed, O., & Savaria, Y. (2017, June). Analysis of SEU propagation in sequential circuits at RTL using Satisfiability Modulo Theories [Paper]. 15th IEEE International New Circuits and Systems Conference (NEWCAS 2017), Strasbourg, France. External link
Kazma, G., Hamad, G. B., Mohamed, O. A., & Savaria, Y. (2016, December). Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis [Paper]. IEEE International Conference on Electronics, Circuits and Systems (ICECS 2016), Monte Carlo, Monaco. External link
