Khaled Khalifa

According to our database, Khaled Khalifa authored at least 5 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Verification of Neural Networks for Safety Critical Applications.

Khaled Khalifa, Mona Safar, M. Watheq El-Kharashi

Proceedings of the 32nd International Conference on Microelectronics, 2020

2017

Extendable generic base verification architecture for flash memory controllers based on UVM.

Khaled Khalifa

Proceedings of the 21st IEEE International Conference on Computer Supported Cooperative Work in Design, 2017

2016

An RTL power optimization technique based on System Verilog assertions.

Khaled Khalifa, Khaled Salah

Proceedings of the 7th IEEE Annual Ubiquitous Computing, 2016

2015

Implementation and verification of a generic universal memory controller based on UVM.

Khaled Khalifa, Khaled Salah

Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015

2013

Memory controller architectures: A comparative study.

Khaled Khalifa, Haytham Fawzy, Sameh El-Ashry, Khaled Salah

Proceedings of the 8th International Design and Test Symposium, 2013