| A reconfigurable, pipelined, conflict directed jumping search SAT solver M Safar, MW El-Kharashi, M Shalan, A Salem 2011 Design, Automation & Test in Europe, 1-6, 2011 | 25 | 2011 |
| A high-accuracy implementation for softmax layer in deep neural networks B Alabassy, M Safar, MW El-Kharashi 2020 15th Design & Technology of Integrated Systems in Nanoscale Era (DTIS), 1-6, 2020 | 22 | 2020 |
| High level synthesis of canny edge detection algorithm on Zynq platform HM Abdelgawad, M Safar, AM Wahba International Journal of Computer and Information Engineering 9 (1), 148-152, 2015 | 20 | 2015 |
| A review on computational storage devices and near memory computing for high performance applications D Fakhry, M Abdelsalam, MW El-Kharashi, M Safar Memories-Materials, Devices, Circuits and Systems 4, 100051, 2023 | 17 | 2023 |
| A shift register based clause evaluator for reconfigurable sat solver M Safar, M Shalan, MW El-Kharashi, A Salem 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007 | 14 | 2007 |
| FPGA-based SAT solver M Safar, MW El-Kharashi, A Salem 2006 Canadian Conference on Electrical and Computer Engineering, 1901-1904, 2006 | 12 | 2006 |
| Efficient embedded SoC hardware/software codesign using virtual platform MA El-Moursy, A Sheirah, M Safar, A Salem 2014 9th International Design and Test Symposium (IDT), 36-38, 2014 | 11 | 2014 |
| Virtual verification and validation of automotive system M Safar, MA El-Moursy, M Abdelsalam, A Bakr, K Khalil, A Salem Journal of Circuits, Systems and Computers 28 (04), 1950071, 2019 | 10 | 2019 |
| Tlm based approach for architecture exploration of multicore systems-on-chip M Safar, MA El-Moursy, A Salem, M Abdelsalam 2011 12th International Workshop on Microprocessor Test and Verification, 1-4, 2011 | 9 | 2011 |
| Efficient structured Scan patterns retageting for hierarchical IEEE 1687 Networks MWEK Ahmed M. Y. Ibrahim, Hans G. Kerkhoff, Abrar Ibrahim, Mona Safar IEEE 37th VLSI Test Symposium (VTS), 2019 | 8 | 2019 |
| System Verilog Assertion Debugging Based on Visualization, Simulation Results, and Mutation M Mostafa, M Safar, MW El-Kharashi, M Dessouky 2014 15th International Microprocessor Test and Verification Workshop, 55-60, 2014 | 8 | 2014 |
| Fpga based accelerator for 3-sat conflict analysis in sat solvers M Safar, MW El-Kharashi, A Salem Advanced Research Working Conference on Correct Hardware Design and …, 2005 | 8 | 2005 |
| Two-layer bus-independent instruction set architecture for securing long protocol data units in automotive open system architecture-based automotive electronic control units A Hamed, MW El-Kharashi, A Salem, M Safar Electronics 11 (6), 952, 2022 | 7 | 2022 |
| Architecture exploration of multicore systems-on-chip using a TLM-based framework M Safar, MA El-Moursy, M Abdelsalam, A Salem International Journal of Computer Science Issues (IJCSI) 10 (4), 4, 2013 | 7 | 2013 |
| A multicycle pipelined GCM-based AUTOSAR communication ASIP A Hamed, MW El-Kharashi, A Salem, M Safar IEEE Access 10, 46312-46329, 2022 | 6 | 2022 |
| Hardware-accelerated SOME/IP-based Serialization for AUTOSAR Platforms A Elbahnihy, M Safar, MW El-Kharashi 2020 15th Design & Technology of Integrated Systems in Nanoscale Era (DTIS), 1-2, 2020 | 6 | 2020 |
| Symbolic execution based verification of compliance with the ISO 26262 functional safety standard M Ahmed, M Safar 2019 14th International Conference on Design & Technology of Integrated …, 2019 | 6 | 2019 |
| Optimized FPGA architecture for machine learning applications using posit multipliers K Elsaid, M Safar, MW El-Kharashi 2022 International Conference on Microelectronics (ICM), 50-53, 2022 | 5 | 2022 |
| Digital design using CMOS and hybrid CMOS/memristor gates: A comparative study N Ibrahim, S Salah, M Safar, MW El-Kharashi 2018 13th International Conference on Computer Engineering and Systems …, 2018 | 5 | 2018 |
| Bloom filter acceleration: A high level synthesis approach R Khairy, M Safar, MW El-Kharashi 2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering …, 2017 | 5 | 2017 |
