Khaled Khalifa

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 3

Top Topics

Safety Critical

Garbage Collection

Memory Management

Top Venues

Publications

Khaled Khalifa, Mona Safar, M. Watheq El-Kharashi
Verification of Neural Networks for Safety Critical Applications. ICM (2020)
Khaled Khalifa
Extendable generic base verification architecture for flash memory controllers based on UVM. CSCWD (2017)
Khaled Khalifa, Khaled Salah
An RTL power optimization technique based on System Verilog assertions. UEMCON (2016)
Khaled Khalifa, Khaled Salah
Implementation and verification of a generic universal memory controller based on UVM. DTIS (2015)
Khaled Khalifa, Haytham Fawzy, Sameh El-Ashry, Khaled Salah
Memory controller architectures: A comparative study. IDT (2013)