Hala Ibrahim

According to our database, Hala Ibrahim authored at least 7 papers between 2016 and 2023.

Collaborative distances:

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

2023

Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification.

Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar

Proceedings of the 31st IFIP/IEEE International Conference on Very Large Scale Integration, 2023

2021

Implementation and Functional Verification of RISC-V Core for Secure IoT Applications.

Abdelrahman Adel, Dina Saad, Mahmoud Abd El Mawgoed, Mohamed Sharshar, Zyad Ahmed, Hala Ibrahim, Hassan Mostafa

Proceedings of the International Conference on Microelectronics, 2021

2020

On Error Injection for NoC Platforms: A UVM-Based Generic Verification Environment.

Sameh El-Ashry, Mostafa Khamis, Hala Ibrahim, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Noise Reduction in Reset Domain Crossings Verification Using Formal Verification.

Mohamed Fawzy, Ahmed Elgohary, Hala Ibrahim

Proceedings of the IEEE East-West Design & Test Symposium, 2020

2017

On Error Injection for NoC Platforms: A UVM-based Practical Case Study.

Sameh El-Ashry, Hala Ibrahim, Moamen A. Ibrahem, Mostafa Khamis, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi

Proceedings of the 10th International Workshop on Network on Chip Architectures, 2017

Performance evaluation of virtual channel flow control in centralized and distributed networks for system on chip.

Ahmed El-Naggar, Ahmed Medhat, Bassma Al-Abassy, Essraa Massoud, Hala Ibrahim, Mostafa Khamis, Ahmed Shalaby

Proceedings of the 29th International Conference on Microelectronics, 2017

2016

A narrative of UVM testbench environment for interconnection routers: A practical approach.

Ahmed El-Naggar, Essraa Massoud, Ahmed Medhat, Hala Ibrahim, Bassma Al-Abassy, Sameh El-Ashry, Mostafa Khamis, Ahmed Shalaby

Proceedings of the 11th International Design & Test Symposium, 2016