Follow
Mona Safar
Mona Safar
Assistant Professor, Computer and Systems Engineering, Ain Shams University
Verified email at eng.asu.edu.eg
Title
Cited by
Cited by
Year
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
242011
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
182015
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
172020
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
142007
FPGA-based SAT solver
M Safar, MW El-Kharashi, A Salem
2006 Canadian Conference on Electrical and Computer Engineering, 1901-1904, 2006
122006
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
112014
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
102011
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
82014
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
82005
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
72019
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
72013
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, 100051, 2023
62023
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
62022
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
62019
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
62018
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
52019
Interactive presentation: A shift register based clause evaluator for reconfigurable sat solver
M Safar, M Shalan, MW El-Kharashi, A Salem
Proceedings of the conference on Design, automation and test in Europe, 153-158, 2007
52007
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
42022
A multicycle pipelined GCM-based AUTOSAR communication ASIP
A Hamed, MW El-Kharashi, A Salem, M Safar
IEEE Access 10, 46312-46329, 2022
42022
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
42020
The system can't perform the operation now. Try again later.
Articles 1–20